David Basin [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Information-Flow Control for Database-backed Applications IEEEEuroS&P-2019 - Stockholm, Sweden
Mining ABAC Rules from Sparse Logs IEEEEuropeanSymposiumS&P-2018 - London, United Kingdom
Refining Authenticated Key Agreement with Strong Adversaries EuroSP-2017 - paris,france
Security Testing beyond Functional Tests ESSoS-2016 - london,uk
Invited talk 1: Developing Security Protocols by Refinement CRC-2016 - uni of singapore,singapore
ARPKI: Attack Resilient Public-Key Infrastructure CCS-2014 - Scottsdale,USA
Fail-Security in Access Control CCS-2014 - Scottsdale,USA
Language-based security 2 CSF-2013 - Louisiana,USA Security
Panel on Emerging Science of Security CSF-2013 - Louisiana,USA
Data Node Encrypted File System: Efficient Secure Deletion for Flash Memory USENIX-2012 - Washington, D.C.
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA
Refining Key Establishment 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA