- Regret Minimizing Audits: A Learning-theoretic Basis for Privacy Protection
- Formal Proofs of Cryptographic Security of Diffie-Hellman-based Protocols
- Compositional Analysis of Contract Signing Protocols Michael Backes
- From the Editors Parents, concerned for their chil-
- On the Relationships Between Notions of Simulation-Based Security
- Computationally sound compositional logic for key exchange protocols Anupam Datta, Ante Derek, John C. Mitchell
- REVNISSENBAUMDTP31.DOC FORTHCOMING: WASHINGTON LAW REVIEW, 2004 2/6/04 9:25 AM Copyright 2004 by Washington Law Review Association
- Secrecy Analysis in Protocol Composition Logic
- Compositional System Security with Interface-Confined Adversaries
- Compositional System Security in the Presence of Interface-Confined Adversaries
- TrustVisor: Efficient TCB Reduction and Attestation Jonathan M. McCune Yanlin Li Ning Qu Zongwei Zhou
- Distributed Programming with Distributed Authorization Kumar Avijit
- ASPIER: An Automated Framework for Verifying Security Protocol Implementations
- A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg Dilsun Kaynar
- A Logic for Reasoning About Networked Secure Systems
- A Logic for Reasoning About Networked Secure Systems Deepak Garg Jason Franklin Dilsun Kaynar Anupam Datta
- Logical Specification of the GLBA and HIPAA Privacy Laws Henry DeYoung, Deepak Garg, Dilsun Kaynar, Anupam Datta
- Privacy Challenges in Patient-Centric Health Information Systems Anupam Datta , Nipun Dave , John Mitchell , Helen Nissenbaum , Divya Sharma
- Privacy and Utility in Business Processes Stanford University
- Inductive Trace Properties for Computational Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
- Secrecy Analysis in Protocol Composition Logic , Anupam Datta1
- Probabilistic polynomial-time semantics for a protocol security logic
- Journal of Computer Security 13 (2005) 423482 423 A derivation system and compositional logic
- A Derivation System for Security Protocols and its Logical Formalization Anupam Datta Ante Derek John C. Mitchell Dusko Pavlovic
- Games and the Impossibility of Realizable Ideal Functionality
- advanced search Economist.com
- Privacy Policy Specification and Audit in a Fixed-Point Logic -How to enforce HIPAA, GLBA and all that
- Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws
- Regret Minimizing Audits: A Learning-theoretic Basis for Privacy Protection
- A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta
- A Modular Correctness Proof of IEEE 802.11i and TLS Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell
- SECURITY ANALYSIS OF NETWORK PROTOCOLS: COMPOSITIONAL REASONING AND
- SECURITY ANALYSIS OF NETWORK PROTOCOLS: COMPOSITIONAL REASONING AND
- Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell
- Protocol Composition Logic (PCL) Anupam Datta 1
- Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
- Secure Protocol Composition (Extended Abstract)
- AUTHENTICATED KEY ESTABLISHMENT PROTOCOLS SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE
- Electronic Notes in Theoretical Computer Science 83 (2004) URL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages
- Abstraction and Refinement in Protocol Derivation Anupam Datta Ante Derek John C. Mitchell Dusko Pavlovic
- A. Datta et al. / Protocol Composition Logic 1 Protocol Composition Logic
- On the Relationships Between Notions of Simulation-Based Security
- Inductive Proofs of Computational Secrecy , Anupam Datta2
- The Science of Security 18 COPUBLISHED BY THE IEEE COMPUTER AND RELIABILITY SOCIETIES 1540-7993/11/$26.00 2011 IEEE MAY/JUNE 2011
- Policy Auditing over Incomplete Logs: Theory, Implementation and Applications
- 72 COPublishedbytheieeeCOmPuterandreliabilitysOCieties1540-7993/10/$26.002010ieeenOvember/deCember2010 Secure Systems
- Audit Mechanisms for Privacy Protection in Healthcare Environments Jeremiah Blocki
- Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms
