Quicklinks

Portrait of Person: Michael Backes

Michael Backes (Faculty)
 
 Stuhlsatzenhaus 5 | 66123 Saarbrücken | 3.01

Publications:

Title Date Date
 2014
CCS
2014
 Michael Backes, Aniket Kate, Sebastian Meiser, Esfandiar Mohammadi
 Proceedings of the 21st ACM Conference on Computer and Communications Security (ACM CCS '14)
 2007
2007
 Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei
 Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering (FMSE)
 2003
CCS
2003
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 10th ACM Conference on Computer and Communications Security (CCS)
 2005
2005
 Michael Backes, Markus Dürmuth
 Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW)
 2004
2004
 Michael Backes
 Proceedings of 9th European Symposium on Research in Computer Security (ESORICS)
 2004
2004
 Michael Backes, Birgit Pfitzmann
 IEEE Journal on Selected Areas of Computing (JSAC)
 2003
2003
 Michael Backes, Birgit Pfitzmann
 Proceedings of 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
 2003
2003
 Michael Backes, Birgit Pfitzmann
 2008
2008
 Michael Backes, Matthias Berg, Dominique Unruh
 LPAR 2008
 2004
2004
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 1st Theory of Cryptography Conference (TCC)
 2011
2011
 Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky
 
 2017
IEEE EuroS&P
2017
 Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann
 Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17)
 2011
NDSS
2011
 Michael Backes, Matteo Maffei, Kim Pecina
 Proceedings of the Network and Distributed System Security Symposium (NDSS '11)
 2017
CCS
2017
 Duc Cuong Nguyen, Dominik Wermke, Yasemin Acar, Michael Backes, Charles Alexander Forbes Weir, Sascha Fahl
 Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS '17)
 2018
2018
 Fatemeh Shirazi, Milivoj Simeonovski, Muhammad Rizwan Asghar, Michael Backes, Claudia Díaz
 ACM Computing Surveys (CSUR)
 2016
2016
 Fatemeh Shirazi, Milivoj Simeonovski, Muhammad Rizwan Asghar, Michael Backes, Claudia Díaz
 The Computing Research Repository (CoRR)
 2003
2003
 Michael Backes, Birgit Pfitzmann, Matthias Schunter
 Proceedings of 8th European Symposium on Research in Computer Security (ESORICS)
 2015
IEEE S&P
2015
 Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk
 Proceedings of the 36th IEEE Symposium on Security and Privacy (S&P)
 2017
IEEE EuroS&P
2017
 Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky, Sebastian Weisgerber
 Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17)
 2012
2012
 Michael Backes, Aniket Kate, Esfandiar Mohammadi
 Proceedings of the 11th ACM Workshop on Privacy in the Electronic Society (WPES)
 2009
CSF
2009
 Michael Backes, Martin Grochulla, Cătălin Hriţcu, Matteo Maffei
 Proceedings of 22nd IEEE Computer Security Foundations Symposium (CSF)
 2010
USENIX-Security
2010
 Michael Backes, Markus Dürmuth, Sebastian Gerling, Manfred Pinkal, Caroline Sporleder
 Proceedings of 19th USENIX Security Symposium
 2012
2012
 Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft
 Proc. of the 7th ACM Symposium on Information, Computer and Communication Security (ASIACCS 2012)
 2017
ESORICS
2017
 Kathrin Grosse, Nicolas Papernot, Praveen Manoharan, Michael Backes, Patrick McDaniel
 Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II
 2019
2019
 Kathrin Grosse, Thomas A. Trost, Marius Mosbach, Michael Backes
 ArXiv e-prints
 2016
2016
 Michael Backes, Praveen Manoharan, Kathrin Grosse, Nicolas Papernot
 The Computing Research Repository (CoRR)
 2004
2004
 Michael Backes, Markus Dürmuth, Rainer Steinwandt
 Proceedings of 9th European Symposium on Research in Computer Security (ESORICS)
 2014
ACSAC
2014
 Michael Backes, Sven Bugiel, Sebastian Gerling, Philipp von Styp-Rekowsky
 In Proceedings of the 30th Annual Computer Security Applications Conference (ACSAC'14)
 2013
CSF
2013
 Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi
 Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF '13)
 2013
2013
 Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi
 6th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs)
 2009
2009
 Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
 On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I
 2010
PODC
2010
 Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
 Proceedings of 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)
 2016
