Edit Profile (opens in new tab) Backes, Michael Co-Author Distance Author ID: backes.michael Published as: Backes, Michael; Backes, M. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 56 Publications since 2002 3 Contributions as Editor Co-Authors: 68 Co-Authors with 54 Joint Publications 1,184 Co-Co-Authors all top 5 Co-Authors 5 single-authored 12 Pfitzmann, Birgit 8 Kate, Aniket 7 Waidner, Michael 5 Unruh, Dominique 4 Dürmuth, Markus 4 Hanzlik, Lucjan 3 Bendun, Fabian 3 Cachin, Christian 3 Maffei, Matteo 3 Mohammadi, Esfandiar 2 Fried, Roland 2 Herzberg, Amir 2 Hofheinz, Dennis 2 Jacobi, Christian 2 Kluczniak, Kamil 2 Köpf, Boris 2 Küsters, Ralf 2 Meiser, Sebastian 2 Pryvalov, Ivan 2 Rhode, Wolfgang 2 Ruffing, Tim 2 Ščedrov, Andrej 2 Schneider, Jonas 2 Schröder, Dominique 1 Álvarez, Mauricio A. 1 Berg, Matthias 1 Berrang, Pascal 1 Budde, Lena Marie 1 Cervesato, Iliano 1 Choudhary, Ashish 1 Clark, Jeremy Thane 1 Datta, Amit 1 Datta, Anupam 1 Derek, Ante 1 Döttling, Nico 1 Druschel, Peter 1 Esiyok, Ilkan 1 Fiore, Dario 1 Gerling, Rainer W. 1 Gerling, Sebastian 1 Gritzalis, Stefanos 1 Grosse, Kathrin 1 Hriţcu, Cătălin 1 Jaggard, Aaron D. 1 Katsikas, Sokratis K. 1 Künnemann, Robert 1 Lopez, Javier 1 Manoharan, Praveen 1 Mitchell, John C. 1 Mödersheim, Sebastian Alexander 1 Müller-Quade, Jörn 1 Ning, Peng 1 Nürnberger, Stefan 1 Oprea, Alina 1 Patra, Arpita 1 Pecina, Kim 1 Preneel, Bart 1 Reischuk, Raphael M. 1 Simeonovski, Milivoj 1 Simkin, Mark 1 Smith, Michael Thomas 1 Steinwandt, Rainer 1 Strobl, Reto 1 Thieler, Anita Monika 1 Tsay, Joe-Kai 1 Turuani, Mathieu 1 Viganò, Luca 1 Voigt, Tobias all top 5 Serials 2 Lecture Notes in Computer Science 1 Theoretical Computer Science 1 Information and Computation 1 Machine Learning 1 Mathematical Structures in Computer Science 1 The Journal of Logic and Algebraic Programming 1 Electronic Notes in Theoretical Computer Science 1 Advances in Data Analysis and Classification. ADAC 1 Statistical Analysis and Data Mining all top 5 Fields 47 Information and communication theory, circuits (94-XX) 36 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 Astronomy and astrophysics (85-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 45 Publications have been cited 262 times in 190 Documents Cited by ▼ Year ▼ A general composition theorem for secure reactive systems. Zbl 1197.94173 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 35 2004 The reactive simulatability (RSIM) framework for asynchronous systems. Zbl 1132.68025 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 20 2007 Ring signatures: logarithmic-size, no setup – from standard assumptions. Zbl 1509.94151 Backes, Michael; Döttling, Nico; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas 19 2019 Symmetric authentication within a simulatable cryptographic library. Zbl 1482.94039 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 16 2003 Public-key steganography with active attacks. Zbl 1079.94530 Backes, Michael; Cachin, Christian 15 2005 A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Zbl 1205.94073 Backes, Michael; Pfitzmann, Birgit 13 2003 Computational verifiable secret sharing revisited. Zbl 1227.94071 Backes, Michael; Kate, Aniket; Patra, Arpita 11 2011 Asynchronous computational VSS with reduced communication complexity. Zbl 1312.94109 Backes, Michael; Datta, Amit; Kate, Aniket 10 2013 Cryptographically sound and machine-assisted verification of security protocols. Zbl 1035.68509 Backes, Michael; Jacobi, Christian 10 2003 OAEP is secure under key-dependent messages. Zbl 1206.94050 Backes, Michael; Dürmuth, Markus; Unruh, Dominique 10 2008 How to break and repair a universally composable signature functionality. Zbl 1109.68441 Backes, Michael; Hofheinz, Dennis 9 2004 A formal language for cryptographic pseudocode. Zbl 1182.94035 Backes, Michael; Berg, Matthias; Unruh, Dominique 8 2008 Conditional reactive simulatability. Zbl 1487.94100 Backes, Michael; Dürmuth, Markus; Hofheinz, Dennis; Küsters, Ralf 6 2006 Signatures with flexible public key: introducing equivalence classes for public keys. Zbl 1446.94096 Backes, Michael; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas 6 2018 Asynchronous MPC with a strict honest majority using non-equivocation. Zbl 1321.68039 Backes, Michael; Bendun, Fabian; Choudhury, Ashish; Kate, Aniket 5 2014 Deriving cryptographically sound implementations using composition and formally verified bisimulation. Zbl 1064.68547 Backes, Michael; Jacobi, Christian; Pfitzmann, Birgit 5 2002 Limits of the cryptographic realization of Dolev-Yao-style XOR. Zbl 1487.94101 Backes, Michael; Pfitzmann, Birgit 5 2005 Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup. Zbl 1465.94056 Backes, Michael; Hanzlik, Lucjan; Herzberg, Amir; Kate, Aniket; Pryvalov, Ivan 4 2019 A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol. Zbl 1487.94099 Backes, Michael 4 2004 Compositional analysis of contract-signing protocols. Zbl 1153.94447 Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, Mathieu 4 2006 Reactively secure signature schemes. Zbl 1185.94076 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 3 2003 On simulatability soundness and mapping soundness of symbolic cryptography. Zbl 1135.94325 Backes, Michael; Dürmuth, Markus; Küsters, Ralf 3 2007 Limits of constructive security proofs. Zbl 1206.94051 Backes, Michael; Unruh, Dominique 3 2008 Secrecy without perfect randomness: cryptography with (bounded) weak sources. Zbl 1423.94047 Backes, Michael; Kate, Aniket; Meiser, Sebastian; Ruffing, Tim 3 2015 Delegatable functional signatures. Zbl 1388.94088 Backes, Michael; Meiser, Sebastian; Schröder, Dominique 3 2016 Proactive secure message transmission in asynchronous networks. Zbl 1321.68040 Backes, Michael; Cachin, Christian; Strobl, Reto 3 2003 Computational probabilistic non-interference. Zbl 1482.68065 Backes, Michael; Pfitzmann, Birgit 3 2002 Cryptographically sound security proofs for basic and public-key Kerberos. Zbl 1487.94149 Backes, M.; Cervesato, I.; Jaggard, A. D.; Scedrov, A.; Tsay, J.-K. 3 2006 Limits of the BRSIM/UC soundness of Dolev-Yao models with hashes. Zbl 1487.94102 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 3 2006 Quantifying probabilistic information flow in computational reactive systems. Zbl 1487.68052 Backes, Michael 3 2005 Formally bounding the side-channel leakage in unknown-message attacks. Zbl 1481.94084 Backes, Michael; Köpf, Boris 2 2008 Secure key-updating for lazy revocation. Zbl 1487.68053 Backes, Michael; Cachin, Christian; Oprea, Alina 2 2006 Computer security – ESORICS 2009. 14th European symposium on research in computer security, Saint-Malo, France, September 21–23, 2009. Proceedings. Zbl 1477.68009 1 2009 Union and intersection types for secure protocol implementations. Zbl 1378.94020 Backes, Michael; Hriţcu, Cătălin; Maffei, Matteo 1 2012 G2C: cryptographic protocols from goal-driven specifications. Zbl 1378.94021 Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M. 1 2012 Computationally sound abstraction and verification of secure multi-party computations. Zbl 1245.68027 Backes, Michael; Maffei, Matteo; Mohammadi, Esfandiar 1 2010 On the necessity of rewinding in secure multiparty computation. Zbl 1129.94011 Backes, Michael; Müller-Quade, Jörn; Unruh, Dominique 1 2007 Unifying simulatability definitions in cryptographic systems under different timing assumptions (extended abstract). Zbl 1274.94035 Backes, Michael 1 2003 Low-level ideal signatures and general integrity idealization. Zbl 1109.68442 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 1 2004 Anonymous RAM. Zbl 1499.68046 Backes, Michael; Herzberg, Amir; Kate, Aniket; Pryvalov, Ivan 1 2016 Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037 Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca 1 2006 BackRef: accountability in anonymous communication networks. Zbl 1407.68142 Backes, Michael; Clark, Jeremy; Kate, Aniket; Simeonovski, Milivoj; Druschel, Peter 1 2014 Webtrust – a comprehensive authenticity and integrity framework for HTTP. Zbl 1404.94127 Backes, Michael; Gerling, Rainer W.; Gerling, Sebastian; Nürnberger, Stefan; Schröder, Dominique; Simkin, Mark 1 2014 Justifying a Dolev-Yao model under active attacks. Zbl 1168.68377 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 1 2005 Periodicity detection in irregularly sampled light curves by robust regression and outlier detection. Zbl 07260353 Thieler, Anita Monika; Backes, Michael; Fried, Roland; Rhode, Wolfgang 1 2013 Ring signatures: logarithmic-size, no setup – from standard assumptions. Zbl 1509.94151 Backes, Michael; Döttling, Nico; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas 19 2019 Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup. Zbl 1465.94056 Backes, Michael; Hanzlik, Lucjan; Herzberg, Amir; Kate, Aniket; Pryvalov, Ivan 4 2019 Signatures with flexible public key: introducing equivalence classes for public keys. Zbl 1446.94096 Backes, Michael; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas 6 2018 Delegatable functional signatures. Zbl 1388.94088 Backes, Michael; Meiser, Sebastian; Schröder, Dominique 3 2016 Anonymous RAM. Zbl 1499.68046 Backes, Michael; Herzberg, Amir; Kate, Aniket; Pryvalov, Ivan 1 2016 Secrecy without perfect randomness: cryptography with (bounded) weak sources. Zbl 1423.94047 Backes, Michael; Kate, Aniket; Meiser, Sebastian; Ruffing, Tim 3 2015 Asynchronous MPC with a strict honest majority using non-equivocation. Zbl 1321.68039 Backes, Michael; Bendun, Fabian; Choudhury, Ashish; Kate, Aniket 5 2014 BackRef: accountability in anonymous communication networks. Zbl 1407.68142 Backes, Michael; Clark, Jeremy; Kate, Aniket; Simeonovski, Milivoj; Druschel, Peter 1 2014 Webtrust – a comprehensive authenticity and integrity framework for HTTP. Zbl 1404.94127 Backes, Michael; Gerling, Rainer W.; Gerling, Sebastian; Nürnberger, Stefan; Schröder, Dominique; Simkin, Mark 1 2014 Asynchronous computational VSS with reduced communication complexity. Zbl 1312.94109 Backes, Michael; Datta, Amit; Kate, Aniket 10 2013 Periodicity detection in irregularly sampled light curves by robust regression and outlier detection. Zbl 07260353 Thieler, Anita Monika; Backes, Michael; Fried, Roland; Rhode, Wolfgang 1 2013 Union and intersection types for secure protocol implementations. Zbl 1378.94020 Backes, Michael; Hriţcu, Cătălin; Maffei, Matteo 1 2012 G2C: cryptographic protocols from goal-driven specifications. Zbl 1378.94021 Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M. 1 2012 Computational verifiable secret sharing revisited. Zbl 1227.94071 Backes, Michael; Kate, Aniket; Patra, Arpita 11 2011 Computationally sound abstraction and verification of secure multi-party computations. Zbl 1245.68027 Backes, Michael; Maffei, Matteo; Mohammadi, Esfandiar 1 2010 Computer security – ESORICS 2009. 14th European symposium on research in computer security, Saint-Malo, France, September 21–23, 2009. Proceedings. Zbl 1477.68009 1 2009 OAEP is secure under key-dependent messages. Zbl 1206.94050 Backes, Michael; Dürmuth, Markus; Unruh, Dominique 10 2008 A formal language for cryptographic pseudocode. Zbl 1182.94035 Backes, Michael; Berg, Matthias; Unruh, Dominique 8 2008 Limits of constructive security proofs. Zbl 1206.94051 Backes, Michael; Unruh, Dominique 3 2008 Formally bounding the side-channel leakage in unknown-message attacks. Zbl 1481.94084 Backes, Michael; Köpf, Boris 2 2008 The reactive simulatability (RSIM) framework for asynchronous systems. Zbl 1132.68025 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 20 2007 On simulatability soundness and mapping soundness of symbolic cryptography. Zbl 1135.94325 Backes, Michael; Dürmuth, Markus; Küsters, Ralf 3 2007 On the necessity of rewinding in secure multiparty computation. Zbl 1129.94011 Backes, Michael; Müller-Quade, Jörn; Unruh, Dominique 1 2007 Conditional reactive simulatability. Zbl 1487.94100 Backes, Michael; Dürmuth, Markus; Hofheinz, Dennis; Küsters, Ralf 6 2006 Compositional analysis of contract-signing protocols. Zbl 1153.94447 Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, Mathieu 4 2006 Cryptographically sound security proofs for basic and public-key Kerberos. Zbl 1487.94149 Backes, M.; Cervesato, I.; Jaggard, A. D.; Scedrov, A.; Tsay, J.-K. 3 2006 Limits of the BRSIM/UC soundness of Dolev-Yao models with hashes. Zbl 1487.94102 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 3 2006 Secure key-updating for lazy revocation. Zbl 1487.68053 Backes, Michael; Cachin, Christian; Oprea, Alina 2 2006 Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037 Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca 1 2006 Public-key steganography with active attacks. Zbl 1079.94530 Backes, Michael; Cachin, Christian 15 2005 Limits of the cryptographic realization of Dolev-Yao-style XOR. Zbl 1487.94101 Backes, Michael; Pfitzmann, Birgit 5 2005 Quantifying probabilistic information flow in computational reactive systems. Zbl 1487.68052 Backes, Michael 3 2005 Justifying a Dolev-Yao model under active attacks. Zbl 1168.68377 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 1 2005 A general composition theorem for secure reactive systems. Zbl 1197.94173 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 35 2004 How to break and repair a universally composable signature functionality. Zbl 1109.68441 Backes, Michael; Hofheinz, Dennis 9 2004 A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol. Zbl 1487.94099 Backes, Michael 4 2004 Low-level ideal signatures and general integrity idealization. Zbl 1109.68442 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 1 2004 Symmetric authentication within a simulatable cryptographic library. Zbl 1482.94039 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 16 2003 A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Zbl 1205.94073 Backes, Michael; Pfitzmann, Birgit 13 2003 Cryptographically sound and machine-assisted verification of security protocols. Zbl 1035.68509 Backes, Michael; Jacobi, Christian 10 2003 Reactively secure signature schemes. Zbl 1185.94076 Backes, Michael; Pfitzmann, Birgit; Waidner, Michael 3 2003 Proactive secure message transmission in asynchronous networks. Zbl 1321.68040 Backes, Michael; Cachin, Christian; Strobl, Reto 3 2003 Unifying simulatability definitions in cryptographic systems under different timing assumptions (extended abstract). Zbl 1274.94035 Backes, Michael 1 2003 Deriving cryptographically sound implementations using composition and formally verified bisimulation. Zbl 1064.68547 Backes, Michael; Jacobi, Christian; Pfitzmann, Birgit 5 2002 Computational probabilistic non-interference. Zbl 1482.68065 Backes, Michael; Pfitzmann, Birgit 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 389 Authors 18 Backes, Michael 8 Maurer, Ueli M. 8 Patra, Arpita 6 Choudhary, Ashish 6 Küsters, Ralf 6 Müller-Quade, Jörn 6 Unruh, Dominique 5 Canetti, Ran 5 Hofheinz, Dennis 5 Liśkiewicz, Maciej 5 Ščedrov, Andrej 4 Abraham, Ittai 4 Applebaum, Benny 4 Hanaoka, Goichiro 4 Maller, Mary 4 Nowak, David E. 4 Pfitzmann, Birgit 4 Stern, Gilad 3 Alwen, Joël 3 Badertscher, Christian 3 Basin, David A. 3 Camenisch, Jan L. 3 Cheung, Ling 3 Datta, Anupam 3 Dürmuth, Markus 3 Fournet, Cédric 3 Fukushima, Kazuhide 3 Guo, Fuchun 3 Jost, Daniel 3 Jovanovic, Philipp 3 Kachlon, Eliran 3 Kaynar, Dilsun Kırlı 3 Kitagawa, Fuyuki 3 Kiyomoto, Shinsaku 3 Kremer, Steve 3 Lynch, Nancy Ann 3 Malavolta, Giulio 3 Meadows, Catherine A. 3 Meiklejohn, Sarah 3 Mitchell, John C. 3 Ostrovsky, Rafail 3 Portmann, Christopher 3 Ravi, Divya 3 Reischuk, Rüdiger 3 Sakai, Yusuke 3 Segala, Roberto 3 Susilo, Willy 3 Tanaka, Keisuke 3 Wölfel, Ulrich 3 Yung, Moti 3 Zhang, Yu 2 Berndt, Sebastian 2 Bhadauria, Rishabh 2 Boreale, Michele 2 Broadbent, Anne 2 Cervesato, Iliano 2 Chatterjee, Rohit 2 Chung, Kai-Min 2 Cortier, Véronique 2 Crampton, Jason 2 Cremers, Cas J. F. 2 Döttling, Nico 2 Duong, Dung Hoang 2 ElDefrawy, Karim 2 Emura, Keita 2 Gardham, Daniel 2 Hara, Keisuke 2 Herzberg, Amir 2 Herzog, Jonathan C. 2 Hesse, Julia 2 Jaggard, Aaron D. 2 Jain, Abhishek 2 Karvonen, Martti 2 Kate, Aniket 2 Krenn, Stephan 2 Lakhnech, Yassine 2 Liang, Xiao 2 Liskov, Moses D. 2 Liu-Zhang, Chen-Da 2 Lochbihler, Andreas 2 Manulis, Mark 2 Matsuda, Takahiro 2 McIver, Annabelle K. 2 Meinicke, Larissa A. 2 Morgan, Carroll C. 2 Mularczyk, Marta 2 Ohta, Kazuo 2 Pereira, Olivier 2 Ramanathan, Ajith 2 Rausch, Daniel 2 Rito, Guilherme 2 Ruffing, Tim 2 Schuldt, Jacob C. N. 2 Shoup, Victor 2 Slamanig, Daniel 2 Tomescu, Alin 2 Tsay, Joe-Kai 2 Tuengerthal, Max 2 Varia, Mayank 2 Waidner, Michael ...and 289 more Authors all top 5 Cited in 19 Serials 13 Theoretical Computer Science 13 Journal of Cryptology 6 Information and Computation 3 The Journal of Logic and Algebraic Programming 2 Journal of Computer and System Sciences 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 Mathematical Structures in Computer Science 2 Distributed Computing 1 Information Sciences 1 Science of Computer Programming 1 International Journal of Approximate Reasoning 1 Discrete Event Dynamic Systems 1 Designs, Codes and Cryptography 1 Journal of Applied Statistics 1 Logical Methods in Computer Science 1 Journal of Formalized Reasoning 1 Science China. Information Sciences 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 10 Fields 167 Information and communication theory, circuits (94-XX) 91 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 5 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.