NDLI: Preface

Please wait, while we are loading the content...

2015 IEEE 28th Computer Security Foundations Symposium

2014 IEEE 27th Computer Security Foundations Symposium

2013 IEEE 26th Computer Security Foundations Symposium

2012 IEEE 25th Computer Security Foundations Symposium

2011 IEEE 24th Computer Security Foundations Symposium

2010 23rd IEEE Computer Security Foundations Symposium

2009 22nd IEEE Computer Security Foundations Symposium

2008 21st IEEE Computer Security Foundations Symposium

20th IEEE Computer Security Foundations Symposium (CSF'07)

20th IEEE Computer Security Foundations Symposium-Title

20th IEEE Computer Security Foundations Symposium-Copyright

Design and Semantics of a Decentralized Authorization Language

Do As I SaY! Programmatic Access Control with Explicit Identities

A Type Discipline for Authorization in Distributed Systems

Security Analysis of Voice-over-IP Protocols

Reasoning about Concurrency for Security Tunnels

A Formal Theory of Key Conjuring

Computationally Sound Mechanized Proofs of Correspondence Assertions

Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles

Compositional Security for Task-PIOAs

Approximated Computationally Bounded Simulation Relations for Probabilistic Automata

Implementing STV securely in Pret a Voter

Secure Implementations for Typed Session Abstractions

A Library for Secure Multi-threaded Information Flow in Haskell

Dynamic Dependency Monitoring to Secure Information Flow

Automaton-based Confidentiality Monitoring of Concurrent Programs

Secure information flow and program logics

A flow-sensitive analysis of privacy properties

Collaborative Planning With Privacy

Privacy and Utility in Business Processes

Electing the Doge of Venice: Analysis of a 13th Century Protocol

Creating Vulnerability Signatures Using Weakest Preconditions

Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework

Probability of Error in Information-Hiding Protocols

Causality-based Abstraction of Multiplicity in Security Protocols

The Insecurity Problem: Tackling Unbounded Data

LTL Model Checking for Security Protocols

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in