ESORICS
2016
 Michael Backes, Amir Herzberg, Aniket Kate, Ivan Pryvalov
 21st European Symposium on Research in Computer Security (ESORICS)
 2010
2010
 Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
 Proceedings of 10th Privacy Enhancing Technologies Symposium (PETS)
 2009
2009
 Michael Backes, Lech Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
 Proceedings of OTM Conferences
 2005
2005
 Michael Backes, Jan Camenisch, Dieter Sommer
 Proceedings of 4th ACM Workshop on Privacy in the Electronic Society (WPES)
 2013
2013
 Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
 2013
2013
 Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
 2012
2012
 Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
 2013
2013
 Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
 8th International Workshop on Data Privacy Management (DPM'13)
 2013
2013
 Michael Backes, Amit Datta, Aniket Kate
 Proc. of the 2013 Cryptographers' Track at the RSA Conference (CT-RSA 2013)
 2014
PODC
2014
 Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate
 ACM Symposium on Principles of Distributed Computing 2014
 2012
NDSS
2012
 Michael Backes, Matteo Maffei, Kim Pecina
 Proceedings of the 19th Annual Network and Distributed System Security Symposium (NDSS '12)
 2008
CSF
2008
 Michael Backes, Cătălin Hriţcu, Matteo Maffei
 Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF)
 2009
2009
 Michael Backes, Boris Köpf, Andrey Rybalchenko
 Proceedings of 30th IEEE Symposium on Security and Privacy
 2011
2011
 Michael Backes, Cătălin Hriţcu, Thorsten Tarrach
 Proc. 1st International Conference on Certified Programs and Proofs (CPP 2011)
 2014
2014
 Michael Backes, Jeremy Clark, Aniket Kate, Milivoj Simeonovski, Peter Druschel
 Applied Cryptography and Network Security
 2018
USENIX-Security
2018
 Sanam Ghorbani Lyastani, Michael Schilling, Sascha Fahl, Michael Backes, Sven Bugiel
 27th USENIX Security Symposium (USENIX Security 18)
 2016
2016
 Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky
 USENIX ;login:
 2015
USENIX-Security
2015
 Michael Backes, Sven Bugiel, Christian Hammer, Oliver Schranz, Philipp von Styp-Rekowsky
 Proceedings of the 24th USENIX Security Symposium (USENIX '15)
 2008
PODC
2008
 Michael Backes, Lech Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
 Proceedings of 27th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)
 2012
PODC
2012
 Michael Backes, Fabian Bendun, Aniket Kate
 ACM Symposium on Principles of Distributed Computing 2012
 2008
CAV
2008
 Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
 Proceedings of 20th International Conference on Computer Aided Verification (CAV)
 2009
NDSS
2009
 Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh
 NDSS 2009
 2013
2013
 Philipp von Styp-Rekowsky, Sebastian Gerling, Michael Backes, Christian Hammer
 2007
2007
 Michael Backes, Agostino Cortesi, Matteo Maffei
 2007
CSF
2007
 Michael Backes, Agostino Cortesi, Matteo Maffei
 Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF)
 2009
CCS
2009
 Michael Backes, Dennis Hofheinz, Dominique Unruh
 Proceedings of the 16th ACM conference on Computer and communications security (CCS)
 2017
IEEE S&P
2017
 Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel, Doowon Kim, Michelle Mazurek, Christian Stransky
 38th IEEE Symposium on Security and Privacy (S&P '17)
 2006
2006
 Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
 Theoretical Computer Science
 2005
2005
 Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
 Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW)
 2008
2008
 Michael Backes, Markus Dürmuth, Dominique Unruh
 IEEE Symposium on Security and Privacy, Proceedings of SSP'08
 2004
2004
 Michael Backes, Birgit Pfitzmann
 International Journal of Information Security (IJIS)
 2002
2002
 Michael Backes, Birgit Pfitzmann
 Proceedings of 7th European Symposium on Research in Computer Security (ESORICS)
 2014
2014
 Michael Backes, Esfandiar Mohammadi, Tim Ruffing
 Proceedings of the 3rd Conference on Principles of Security and Trust (POST)
 2016
CCS
2016
 Michael Backes, Robert Künnemann, Esfandiar Mohammadi
 Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS'16)
 2015
ESORICS
2015
 Michael Backes, Esfandiar Mohammadi, Tim Ruffing
 Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS'15)
 2010
2010
 Michael Backes, Dominique Unruh
 Journal of Computer Security
 2008
CSF
2008
 Michael Backes, Dominique Unruh
 21st IEEE Computer Security Foundations Symposium, CSF 2008
 2013
2013
 Michael Backes, Fabian Bendun, Dominique Unruh
 Principles of Security and Trust 2013
 2012
2012
 Michael Backes, Fabian Bendun, Dominique Unruh
 Eight Workshop on Formal and Computational Cryptography (FCC 2012)
 2012
CCS
2012
 Michael Backes, Ankit Malik, Dominique Unruh
 Proceedings of the 19th ACM Conference on Computer and Communication Security (CCS '12)
 2011
ASIACRYPT
2011
 Michael Backes, Aniket Kate, Arpita Patra
 Proc. 17th International Conference on the Theory and Application of Cryptology (ASIACRYPT 2011)
 2010
2010
 Michael Backes, Matteo Maffei, Esfandiar Mohammadi
 Proceedings of the 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
 2006
CCS
2006
 Michael Backes, Peeter Laud
 Proceedings of 13th ACM Conference on Computer and Communications Security (CCS)
 2006
2006
 Michael Backes, Peeter Laud
 2010
CCS
2010
 Michael Backes, Matteo Maffei, Dominique Unruh
 ACM CCS 2010
 2008
2008
 Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
 International Journal of Information Security
 2006
2006
 Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
 Proceedings of 11th European Symposium on Research in Computer Security (ESORICS)
 2002
2002
 Michael Backes
 2006
2006
 Michael Backes, Iliano Cervesato, Aaron D Jaggard, Andre Scedrov, Joe-Kai Tsay
 Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)
 2006
2006
 Christoph Sprenger, Michael Backes, David Basin, Birgit Pfitzmann, Michael Waidner
 Proceedings of 19th IEEE Computer Security Foundations Workshop (CSFW)
 2003
2003
 Michael Backes, Christian Jacobi
 Proceedings of 20th International Symposium on Theoretical Aspects of Computer Science (STACS)
 2011
2011
 Michael Backes, Iliano Cervesato, Aaron D Jaggard, Andre Scedrov, Joe-Kai Tsay
 International Journal of Information Security
 2017
NDSS
2017
 Giorgi Maisuradze, Michael Backes, Christian Rossow
 Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17)
 2015
2015
 Michael Backes, Niklas Grimm, Aniket Kate
 IEEE Transactions on Dependable and Secure Computing
 2017
CCS
2017
 Giancarlo Pellegrino, Martin Johns, Simon Koch, Michael Backes, Christian Rossow
 Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17)
 2016
2016
 Michael Backes, Sebastian Meiser, Dominique Schröder
 2002
2002
 Michael Backes, Christian Jacobi, Birgit Pfitzmann
 Proceedings of 11th International Symposium on Formal Methods Europe (FME)
 2009
2009
 Michael Backes, Matteo Maffei
 Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
 2016
2016
 Michael Brengel, Michael Backes, Christian Rossow
 Detection of Intrusions and Malware, and Vulnerability Assessment: 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings
 2018
NDSS
2018
 Ben Stock, Giancarlo Pellegrino, Frank Li, Michael Backes, Christian Rossow
 Proceedings of the 25th Annual Symposium on Network and Distributed System Security (NDSS '18).
 2013
2013
 Michael Backes, Sebastian Meiser
 Proceedings of the 8th International Workshop on Data Privacy Managemant (DPM 2013)
 2012
2012
 Markus Mainberger, Michael Backes, Matthias Berg, Joachim Weickert
 Proceedings of the 8th International Symposium on Visual Computing -- ISVC 2012
 2018
IEEE EuroS&P
2018
 Pascal Berrang, Mathias Humbert, Yang Zhang, Irina Lehmann, Roland Eils, Michael Backes
 Proceedings of the 3rd IEEE European Symposium on Security and Privacy (Euro S&P)
 2004
2004
 Michael Backes, Walid Bagga, Günter Karjoth, Matthias Schunter
 Proceedings of 19th ACM Symposium on Applied Computing (SAC)
 2016
CCS
2016
 Jonas Schneider, Nils Fleischhacker, Dominique Schröder, Michael Backes
 Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS '16 )
 2019
2019
 Michael Backes, Lucjan Hanzlik, Amir Herzberg, Aniket Kate, Ivan Pryvalov
 Proceedings of the 22nd edition of the International Conference on Practice and Theory of Public Key Cryptography (PKC 2019)
 2017
IEEE EuroS&P
2017
 Michael Backes, Konrad Rieck, Malte Skoruppa, Ben Stock, Fabian Yamaguchi
 Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17)
 2007
