| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Backes, Fabian Bendun, Dominique Unruh |
Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Meiser |
Differentially Private Smart Metering with Battery Recharging. |
IACR Cryptology ePrint Archive |
2012 |
DBLP BibTeX RDF |
|
| 1 | Raphael M. Reischuk, Michael Backes, Johannes Gehrke |
SAFE extensibility of data-driven web applications. |
WWW |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Alex Busenius, Catalin Hritcu |
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
Cryptographically sound security proofs for basic and public-key Kerberos. |
Int. J. Inf. Sec. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi |
Provably Secure and Practical Onion Routing. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Aniket Kate, Arpita Patra |
Computational Verifiable Secret Sharing Revisited. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Julian Backes, Michael Backes, Markus Dürmuth, Sebastian Gerling, Stefan Lorenz |
X-pire! - A digital expiration date for images in social networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky |
A Novel Attack against Android Phones |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft |
Adding Query Privacy to Robust DHTs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Catalin Hritcu, Matteo Maffei |
Union and Intersection Types for Secure Protocol Implementations. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk |
G2C: Cryptographic Protocols from Goal-Driven Specifications. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Catalin Hritcu, Thorsten Tarrach |
Automatically Verifying Typing Constraints for a Data Processing Language. |
CPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Aniket Kate, Arpita Patra |
Computational Verifiable Secret Sharing Revisited. |
ASIACRYPT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Kim Pecina |
Securing social networks. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matthias Berg, Boris Köpf |
Non-uniform distributions in quantitative information-flow. |
ASIACCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Kim Pecina |
A Security API for Distributed Social Networks. |
NDSS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Dominique Unruh |
Computational soundness of symbolic zero-knowledge proofs. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Dominique Unruh |
Computationally Sound Verification of Source Code. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Sebastian Gerling, Manfred Pinkal, Caroline Sporleder |
Acoustic Side-Channel Attacks on Printers. |
USENIX Security Symposium |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
Brief announcement: anonymity and trust in distributed systems. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
anonymity in decentralized systems, formal verification, cryptographic protocols |
| 1 | Michael Backes, Matteo Maffei, Esfandiar Mohammadi |
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Dominique Unruh |
Computationally sound verification of source code. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf |
Speaker Recognition in Encrypted Voice Streams. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Oana Ciobotaru, Anton Krohmer |
RatFish: A File Sharing Protocol Provably Secure against Rational Users. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
Anonymous Webs of Trust. |
Privacy Enhancing Technologies |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Dennis Hofheinz, Dominique Unruh |
CoSP: A General Framework For Computational Soundness Proofs. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Boris Köpf, Andrey Rybalchenko |
Automatic Discovery and Quantification of Information Leaks. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Tongbo Chen, Markus Dürmuth, Hendrik P. A. Lensch, Martin Welk |
Tempest in a Teapot: Compromising Reflections Revisited. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum |
Anonymity and Censorship Resistance in Unstructured Overlay Networks. |
OTM Conferences |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei |
Achieving Security Despite Compromise Using Zero-knowledge. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
Protocol Transformation, Security Despite Compromise, Type Systems, Protocol Design, Zero-Knowledge Proofs |
| 1 | Michael Backes, Dennis Hofheinz, Dominique Unruh |
CoSP: a general framework for computational soundness proofs. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
security, verification, theory |
| 1 | Michael Backes, Peng Ning (eds.) |
Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh |
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. |
NDSS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Andre Scedrov |
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness |
| 1 | Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional reactive simulatability. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Boris Köpf |
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Dominique Unruh |
Computational soundness of symbolic zero-knowledge proofs. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dominique Unruh |
Compromising Reflections-or-How to Read LCD Monitors around the Corner. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
optical emanations, Security |
| 1 | Michael Backes, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
zero-knowledge, Language-based security, automated verification, applied pi-calculus |
| 1 | Michael Backes, Matthias Berg, Dominique Unruh |
A Formal Language for Cryptographic Pseudocode. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Dominique Unruh |
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, zero-knowledge proofs, computational soundness |
| 1 | Michael Backes, Catalin Hritcu, Matteo Maffei |
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Electronic Voting Protocols, Language-based security, Applied Pi-calculus |
| 1 | Michael Backes, Dominique Unruh |
Limits of Constructive Security Proofs. |
ASIACRYPT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dominique Unruh |
OAEP Is Secure under Key-Dependent Messages. |
ASIACRYPT |
2008 |
DBLP DOI BibTeX RDF |
Key-dependent message security, RSA-OAEP, chosen ciphertext attacks |
| 1 | Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum |
Anonymous and censorship resistant content sharing in unstructured overlays. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Catalin Hritcu, Matteo Maffei |
Type-checking zero-knowledge. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
type systems, language-based security, authorization policies, zero-knowledge protocols |
| 1 | Michael Backes, Boris Köpf |
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, David A. Basin, Michael Waidner |
Preface. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Stefanos Gritzalis, Bart Preneel |
Preface. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
The reactive simulatability (RSIM) framework for asynchronous systems. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Dominique Unruh |
On the Security of Protocols with Logarithmic Communication Complexity. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Ralf Küsters |
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Andre Scedrov |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dominique Unruh |
Information Flow in the Peer-Reviewing Process. |
IEEE Symposium on Security and Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. |
Formal Protocol Verification Applied |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Andre Scedrov |
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Agostino Cortesi, Matteo Maffei |
Causality-based Abstraction of Multiplicity in Security Protocols. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Jörn Müller-Quade, Dominique Unruh |
On the Necessity of Rewinding in Secure Multiparty Computation. |
TCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Ralf Küsters |
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
A calculus of challenges and responses. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, authentication protocols, process calculi |
| 1 | Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani |
Compositional analysis of contract-signing protocols. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Peeter Laud |
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Jörn Müller-Quade, Dominique Unruh |
On the Necessity of Rewinding in Secure Multiparty Computation. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò |
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional Reactive Simulatability. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner |
Cryptographically Sound Theorem Proving. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes |
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. |
SEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sokratis K. Katsikas, Javier Lopez, Michael Backes, Stefanos Gritzalis, Bart Preneel (eds.) |
Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings |
ISC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner |
Cryptographically Sound Theorem Proving. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Formal Methods and Cryptography. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò |
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Peeter Laud |
Computationally sound secrecy proofs by mechanized flow analysis. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
data flow analysis, simulatability |
| 1 | Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Christian Cachin, Alina Oprea |
Secure Key-Updating for Lazy Revocation. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional Reactive Simulatability. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Reactively secure signature schemes. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Security, Cryptography, Digital signatures, Reactive |
| 1 | Michael Backes, Birgit Pfitzmann, Michael Waidner |
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Dolev-Yao, Symmetric authentication, Computational soundness |
| 1 | Michael Backes, Birgit Pfitzmann |
Relating Symbolic and Cryptographic Secrecy. |
IEEE Trans. Dependable Sec. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Relations between models, probabilistic computation—cryptography, Dolev-Yao model, secrecy, simulatability |
| 1 | Michael Backes |
Unifying simulatability definitions in cryptographic systems under different timing assumptions. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Limits of the Cryptographic Realization of Dolev-Yao-style XOR. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh |
On Fairness in Simulatability-based Cryptographic Systems. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann, Andre Scedrov |
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Christian Cachin, Alina Oprea |
Secure Key-Updating for Lazy Revocation. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Birgit Pfitzmann |
Relating Symbolic and Cryptographic Secrecy. |
IEEE Symposium on Security and Privacy |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Christian Cachin, Alina Oprea |
Lazy Revocation in Cryptographic File Systems. |
IEEE Security in Storage Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani |
Compositional Analysis of Contract Signing Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth |
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Jan Camenisch, Dieter Sommer |
Anonymous yet accountable access control. |
WPES |
2005 |
DBLP DOI BibTeX RDF |
anonymous transactions, privacy, access control, certificates, accountability, anonymous credentials |
| 1 | Michael Backes, Christian Cachin |
Public-Key Steganography with Active Attacks. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Thomas Groß |
Tailoring the Dolev-Yao abstraction to web services realities. |
SWS |
2005 |
DBLP DOI BibTeX RDF |
Dolev Yao, security proof of protocols, formal method, tool support, security analysis, web services security, federated identity management, protocol model |
| 1 | Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh |
On fairness in simulatability-based cryptographic systems. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
scheduling, fairness, cryptographic protocols, simulatability |
| 1 | Michael Backes |
Quantifying Probabilistic Information Flow in Computational Reactive Systems. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")