Number of items at this level: 10.
Article
Cohn-Gordon, Katriel and Cremers, Cas and Garratt, Luke and Millican, Jon and Milnber, Kevin
(2018)
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
(In Press)
Conference or Workshop Item
Backes, Michael and Hofheinz, Dennis and Unruh, Dominique
(2009)
CoSP: a general framework for computational soundness proofs.
Backes, Michael and Humbert, Mathias and Pang, Jun and Zhang, Yang
(2017)
walk2friends: Inferring Social Links from Mobility Profiles.
Backes, Michael and Maffei, Matteo and Hriţcu, Cătălin
(2008)
Type-checking zero-knowledge.
Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2010)
Computationally Sound Verification of Source Code.
Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen
(2017)
Verifying Security Policies in Multi-agent Workflows with Loops.
Huang, Jie and Schranz, Oliver and Bugiel, Sven and Backes, Michael
(2017)
The ART of App Compartmentalization: Compiler-based Library Privilege Separation on Stock Android.
Jackson, Daniel and Cremers, Cas and Cohn-Gordon, Katriel and Sasse, Ralf
(2019)
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that use Signatures.
(In Press)
Pellegrino, Giancarlo and Johns, Martin and Koch, Simon and Backes, Michael and Rossow, Christian
(2017)
Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs.
Schröder, Florian and Gehrke, Johannes and Reischuk, Raphael M.
(2013)
DEMO: Secure and Customizable Web Development in the SAFE Activation Framework.
This list was generated on Wed Dec 11 00:02:23 2019 CET.