2007
 Michael Backes, Markus Dürmuth
 2007
2007
 Michael Backes, Markus Dürmuth
 2002
2002
 Michael Backes
 
 2019
IEEE S&P
2019
 Saba Eskandarian, Jonathan Cogan, Sawyer Birnbaum, Peh Chang Wei Brandon, Dillon Franke, Forest Fraser, Gaspar Garcia, Eric Gong, Hung T. Nguyen, Taresh K. Sethi, Vishal Subbiah, Michael Backes, Giancarlo Pellegrino, Dan Boneh
 S&P 2019
 2006
2006
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 14th International Symposium on Formal Methods (FM)
 2008
2008
 Michael Backes, Boris Köpf
 Proceedings of 13th European Symposium on Research in Computer Security (ESORICS)
 2018
IEEE EuroS&P
2018
 Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018
 2018
2018
 Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
 Extended Version of EuroS&P 2018 Paper
 2003
2003
 Michael Backes, Matthias Schunter
 Proceedings of the 10th ACM Workshop on New Security Paradigms (NSPW)
 2016
2016
 Michael Backes, Pascal Berrang, Praveen Manoharan
 2015
2015
 Michael Backes, Martin Gagné, Sri Aravinda Krishnan Thyagarajan
 ACM ASIACCS Security in Cloud Computing Workshop 2015
 2011
2011
 Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk
 TOSCA'11: Proceedings of the 2011 International Conference on Theory of Security and Applications (now POST), held as part of ETAPS 2011
 2006
2006
 Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
 2008
2008
 Michael Backes, Markus Dürmuth, Dominique Unruh
 2016
USENIX-Security
2016
 Ben Stock, Giancarlo Pellegrino, Christian Rossow, Martin Johns, Michael Backes
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2013
2013
 Michael Backes, Sebastian Meiser, Dominique Schröder
 IACR Cryptology ePrint Archive
 2017
2017
 Yasemin Acar, Michael Backes, Sascha Fahl, Doowon Kim, Michelle L. Mazurek, Christian Stransky
 IEEE Security & Privacy
 2017
USENIX-Security
2017
 Ben Stock, Martin Johns, Marius Steffens, Michael Backes
 Proceedings of the 26th USENIX Security Symposium (USENIX Security '17)
 2004
2004
 Michael Backes, Dennis Hofheinz
 Proceedings of 7th Information Security Conference (ISC)
 2016
NDSS
2016
 Kangjie Lu, Michael Backes, Stefan Nürnberger, Wenke Lee
 Proceedings of the 23rd Annual Symposium on Network and Distributed System Security (NDSS '16)
 2015
2015
 Michael Backes, Pascal Berrang, Praveen Manoharan
 CoRR
 2013
2013
 Philipp von Styp-Rekowsky, Sebastian Gerling, Michael Backes, Christian Hammer
 International Symposium on Engineering Secure Software and Systems (ESSoS'13)
 2017
IEEE S&P
2017
 Michael Backes, Pascal Berrang, Matthias Bieg, Roland Elis, Carl Herrmann, Mathias Humbert, Irina Lehmann
 Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P)
 2016
CCS
2016
 Johannes Krupp, Michael Backes, Christian Rossow
 Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS '16)
 2016
2016
 Michael Backes, Christian Hammer, David Pfaff, Malte Skoruppa
 Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC 2016
 2007
2007
 Michael Backes, Markus Dürmuth, Dominique Unruh
 Proceedings of 28th IEEE Symposium on Security and Privacy (SSP)
 2003
2003
 Michael Backes, Birgit Pfitzmann
 Proceedings of 24th IEEE Symposium on Security and Privacy
 2013
2013
 Michael Backes, Jeremy Clark, Peter Druschel, Aniket Kate, Milivoj Simeonovski
 CoRR
 2018
2018
 Aurore Fass, Robert Krawczyk, Michael Backes, Ben Stock
 Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '18)
 2004
2004
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 2017
CCS
2017
 Erik Derr, Sven Bugiel, Sascha Fahl, Yasemin Acar, Michael Backes
 Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17)
 2008
2008
 Michael Backes, Birgit Pfitzmann, Andre Scedrov
 Journal of Computer Security (JCS)
 2007
CSF
2007
 Michael Backes, Birgit Pfitzmann, Andre Scedrov
 Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF)
 2018
