Searching for authors named "Anupam Datta" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Automated Verification of Security Protocol Implementations
- …Automated Verification of Security Protocol Implementations Sagar Chaki and Anupam Datta January…
- Add To MetaCart
-
A Logic for Reasoning About Networked Secure Systems ∗
- … Anupam Datta {dg,jfrankli,dilsun}@(email omitted);, danupam@(email omitted); Carnegie Mellon University Abstract We…
- Add To MetaCart
-
A Logic of Secure Systems and its Application to Trusted Computing
- …A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin…
- Add To MetaCart
-
Games and the impossibility of realizable ideal functionality
- …Games and the Impossibility of Realizable Ideal Functionality Michael Backes 1 , Anupam Datta 2…
- Cited by 4 (2 self) – Add To MetaCart
-
Unifying equivalence-based definitions of protocol security
- … Unifying Equivalence-Based Definitions of Protocol Security ? Anupam Datta 1 , Ralf K…
- Cited by 7 (2 self) – Add To MetaCart
-
Sequential probabilistic process calculus and simulation-based security
- … Sequential Probabilistic Process Calculus and Simulation-Based Security Anupam Datta1 Ralf K…
- Cited by 1 (0 self) – Add To MetaCart
-
Computationally sound compositional logic for key exchange protocols
- …Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek…
- Cited by 8 (5 self) – Add To MetaCart
-
Attacking, Repairing, and Verifying SecVisor: A Retrospective on the Security of a Hypervisor ∗
- … ∗ Jason Franklin, Arvind Seshadri, Ning Qu Carnegie Mellon University Anupam Datta Carnegie Mellon…
- Add To MetaCart
-
On the relationships between notions of simulation-based security
- … On the Relationships Between Notions of Simulation-Based Security? Anupam Datta1, Ralf K"usters2…
- Cited by 8 (3 self) – Add To MetaCart
-
Privacy and contextual integrity: Framework and applications
- …Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
