What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Anupam Datta
Google Scholar
30
publications in security and cryptology related venues
Year
Venue
Title
2020
conf/sp
SoK: Differential Privacy as a Causal Property.
Michael Carl Tschantz
Shayak Sen
Anupam Datta
2017
conf/ccs
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs.
Anupam Datta
Matthew Fredrikson
Gihyuk Ko
Piotr Mardziel
Shayak Sen
2016
conf/uss
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
Amit Vasudevan
Sagar Chaki
Petros Maniatis
Limin Jia
Anupam Datta
2016
conf/sp
Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems.
Anupam Datta
Shayak Sen
Yair Zick
2016
conf/ndss
Differentially Private Password Frequency Lists.
Jeremiah Blocki
Anupam Datta
Joseph Bonneau
2015
journals/popets
Automated Experiments on Ad Privacy Settings.
Amit Datta
Michael Carl Tschantz
Anupam Datta
2015
conf/ccs
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
Omar Chowdhury
Deepak Garg
Limin Jia
Anupam Datta
2015
conf/ndss
Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords.
Jeremiah Blocki
Saranga Komanduri
Lorrie Faith Cranor
Anupam Datta
2014
conf/ccs
WPES 2014: 13th Workshop on Privacy in the Electronic Society.
Gail-Joon Ahn
Anupam Datta
2014
conf/sp
Bootstrapping Privacy Compliance in Big Data Systems.
Shayak Sen
Saikat Guha
Anupam Datta
Sriram K. Rajamani
Janice Y. Tsai
Jeannette M. Wing
2014
conf/wisec
Power napping with loud neighbors: optimal energy-constrained jamming and anti-jamming.
Bruce DeBruhl
Christian Kroer
Anupam Datta
Tuomas Sandholm
Patrick Tague
2013
conf/ccs
GOTCHA password hackers!
Jeremiah Blocki
Manuel Blum
Anupam Datta
2013
conf/sp
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.
Amit Vasudevan
Sagar Chaki
Limin Jia
Jonathan M. McCune
James Newsome
Anupam Datta
2013
conf/esorics
Purpose Restrictions on Information Use.
Michael Carl Tschantz
Anupam Datta
Jeannette M. Wing
2013
conf/asiacrypt
Naturally Rehearsing Passwords.
Jeremiah Blocki
Manuel Blum
Anupam Datta
2012
conf/sp
Formalizing and Enforcing Purpose Restrictions in Privacy Policies.
Michael Carl Tschantz
Anupam Datta
Jeannette M. Wing
2011
conf/ccs
Policy auditing over incomplete logs: theory, implementation and applications.
Deepak Garg
Limin Jia
Anupam Datta
2011
conf/uss
Audit Mechanisms for Privacy Protection in Healthcare Environments.
Jeremiah Blocki
Nicolas Christin
Anupam Datta
Arunesh Sinha
2011
conf/iciss
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
Anupam Datta
Jeremiah Blocki
Nicolas Christin
Henry DeYoung
Deepak Garg
Limin Jia
Dilsun Kirli Kaynar
Arunesh Sinha
2010
conf/uss
Privacy Challenges in Patient-centric Health Information Systems.
Anupam Datta
Nipun Dave
John C. Mitchell
Helen Nissenbaum
Divya Sharma
2010
conf/sp
TrustVisor: Efficient TCB Reduction and Attestation.
Jonathan M. McCune
Yanlin Li
Ning Qu
Zongwei Zhou
Anupam Datta
Virgil D. Gligor
Adrian Perrig
2010
conf/sp
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.
Jason Franklin
Sagar Chaki
Anupam Datta
Arvind Seshadri
2009
conf/sp
A Logic of Secure Systems and its Application to Trusted Computing.
Anupam Datta
Jason Franklin
Deepak Garg
Dilsun Kirli Kaynar
2008
journals/joc
On the Relationships between Notions of Simulation-Based Security.
Ralf Küsters
Anupam Datta
John C. Mitchell
Ajith Ramanathan
2007
conf/esorics
Inductive Proofs of Computational Secrecy.
Arnab Roy
Anupam Datta
Ante Derek
John C. Mitchell
2006
conf/sp
Privacy and Contextual Integrity: Framework and Applications.
Adam Barth
Anupam Datta
John C. Mitchell
Helen Nissenbaum
2006
conf/tcc
Games and the Impossibility of Realizable Ideal Functionality.
Anupam Datta
Ante Derek
John C. Mitchell
Ajith Ramanathan
Andre Scedrov
2005
conf/ccs
A modular correctness proof of IEEE 802.11i and TLS.
Changhua He
Mukund Sundararajan
Anupam Datta
Ante Derek
John C. Mitchell
2005
conf/tcc
On the Relationships Between Notions of Simulation-Based Security.
Anupam Datta
Ralf Küsters
John C. Mitchell
Ajith Ramanathan
2003
conf/ccs
Secure protocol composition.
Anupam Datta
Ante Derek
John C. Mitchell
Dusko Pavlovic
Coauthors
Adam Barth
(1)
Adrian Perrig
(1)
Ajith Ramanathan
(3)
Amit Datta
(1)
Amit Vasudevan
(2)
Andre Scedrov
(1)
Ante Derek
(4)
Anupam Datta
(30)
Arnab Roy
(1)
Arunesh Sinha
(2)
Arvind Seshadri
(1)
Bruce DeBruhl
(1)
Changhua He
(1)
Christian Kroer
(1)
Deepak Garg
(4)
Dilsun Kirli Kaynar
(2)
Divya Sharma
(1)
Dusko Pavlovic
(1)
Gail-Joon Ahn
(1)
Gihyuk Ko
(1)
Helen Nissenbaum
(2)
Henry DeYoung
(1)
James Newsome
(1)
Janice Y. Tsai
(1)
Jason Franklin
(2)
Jeannette M. Wing
(3)
Jeremiah Blocki
(6)
John C. Mitchell
(8)
Jonathan M. McCune
(2)
Joseph Bonneau
(1)
Limin Jia
(5)
Lorrie Faith Cranor
(1)
Manuel Blum
(2)
Matthew Fredrikson
(1)
Michael Carl Tschantz
(4)
Mukund Sundararajan
(1)
Nicolas Christin
(2)
Ning Qu
(1)
Nipun Dave
(1)
Omar Chowdhury
(1)
Patrick Tague
(1)
Petros Maniatis
(1)
Piotr Mardziel
(1)
Ralf Küsters
(2)
Sagar Chaki
(3)
Saikat Guha
(1)
Saranga Komanduri
(1)
Shayak Sen
(4)
Sriram K. Rajamani
(1)
Tuomas Sandholm
(1)
Virgil D. Gligor
(1)
Yair Zick
(1)
Yanlin Li
(1)
Zongwei Zhou
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to