2018
 Kathrin Grosse, Michael Thomas Smith, Michael Backes
 ArXiv e-prints
 2017
IEEE EuroS&P
2017
 Michael Backes, Mohammad Nauman
 Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17)
 2005
2005
 Michael Backes, Christian Cachin, Alina Oprea
 Proceedings of 3rd International IEEE Security in Storage Workshop (SISW)
 2017
2017
 Christian Stransky, Yasemin Acar, Duc Cuong Nguyen, Dominik Wermke, Elissa M. Redmiles, Doowon Kim, Michael Backes, Simson Garfinkel, Michelle Mazurek, Sascha Fahl
 Proceedings of the 10th USENIX Workshop on Cyber Security Experimentation and Test (CSET '17)
 2014
2014
 Michael Backes, Niklas Grimm, Aniket Kate
 Proceedings of 10th International Workshopon Security and Trust Management (STM)
 2008
2008
 Michael Backes, Dominique Unruh
 ASIACRYPT 2008
 2008
2008
 Michael Backes, Birgit Pfitzmann
 International Journal of Information Security
 2005
2005
 Michael Backes, Birgit Pfitzmann
 Proceedings of 10th European Symposium on Research in Computer Security (ESORICS)
 2006
2006
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)
 2017
RAID
2017
 Johannes Krupp, Mohammad Karami, Christian Rossow, Damon McCoy, Michael Backes
 International Symposium on Research in Attacks, Intrusions, and Defenses
 2004
2004
 Michael Backes, Michael Waidner, Birgit Pfitzmann
 Proceedings of 7th Information Security Conference (ISC)
 2019
NDSS
2019
 Inken Hagestedt, Yang Zhang, Mathias Humbert, Pascal Berrang, Tang Haixu, Wang XiaoFeng, Michael Backes
 26th Annual Network and Distributed System Security Symposium (NDSS 2019)
 2019
NDSS
2019
 Ahmed Salem, Yang Zhang, Mathias Humbert, Pascal Berrang, Mario Fritz, Michael Backes
 26th Annual Network and Distributed System Security Symposium (NDSS 2019)
 2018
2018
 Lucjan Hanzlik, Yang Zhang, Kathrin Grosse, Ahmed Salem, Max Augustin, Michael Backes, Mario Fritz
 Arxive
 2018
2018
 Lucjan Hanzlik, Yang Zhang, Kathrin Grosse, Ahmed Salem, Max Augustin, Michael Backes, Mario Fritz
 2016
CCS
2016
 Michael Backes, Pascal Berrang, Mathias Humbert, Praveen Manoharan
 Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS '16)
 2002
2002
 Michael Backes
 
 2011
2011
 Michael Backes, Matthias Berg, Boris Köpf
 Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS)
 2008
2008
 Michael Backes, Markus Dürmuth, Dominique Unruh
 ASIACRYPT 2008
 2012
IEEE S&P
2012
 Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina
 Proceedings of the 33rd IEEE Symposium on Security and Privacy 2012 (Oakland 2012)
 2015
2015
 Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
 13th International Conference on Applied Cryptography and Network Security (ACNS)
 2015
2015
 Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
 CoRR
 2015
2015
 Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
 IACR Cryptology ePrint Archive
 2016
USENIX-Security
2016
 Michael Backes, Sven Bugiel, Erik Derr, Patrick McDaniel, Damien Octeau, Sebastian Weisgerber
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2005
2005
 Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
 2016
2016
 Michael Backes, Pascal Berrang, Oana Goga, Krishna P. Gummadi, Praveen Manoharan
 Proceedings of the 2016 ACM Workshop on Privacy in the Electronic Society (WPES)
 2007
2007
 Michael Backes, Markus Dürmuth, Ralf Küsters
 Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
 2017
2017
 Kathrin Grosse, Praveen Manoharan, Nicolas Papernot, Michael Backes, Patrick McDaniel
 CoRR
 2006
2006
 Michael Backes, Birgit Pfitzmann
 Proceedings of 21st IFIP International Information Security Conference (SEC)
 2012
2012
 Michael Backes, Alex Busenius, Cătălin Hriţcu
 Proc. 4th NASA Formal Methods Symposium (NFM 2012)
 2016
RAID
2016
 Michael Backes, Thorsten Holz, Christian Rossow, Teemu Rytilahti, Milivoj Simeonovski, Ben Stock
 RAID 2016, 19th International Symposium on Research in Attacks, Intrusions and Defenses
 2007
