Michael Backes
Michael Backes
Chairman and Founding Director of the CISPA Helmholtz Center for Information Security, Saarland
Bestätigte E-Mail-Adresse bei cispa.saarland
TitelZitiert vonJahr
A composable cryptographic library with nested operations
M Backes, B Pfitzmann, M Waidner
Proceedings of the 10th ACM conference on Computer and communications …, 2003
428*2003
The reactive simulatability (RSIM) framework for asynchronous systems
M Backes, B Pfitzmann, M Waidner
Information and Computation 205 (12), 1685-1720, 2007
289*2007
Automated verification of remote electronic voting protocols in the applied pi-calculus
M Backes, C Hritcu, M Maffei
2008 21st IEEE Computer Security Foundations Symposium, 195-209, 2008
2202008
Appguard–enforcing user requirements on android apps
M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky
International Conference on TOOLS and Algorithms for the Construction and …, 2013
218*2013
Automatic discovery and quantification of information leaks
M Backes, B Köpf, A Rybalchenko
2009 30th IEEE Symposium on Security and Privacy, 141-153, 2009
2012009
Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol
M Backes, M Maffei, D Unruh
2008 IEEE Symposium on Security and Privacy (sp 2008), 202-215, 2008
1732008
Symmetric encryption in a simulatable Dolev-Yao style cryptographic library
M Backes, B Pfitzmann
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 204-218, 2004
1702004
Verifiable delegation of computation on outsourced data
M Backes, D Fiore, RM Reischuk
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
1512013
Acoustic Side-Channel Attacks on Printers.
M Backes, M Dürmuth, S Gerling, M Pinkal, C Sporleder
USENIX Security symposium, 307-322, 2010
1372010
Efficient comparison of enterprise privacy policies
M Backes, G Karjoth, W Bagga, M Schunter
Proceedings of the 2004 ACM symposium on Applied computing, 375-382, 2004
1342004
A toolkit for managing enterprise privacy policies
M Backes, B Pfitzmann, M Schunter
European Symposium on Research in Computer Security, 162-180, 2003
1332003
On the (statistical) detection of adversarial examples
K Grosse, P Manoharan, N Papernot, M Backes, P McDaniel
arXiv preprint arXiv:1702.06280, 2017
1292017
Adversarial perturbations against deep neural networks for malware classification
K Grosse, N Papernot, P Manoharan, M Backes, P McDaniel
arXiv preprint arXiv:1606.04435, 2016
1282016
You can run but you can't read: Preventing disclosure exploits in executable code
M Backes, T Holz, B Kollenda, P Koppe, S Nürnberger, J Pewny
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1262014
Oxymoron: Making fine-grained memory randomization practical by allowing code sharing
M Backes, S Nürnberger
23rd {USENIX} Security Symposium ({USENIX} Security 14), 433-447, 2014
1222014
Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library
M Backes, B Pfitzmann, M Waidner
International Journal of Information Security 4 (3), 135-154, 2005
122*2005
Relating symbolic and cryptographic secrecy
M Backes, B Pfitzmann
IEEE Transactions on Dependable and Secure Computing 2 (2), 109-123, 2005
1192005
Public-key steganography with active attacks
M Backes, C Cachin
Theory of Cryptography Conference, 210-226, 2005
1162005
Compromising reflections-or-how to read LCD monitors around the corner
M Backes, M Dürmuth, D Unruh
2008 IEEE Symposium on Security and Privacy (sp 2008), 158-169, 2008
1092008
Cryptographically sound and machine-assisted verification of security protocols
M Backes, C Jacobi
Annual Symposium on Theoretical Aspects of Computer Science, 675-686, 2003
1092003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20