×
Compute Distance To:
Author ID: backes.michael Recent zbMATH articles by "Backes, Michael"
Published as: Backes, Michael; Backes, M.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 133 times in 102 Documents Cited by Year
A general composition theorem for secure reactive systems. Zbl 1197.94173
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
19
2004
A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Zbl 1205.94073
Backes, Michael; Pfitzmann, Birgit
11
2003
Public-key steganography with active attacks. Zbl 1079.94530
Backes, Michael; Cachin, Christian
10
2005
Cryptographically sound and machine-assisted verification of security protocols. Zbl 1035.68509
Backes, Michael; Jacobi, Christian
9
2003
The reactive simulatability (RSIM) framework for asynchronous systems. Zbl 1132.68025
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
9
2007
A formal language for cryptographic pseudocode. Zbl 1182.94035
Backes, Michael; Berg, Matthias; Unruh, Dominique
8
2008
Symmetric authentication within a simulatable cryptographic library. Zbl 1482.94039
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
7
2003
OAEP is secure under key-dependent messages. Zbl 1206.94050
Backes, Michael; Dürmuth, Markus; Unruh, Dominique
7
2008
Ring signatures: logarithmic-size, no setup – from standard assumptions. Zbl 07162731
Backes, Michael; Döttling, Nico; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas
5
2019
Computational verifiable secret sharing revisited. Zbl 1227.94071
Backes, Michael; Kate, Aniket; Patra, Arpita
5
2011
How to break and repair a universally composable signature functionality. Zbl 1109.68441
Backes, Michael; Hofheinz, Dennis
5
2004
Deriving cryptographically sound implementations using composition and formally verified bisimulation. Zbl 1064.68547
Backes, Michael; Jacobi, Christian; Pfitzmann, Birgit
4
2002
Reactively secure signature schemes. Zbl 1185.94076
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
3
2003
Asynchronous computational VSS with reduced communication complexity. Zbl 1312.94109
Backes, Michael; Datta, Amit; Kate, Aniket
3
2013
Compositional analysis of contract-signing protocols. Zbl 1153.94447
Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, Mathieu
3
2006
Signatures with flexible public key: introducing equivalence classes for public keys. Zbl 1446.94096
Backes, Michael; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas
3
2018
Limits of constructive security proofs. Zbl 1206.94051
Backes, Michael; Unruh, Dominique
2
2008
Asynchronous MPC with a strict honest majority using non-equivocation. Zbl 1321.68039
Backes, Michael; Bendun, Fabian; Choudhury, Ashish; Kate, Aniket
2
2014
Proactive secure message transmission in asynchronous networks. Zbl 1321.68040
Backes, Michael; Cachin, Christian; Strobl, Reto
2
2003
On simulatability soundness and mapping soundness of symbolic cryptography. Zbl 1135.94325
Backes, Michael; Dürmuth, Markus; Küsters, Ralf
2
2007
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
2
2019
Computational probabilistic non-interference. Zbl 1482.68065
Backes, Michael; Pfitzmann, Birgit
1
2002
Formally bounding the side-channel leakage in unknown-message attacks. Zbl 1481.94084
Backes, Michael; Köpf, Boris
1
2008
Secrecy without perfect randomness: cryptography with (bounded) weak sources. Zbl 1423.94047
Backes, Michael; Kate, Aniket; Meiser, Sebastian; Ruffing, Tim
1
2015
Delegatable functional signatures. Zbl 1388.94088
Backes, Michael; Meiser, Sebastian; Schröder, Dominique
1
2016
Union and intersection types for secure protocol implementations. Zbl 1378.94020
Backes, Michael; Hriţcu, Cătălin; Maffei, Matteo
1
2012
Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037
Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca
1
2006
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
Justifying a Dolev-Yao model under active attacks. Zbl 1168.68377
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
1
2005
BackRef: accountability in anonymous communication networks. Zbl 1407.68142
Backes, Michael; Clark, Jeremy; Kate, Aniket; Simeonovski, Milivoj; Druschel, Peter
1
2014
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 07162731
Backes, Michael; Döttling, Nico; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas
5
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
2
2019
Signatures with flexible public key: introducing equivalence classes for public keys. Zbl 1446.94096
Backes, Michael; Hanzlik, Lucjan; Kluczniak, Kamil; Schneider, Jonas
3
2018
Delegatable functional signatures. Zbl 1388.94088
Backes, Michael; Meiser, Sebastian; Schröder, Dominique
1
2016
Secrecy without perfect randomness: cryptography with (bounded) weak sources. Zbl 1423.94047
Backes, Michael; Kate, Aniket; Meiser, Sebastian; Ruffing, Tim
1
2015
Asynchronous MPC with a strict honest majority using non-equivocation. Zbl 1321.68039
Backes, Michael; Bendun, Fabian; Choudhury, Ashish; Kate, Aniket
2
2014
BackRef: accountability in anonymous communication networks. Zbl 1407.68142
Backes, Michael; Clark, Jeremy; Kate, Aniket; Simeonovski, Milivoj; Druschel, Peter
1
2014
Asynchronous computational VSS with reduced communication complexity. Zbl 1312.94109
Backes, Michael; Datta, Amit; Kate, Aniket
3
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
Computational verifiable secret sharing revisited. Zbl 1227.94071
Backes, Michael; Kate, Aniket; Patra, Arpita
5
2011
A formal language for cryptographic pseudocode. Zbl 1182.94035
Backes, Michael; Berg, Matthias; Unruh, Dominique
8
2008
OAEP is secure under key-dependent messages. Zbl 1206.94050
Backes, Michael; Dürmuth, Markus; Unruh, Dominique
7
2008
Limits of constructive security proofs. Zbl 1206.94051
Backes, Michael; Unruh, Dominique
2
2008
Formally bounding the side-channel leakage in unknown-message attacks. Zbl 1481.94084
Backes, Michael; Köpf, Boris
1
2008
The reactive simulatability (RSIM) framework for asynchronous systems. Zbl 1132.68025
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
9
2007
On simulatability soundness and mapping soundness of symbolic cryptography. Zbl 1135.94325
Backes, Michael; Dürmuth, Markus; Küsters, Ralf
2
2007
On the necessity of rewinding in secure multiparty computation. Zbl 1129.94011
Backes, Michael; Müller-Quade, Jörn; Unruh, Dominique
1
2007
Compositional analysis of contract-signing protocols. Zbl 1153.94447
Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, Mathieu
3
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
10
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
19
2004
How to break and repair a universally composable signature functionality. Zbl 1109.68441
Backes, Michael; Hofheinz, Dennis
5
2004
Low-level ideal signatures and general integrity idealization. Zbl 1109.68442
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
1
2004
A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Zbl 1205.94073
Backes, Michael; Pfitzmann, Birgit
11
2003
Cryptographically sound and machine-assisted verification of security protocols. Zbl 1035.68509
Backes, Michael; Jacobi, Christian
9
2003
Symmetric authentication within a simulatable cryptographic library. Zbl 1482.94039
Backes, Michael; Pfitzmann, Birgit; Waidner, Michael
7
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
2
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
4
2002
Computational probabilistic non-interference. Zbl 1482.68065
Backes, Michael; Pfitzmann, Birgit
1
2002
all top 5

