Items where Subject is "Conferences [OLD] > ACM Conference on Computer and Communications Security"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: Article | Conference or Workshop Item
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.
In: Proceedings of the 16th ACM conference on Computer and communications security (CCS).
Conference: CCS - ACM Conference on Computer and Communications Security

Backes, Michael and Humbert, Mathias and Pang, Jun and Zhang, Yang
(2017) walk2friends: Inferring Social Links from Mobility Profiles.
In: ACM SIGSAC Conference on Computer and Communication Security.
Conference: CCS - ACM Conference on Computer and Communications Security

Backes, Michael and Maffei, Matteo and Hriţcu, Cătălin
(2008) Type-checking zero-knowledge.
In: Proceedings of the 15th ACM conference on Computer and communications security.
Conference: CCS - ACM Conference on Computer and Communications Security

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2010) Computationally Sound Verification of Source Code.
In: ACM CCS 2010.
Conference: CCS - ACM Conference on Computer and Communications Security

Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen
(2017) Verifying Security Policies in Multi-agent Workflows with Loops.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS - ACM Conference on Computer and Communications Security

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.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS - ACM Conference on Computer and Communications Security

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: 26th ACM Conference on Computer and Communications Security, November 11th-15th, 2019, London, UK.
Conference: CCS - ACM Conference on Computer and Communications Security
(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.
In: Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17).
Conference: CCS - ACM Conference on Computer and Communications Security

Schröder, Florian and Gehrke, Johannes and Reischuk, Raphael M.
(2013) DEMO: Secure and Customizable Web Development in the SAFE Activation Framework.
In: Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13).
Conference: CCS - ACM Conference on Computer and Communications Security

This list was generated on Sat Jul 11 00:02:25 2020 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.