Anupam Datta [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
├╝berSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor USENIX-2016 - austin,usa
Differentially Private Password Frequency Lists NDSS-2016 - california,usa
Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords NDSS-2015 - san diego,usa
Power Napping with Loud Neighbors: Optimal Energy-Constrained Jamming and Anti-Jamming WiSec-2014 - Oxford,UK
Naturally Rehearsing Passwords asiacrypt-2013 - Bengalore,India
Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Confrence-on-computer-communications-security-2011 - Chicago, USA
Formal methods and verification Confrence-on-computer-communications-security-2011 - Chicago, USA Security
Privacy Challenges In Patient-Centric Health Information Systems HealthSec-2010 - Washington DC, USA Security Privacy