2007
 Michael Backes, Jörn Müller-Quade, Dominique Unruh
 Theory of Cryptography, Proceedings of TCC 2007
 2006
2006
 Michael Backes, Jörn Müller-Quade, Dominique Unruh
 2007
2007
 Michael Backes, Dominique Unruh
 2014
2014
 Michael Backes, Özgür Dagdelen, Marc Fischlin, Sebastian Gajek, Sebastian Meiser, Dominique Schröder
 IACR Cryptology ePrint Archive
 2014
USENIX-Security
2014
 Michael Backes, Stefan Nürnberger
 Proceedings of the 23rd USENIX Security Symposium (USENIX '14)
 2015
CCS
2015
 Christian Rossow, Esfandiar Mohammadi, Michael Backes, Sebastian Meiser, Simon Koch
 Proceedings of the 22nd ACM conference on Computer and Communications Security (ACM CCS '15)
 2016
CCS
2016
 Ben Stock, Giancarlo Pellegrino, Christian Rossow, Martin Johns, Michael Backes
 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
 2016
CCS
2016
 Michael Backes, Sven Bugiel, Jie Huang, Oliver Schranz
 Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS '16 )
 2015
CCS
2015
 Michael Backes, Oliver Schranz, Philipp von Styp-Rekowsky
 Proceedings of the 22nd ACM conference on Computer and Communications Security (ACM CCS '15)
 2018
2018
 Muhammad Rizwan Asghar, Michael Backes, Milivoj Simeonovski
 2018 IEEE International Conference on Communications (ICC) Kansas City, MO, USA, 20-24 May 2018
 2002
2002
 Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner
 Proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW)
 2004
2004
 Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner
 Journal of Computer Security
 2018
IEEE S&P
2018
 Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, Taesoo Kim
 In Proceedings of the 39th IEEE Symposium on Security and Privacy (Oakland). San Francisco, CA, May 2018.
 2013
NDSS
2013
 Michael Backes, Goran Doychev, Boris Köpf
 Proceedings of the 20th Annual Network and Distributed System Security Symposium (NDSS '13)
 2015
2015
 Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
 Proceedings of the 4th Conference on Principles of Security and Trust (POST)
 2016
USENIX-Security
2016
 Michael Backes, Pascal Berrang, Anne Hecksteden, Mathias Humbert, Andreas Keller, Tim Meyer
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2013
ESORICS
2013
 Michael Backes, Dario Fiore, Esfandiar Mohammadi
 Proceedings of the 18th European Symposium on Research in Computer Security (ESORICS)
 2018
2018
 Ahmed Salem, Pascal Berrang, Mathias Humbert, Michael Backes
 The 19th Privacy Enhancing Technologies Symposium (PETS)
 2003
2003
 Michael Backes, Christian Cachin, Reto Strobl
 Proceedings of 22nd ACM Symposium on Principles of Distributed Computing (PODC)
 2003
2003
 Michael Backes, David Basin, Michael Waidner
 2005
2005
 Michael Backes, Andre Scedrov
 2006
2006
 Michael Backes, Stefanos Gritzalis, Bart Preneel, Sokratis K Katsikas, Javier Lopez
 2012
CSF
2012
 Michael Backes, Aniket Kate, Ian Goldberg, Esfandiar Mohammadi
 Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF)
 2005
2005
 Michael Backes, Christian Cachin
 Proceedings of 2nd Theory of Cryptography Conference (TCC)
 2015
2015
 Michael Backes, Boris Köpf
 Mathematical Structures in Computer Science
 2005
2005
 Michael Backes
 Proceedings of 10th European Symposium on Research in Computer Security (ESORICS)
 2016
2016
 Michael Backes, Sven Bugiel, Erik Derr, Sebastian Gerling, Christian Hammer
 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security
 2016
2016
 Johannes Götzfried, Tilo Müller, Gabor Drescher, Stefan Nürnberger, Michael Backes
 ACM SIGSAC Symposium on Information, Computer and Communications Security (ASIACCS)
 2010
2010
 Michael Backes, Oana Ciobotaru, Anton Krohmer
 Proceedings of 15th European Symposium on Research in Computer Security (ESORICS)
 2005
2005
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 International Journal of Information Security (IJIS)
 2003
2003
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 6th Information Security Conference (ISC)
 2006
2006
 Michael Backes
 Electronic Notes in Theoretical Computer Science (ENTCS)
 2017
CSF
2017
 Michael Backes, Manuel Gomez-Rodriguez, Praveen Manoharan, Bartlomiej Surma
 Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF '17)
 2005
2005
 Michael Backes, Birgit Pfitzmann
 IEEE Transactions on Dependable and Secure Computing (TDSC)
 2005
2005
 Michael Backes, Birgit Pfitzmann
 Proceedings of 26th IEEE Symposium on Security and Privacy
 2016
CCS
2016
 Michael Backes, Sven Bugiel, Erik Derr
 Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS '16)
 2003
2003
 Michael Backes, Christian Cachin
 Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN)
 2019
2019
 Michael Backes, Nico Döttling, Lucjan Hanzlik, Kamil Kluczniak
 EUROCRYPT
 2012
WWW
2012
 Raphael M. Reischuk, Michael Backes, Johannes Gehrke
 WWW~'12: Proceedings of the 21st International World Wide Web Conference
 2016
RAID
2016
 Akira Yokoyama, Kou Ishii, Rui Tanabe, Yinmin Papa, Katsunari Yoshioka, Tsutomu Matsumoto, Takahiro Kasama, Daisuke Inoue, Michael Brengel, Michael Backes, Christian Rossow
 Research in Attacks, Intrusions, and Defenses - 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings
 2014
ACSAC
2014
 Michael Backes, Sven Bugiel, Sebastian Gerling
 In Proceedings of the 30th Annual Computer Security Applications Conference (ACSAC'14)
 2017
2017
 Michael Backes, Sven Bugiel, Philipp von Styp-Rekowsky, Marvin Wißfeld
 Mobile Security Technologies (MOST) 2017 Workshop
 2015
2015
 Michael Backes, Aniket Kate, Sebastian Meiser, Tim Ruffing
 Proceedings of the 13th International Conference on Applied Cryptography and Network Security (ACNS'15)
 2006
2006
 Michael Backes, Christian Cachin, Alina Oprea
 Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)
 2011
PODC
2011
 Michael Backes, Matteo Maffei, Kim Pecina
 Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011
 2003
2003
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 2003 International Conference on Business Process Management
 2019
IEEE S&P
2019
 Duc Cuong Nguyen, Erik Derr, Michael Backes, Sven Bugiel
 Proceedings of the IEEE Symposium on Security & Privacy, May 2019
 2018
ASIACRYPT
2018
 Michael Backes, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider
 IACR ASIACRYPT 2018
 2016
2016
 Michael Backes, Pascal Berrang, Mathias Humbert, Xiaoyu Shen, Verena Wolf
 Proceedings of the 3rd International Workshop on Genome Privacy and Security (GenoPri'16)
 2016
IEEE S&P
2016
 Yasemin Acar, Michael Backes, Sven Bugiel, Sascha Fahl, Patrick McDaniel, Matthew Smith
 37th IEEE Symposium on Security and Privacy (S&P '16)
 2006
2006
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 2010
2010
 Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf
 Proceedings of 15th European Symposium on Research in Computer Security (ESORICS)
 2017
IEEE S&P
2017
 Felix Fischer, Konstantin Böttinger, Huang Xiao, Christian Stransky, Yasemin Acar, Michael Backes, Sascha Fahl
 38th IEEE Symposium on Security and Privacy (S&P '17)
 2018
AAAI
2018
 Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
 The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
 2017
2017
 Sanam Ghorbani Lyastani, Michael Schilling, Sascha Fahl, Sven Bugiel, Michael Backes
 CoRR
 2015
CSF
2015
 Esfandiar Mohammadi, Fabian Bendun, Kim Pecina, Matteo Maffei, Michael Backes
 Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF '15)
 2006
2006
 Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Vigano
 Proceedings of Foundations of Software Science and Computational Structures (FOSSACS)
 2005
2005
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 International Journal of Information Security (IJIS)
 2003
2003
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Proceedings of 8th European Symposium on Research in Computer Security (ESORICS)
 2004
2004
 Michael Backes, Birgit Pfitzmann
 Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW)
 2014
CSF
2014
 Michael Backes, Praveen Manoharan, Esfandiar Mohammadi
 Proceedings of the of the 27th IEEE Computer Security Foundations Symposium (CSF '14)
 2018
WWW
2018
 Yang Zhang, Mathias Humbert, Tahleen Rahman, Cheng-Te Li, Jun Pang, Michael Backes
 Proceedings of the Web Conference 2018 (WWW)
 2005
2005
 Michael Backes, Thomas Groß
 Proceedings of 2005 ACM Secure Web Services Workshop (SWS)
 2014
2014
 Michael Backes, Sven Bugiel, Erik Derr, Christian Hammer
 2009
2009
 Michael Backes, Tongbo Chen, Markus Dürmuth, Hendrik Lensch, Martin Welk
 Proceedings of 30th IEEE Symposium on Security and Privacy
 2017
CCS
2017
 Jie Huang, Oliver Schranz, Sven Bugiel, Michael Backes
 Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17)
 2018
2018
 Kathrin Grosse, David Pfaff, Michael Thomas Smith, Michael Backes
 ArXiv e-prints
 2007
2007
 Michael Backes, Birgit Pfitzmann, Michael Waidner
 Information and Computation
 2018
IEEE S&P
2018
 Marten Oltrogge, Erik Derr, Christian Stransky, Yasemin Acar, Sascha Fahl, Christian Rossow, Giancarlo Pellegrino, Sven Bugiel, Michael Backes
 39th IEEE Symposium on Security and Privacy (SP '18)
 2008
CCS
2008
 Michael Backes, Matteo Maffei, Cătălin Hriţcu
 Proceedings of the 15th ACM conference on Computer and communications security
 2004
2004
 Michael Backes, Markus Dürmuth, Günter Karjoth
 Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY)
 2005
2005
 Michael Backes
 Journal of Logic and Algebraic Programming (JLAP)
 2003
2003
 Michael Backes
 Proceedings of 14th International Conference on Concurrency Theory (CONCUR)
 2011
2011
 Michael Backes, Cătălin Hriţcu, Matteo Maffei
 Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
 2013
2013
 Michael Backes, Cătălin Hriţcu, Matteo Maffei
 Special issue of the Journal of Computer Security (JCS) for TOSCA-SecCo
 2014
2014
 Michael Backes, Cătălin Hriţcu, Matteo Maffei
 Journal of Computer Security
 2017
NDSS
2017
 Kangjie Lu, Marie-Therese Walter, David Pfaff, Stefan Nürnberger, Wenke Lee, Michael Backes
 Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17)
 2019
IEEE EuroS&P
2019
 Jie Huang, Nataniel Pereira Borges Jr., Sven Bugiel, Michael Backes
 4th IEEE European Symposium on Security and Privacy
 2013
2013
 Michael Backes, Martin Gagné, Malte Skoruppa
 Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society - WPES 2013
 2013
CCS
2013
 Michael Backes, Dario Fiore, Raphael M. Reischuk
 Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '11)
 2012
CSF
2012
 Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin
 Proceedings of the 25th IEEE Computer Security Foundations Symposium - CSF 2012
 2007
2007
 Michael Backes, Markus Dürmuth, Dominique Unruh
 2014
2014
 Michael Backes, Rainer W. Gerling, Sebastian Gerling, Stefan Nürnberger, Dominique Schröder, Mark Simkin
 12th International Conference on Applied Cryptography and Network Security (ACNS 2014)
 2016
USENIX-Security
2016
 Giorgi Maisuradze, Michael Backes, Christian Rossow
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2017
WWW
2017
 Milivoj Simeonovski, Giancarlo Pellegrino, Christian Rossow, Michael Backes
 Proc. of the 26rd International Conference on World Wide Web (WWW 2017)
 2014
2014
 Michael Backes, Sebastian Gerling, Stefan Lorenz, Stephan Lukas
 29th ACM Symposium on Applied Computing (SAC 2014)
 2011
2011
 Julian Backes, Michael Backes, Markus Dürmuth, Stefan Lorenz, Sebastian Gerling
 2014
CCS
2014
 Michael Backes, Thorsten Holz, Benjamin Kollenda, Philipp Koppe, Stefan Nürnberger, Jannik Pewny
 Proceedings of the 21st ACM conference on Computer and Communications Security (ACM CCS '14)
 2016
IEEE S&P
2016
 Yasemin Acar, Michael Backes, Sascha Fahl, Doowon Kim, Michelle Mazurek, Christian Stransky
 37th IEEE Symposium on Security and Privacy (S&P '16)
 2015
2015
 Michael Backes, Sebastian Meiser, Marcin Slowik
 Proceedings on Privacy Enhancing Technologies
 2008
IEEE S&P
2008
 Michael Backes, Matteo Maffei, Dominique Unruh
 IEEE Symposium on Security and Privacy, Proceedings of SSP'08
 2017
CCS
2017
 Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang
 Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17)