Cited by 217 Authors

13 Backes, Michael
6 Unruh, Dominique
5 Hofheinz, Dennis
5 Küsters, Ralf
5 Liśkiewicz, Maciej
4 Müller-Quade, Jörn
4 Nowak, David E.
4 Pfitzmann, Birgit
4 Scedrov, Andre
3 Basin, David A.
3 Camenisch, Jan L.
3 Canetti, Ran
3 Datta, Anupam
3 Hanaoka, Goichiro
3 Mitchell, John C.
3 Reischuk, Rüdiger
3 Wölfel, Ulrich
3 Zhang, Yu
2 Berndt, Sebastian
2 Cheung, Ling
2 Choudhary, Ashish
2 Cremers, Cas J. F.
2 Dürmuth, Markus
2 ElDefrawy, Karim
2 Emura, Keita
2 Fournet, Cédric
2 Herzog, Jonathan C.
2 Kaynar, Dilsun Kırlı
2 Kremer, Steve
2 Lochbihler, Andreas
2 Lynch, Nancy Ann
2 Maurer, Ueli M.
2 Meadows, Catherine A.
2 Ohta, Kazuo
2 Ostrovsky, Rafail
2 Patra, Arpita
2 Ramanathan, Ajith
2 Rausch, Daniel
2 Sakai, Yusuke
2 Schuldt, Jacob C. N.
2 Segala, Roberto
2 Shoup, Victor
2 Tanaka, Keisuke
2 Tuengerthal, Max
2 Varia, Mayank
2 Waidner, Michael
2 Yung, Moti
1 Abraham, Ittai
1 Adão, Pedro
1 Affeldt, Reynald
1 Ahn, Gail-Joon
1 AlHaddad, Nicolas
1 Alwen, Joël
1 Andova, Suzana
1 Applebaum, Benny
1 Aranha, Diego F.
1 Au, Man Ho
1 Ayala-Rincón, Mauricio
1 Badertscher, Christian
1 Bana, Gergei
1 Barbosa, Manuel
1 Barthe, Gilles
1 Bennedsen, Emil Madsen
1 Bhargavan, Karthikeyan
1 Böhme, Rainer
1 Boreale, Michele
1 Bossuat, Angèle
1 Brzuska, Chris
1 Buchmann, Johannes A.
1 Bultel, Xavier
1 Caleiro, Carlos
1 Campanelli, Matteo
1 Cervesato, Iliano
1 Chadha, Rohit
1 Chandran, Nishanth
1 Chatterjee, Rohit
1 Chattopadhyay, Asis Kumar
1 Chattopadhyay, Tanuka
1 Chen, Yulong
1 Connolly, Aisling
1 Cortier, Véronique
1 David, Bernardo Machado
1 De Caro, Angelo
1 de Morais Alves, Vinícius
1 Dedić, Nenad
1 Degano, Pierpaolo
1 Delignat-Lavaud, Antoine
1 Demirel, Denise
1 Deng, Yi
1 Derek, Ante
1 Desmedt, Yvo G.
1 Ding, Zhimin
1 Dolev, Danny
1 Dolev, Shlomi
1 Dubovitskaya, Maria
1 Enderlein, Robert R.
1 Esgin, Muhammed F.
1 Farshim, Pooya
1 Florian, Martin
1 Ganesh, Chaya
...and 117 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.