×

zbMATH — the first resource for mathematics

Warinschi, Bogdan

Compute Distance To:
Author ID: warinschi.bogdan Recent zbMATH articles by "Warinschi, Bogdan"
Published as: Warinschi, Bogdan; Warinschi, B.; Warinschi, Bodgan
Documents Indexed: 43 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 256 times in 198 Documents Cited by Year
Foundations of group signatures: Formal definitions, simplified requirements, and a construction based on general assumptions. Zbl 1038.94552
Bellare, Mihir; Micciancio, Daniele; Warinschi, Bogdan
42
2003
Secure proxy signature schemes for delegation of signing rights. Zbl 1272.94016
Boldyreva, Alexandra; Palacio, Adriana; Warinschi, Bogdan
27
2012
Soundness of formal encryption in the presence of active adversaries. Zbl 1197.94198
Micciancio, Daniele; Warinschi, Bogdan
18
2004
Adaptive pseudo-free groups and applications. Zbl 1281.94018
Catalano, Dario; Fiore, Dario; Warinschi, Bogdan
11
2011
Efficient network coding signatures in the standard model. Zbl 1291.94182
Catalano, Dario; Fiore, Dario; Warinschi, Bogdan
11
2012
A linear space algorithm for computing the Hermite normal form. Zbl 1356.68288
Micciancio, Daniele; Warinschi, Bogdan
11
2001
Homomorphic signatures with efficient verification for polynomial functions. Zbl 1345.94049
Catalano, Dario; Fiore, Dario; Warinschi, Bogdan
10
2014
How not to prove yourself: pitfalls of the fiat-shamir heuristic and applications to helios. Zbl 1292.94029
Bernhard, David; Pereira, Olivier; Warinschi, Bogdan
10
2012
A survey of symbolic methods in computational analysis of cryptographic systems. Zbl 1213.94093
Cortier, Véronique; Kremer, Steve; Warinschi, Bogdan
9
2011
Guessing attacks and the computational soundness of static equivalence. Zbl 1180.94044
Abadi, Martín; Baudet, Mathieu; Warinschi, Bogdan
9
2006
Selective opening security for receivers. Zbl 1396.94082
Hazay, Carmit; Patra, Arpita; Warinschi, Bogdan
9
2015
Computationally sound, automated proofs for security protocols. Zbl 1108.68454
Cortier, Véronique; Warinschi, Bogdan
8
2005
A modular security analysis of the TLS handshake protocol. Zbl 1206.94082
Morrissey, P.; Smart, N. P.; Warinschi, B.
8
2008
Hash function requirements for Schnorr signatures. Zbl 1165.94323
Neven, Gregory; Smart, Nigel P.; Warinschi, Bogdan
8
2009
Efficient blind signatures without random oracles. Zbl 1116.94311
Camenisch, Jan; Koprowski, Maciej; Warinschi, Bodgan
7
2005
Security notions and generic constructions for client puzzles. Zbl 1267.94050
Chen, Liqun; Morrissey, Paul; Smart, Nigel P.; Warinschi, Bogdan
6
2009
Foundations of non-malleable hash and one-way functions. Zbl 1267.94042
Boldyreva, Alexandra; Cash, David; Fischlin, Marc; Warinschi, Bogdan
6
2009
A generalization of DDH with applications to protocol analysis and computational soundness. Zbl 1215.94033
Bresson, Emmanuel; Lakhnech, Yassine; Mazaré, Laurent; Warinschi, Bogdan
5
2007
The TLS handshake protocol: A modular analysis. Zbl 1181.94103
Morrissey, P.; Smart, N. P.; Warinschi, B.
5
2010
Groth-Sahai proofs revisited. Zbl 1279.94076
Ghadafi, Essam; Smart, Nigel P.; Warinschi, Bogdan
5
2010
Computationally sound symbolic secrecy in the presence of hash functions. Zbl 1177.94142
Cortier, Véronique; Kremer, Steve; Küsters, Ralf; Warinschi, Bogdan
5
2006
A closer look at PKI: security and efficiency. Zbl 1127.94011
Boldyreva, Alexandra; Fischlin, Marc; Palacio, Adriana; Warinschi, Bogdan
4
2007
On the hardness of proving CCA-security of Signed ElGamal. Zbl 1388.94033
Bernhard, David; Fischlin, Marc; Warinschi, Bogdan
3
2016
Password-based encryption analyzed. Zbl 1084.94509
Abadi, Martín; Warinschi, Bogdan
3
2005
On the minimal assumptions of group signature schemes. Zbl 1109.68438
Abdalla, Michel; Warinschi, Bogdan
3
2004
Get shorty via group signatures without encryption. Zbl 1291.94179
Bichsel, Patrik; Camenisch, Jan; Neven, Gregory; Smart, Nigel P.; Warinschi, Bogdan
3
2010
Security analysis of cryptographically controlled access to XML documents. Zbl 1311.94103
Abadi, Martín; Warinschi, Bogdan
3
2008
Adaptive proofs of knowledge in the random oracle model. Zbl 1345.94042
Bernhard, David; Fischlin, Marc; Warinschi, Bogdan
2
2015
Explicit randomness is not necessary when modeling probabilistic encryption. Zbl 1277.94021
Cortier, Véronique; Hördegen, Heinrich; Warinschi, Bogdan
1
2007
Provably-secure remote memory attestation for heap overflow protection. Zbl 1400.94123
Boldyreva, Alexandra; Kim, Taesoo; Lipton, Richard; Warinschi, Bogdan
1
2016
Cryptographic puzzles and DoS resilience, revisited. Zbl 1355.94058
Groza, Bogdan; Warinschi, Bogdan
1
2014
Identity based group signatures from hierarchical identity-based encryption. Zbl 1248.94112
Smart, Nigel P.; Warinschi, Bogdan
1
2009
Practical zero-knowledge proofs for circuit evaluation. Zbl 1234.94042
Ghadafi, Essam; Smart, Nigel P.; Warinschi, Bogdan
1
2009
On the hardness of proving CCA-security of Signed ElGamal. Zbl 1388.94033
Bernhard, David; Fischlin, Marc; Warinschi, Bogdan
3
2016
Provably-secure remote memory attestation for heap overflow protection. Zbl 1400.94123
Boldyreva, Alexandra; Kim, Taesoo; Lipton, Richard; Warinschi, Bogdan
1
2016
Selective opening security for receivers. Zbl 1396.94082
Hazay, Carmit; Patra, Arpita; Warinschi, Bogdan
9
2015
Adaptive proofs of knowledge in the random oracle model. Zbl 1345.94042
Bernhard, David; Fischlin, Marc; Warinschi, Bogdan
2
2015
Homomorphic signatures with efficient verification for polynomial functions. Zbl 1345.94049
Catalano, Dario; Fiore, Dario; Warinschi, Bogdan
10
2014
Cryptographic puzzles and DoS resilience, revisited. Zbl 1355.94058
Groza, Bogdan; Warinschi, Bogdan
1
2014
Secure proxy signature schemes for delegation of signing rights. Zbl 1272.94016
Boldyreva, Alexandra; Palacio, Adriana; Warinschi, Bogdan
27
2012
Efficient network coding signatures in the standard model. Zbl 1291.94182
Catalano, Dario; Fiore, Dario; Warinschi, Bogdan
11
2012
How not to prove yourself: pitfalls of the fiat-shamir heuristic and applications to helios. Zbl 1292.94029
Bernhard, David; Pereira, Olivier; Warinschi, Bogdan
10
2012
Adaptive pseudo-free groups and applications. Zbl 1281.94018
Catalano, Dario; Fiore, Dario; Warinschi, Bogdan
11
2011
A survey of symbolic methods in computational analysis of cryptographic systems. Zbl 1213.94093
Cortier, Véronique; Kremer, Steve; Warinschi, Bogdan
9
2011
The TLS handshake protocol: A modular analysis. Zbl 1181.94103
Morrissey, P.; Smart, N. P.; Warinschi, B.
5
2010
Groth-Sahai proofs revisited. Zbl 1279.94076
Ghadafi, Essam; Smart, Nigel P.; Warinschi, Bogdan
5
2010
Get shorty via group signatures without encryption. Zbl 1291.94179
Bichsel, Patrik; Camenisch, Jan; Neven, Gregory; Smart, Nigel P.; Warinschi, Bogdan
3
2010
Hash function requirements for Schnorr signatures. Zbl 1165.94323
Neven, Gregory; Smart, Nigel P.; Warinschi, Bogdan
8
2009
Security notions and generic constructions for client puzzles. Zbl 1267.94050
Chen, Liqun; Morrissey, Paul; Smart, Nigel P.; Warinschi, Bogdan
6
2009
Foundations of non-malleable hash and one-way functions. Zbl 1267.94042
Boldyreva, Alexandra; Cash, David; Fischlin, Marc; Warinschi, Bogdan
6
2009
Identity based group signatures from hierarchical identity-based encryption. Zbl 1248.94112
Smart, Nigel P.; Warinschi, Bogdan
1
2009
Practical zero-knowledge proofs for circuit evaluation. Zbl 1234.94042
Ghadafi, Essam; Smart, Nigel P.; Warinschi, Bogdan
1
2009
A modular security analysis of the TLS handshake protocol. Zbl 1206.94082
Morrissey, P.; Smart, N. P.; Warinschi, B.
8
2008
Security analysis of cryptographically controlled access to XML documents. Zbl 1311.94103
Abadi, Martín; Warinschi, Bogdan
3
2008
A generalization of DDH with applications to protocol analysis and computational soundness. Zbl 1215.94033
Bresson, Emmanuel; Lakhnech, Yassine; Mazaré, Laurent; Warinschi, Bogdan
5
2007
A closer look at PKI: security and efficiency. Zbl 1127.94011
Boldyreva, Alexandra; Fischlin, Marc; Palacio, Adriana; Warinschi, Bogdan
4
2007
Explicit randomness is not necessary when modeling probabilistic encryption. Zbl 1277.94021
Cortier, Véronique; Hördegen, Heinrich; Warinschi, Bogdan
1
2007
Guessing attacks and the computational soundness of static equivalence. Zbl 1180.94044
Abadi, Martín; Baudet, Mathieu; Warinschi, Bogdan
9
2006
Computationally sound symbolic secrecy in the presence of hash functions. Zbl 1177.94142
Cortier, Véronique; Kremer, Steve; Küsters, Ralf; Warinschi, Bogdan
5
2006
Computationally sound, automated proofs for security protocols. Zbl 1108.68454
Cortier, Véronique; Warinschi, Bogdan
8
2005
Efficient blind signatures without random oracles. Zbl 1116.94311
Camenisch, Jan; Koprowski, Maciej; Warinschi, Bodgan
7
2005
Password-based encryption analyzed. Zbl 1084.94509
Abadi, Martín; Warinschi, Bogdan
3
2005
Soundness of formal encryption in the presence of active adversaries. Zbl 1197.94198
Micciancio, Daniele; Warinschi, Bogdan
18
2004
On the minimal assumptions of group signature schemes. Zbl 1109.68438
Abdalla, Michel; Warinschi, Bogdan
3
2004
Foundations of group signatures: Formal definitions, simplified requirements, and a construction based on general assumptions. Zbl 1038.94552
Bellare, Mihir; Micciancio, Daniele; Warinschi, Bogdan
42
2003
A linear space algorithm for computing the Hermite normal form. Zbl 1356.68288
Micciancio, Daniele; Warinschi, Bogdan
11
2001
all top 5

Cited by 406 Authors

9 Warinschi, Bogdan
7 Fiore, Dario
6 Libert, Benoît
5 Catalano, Dario
5 Cortier, Véronique
5 Delaune, Stéphanie
5 Fuchsbauer, Georg
5 Hanaoka, Goichiro
5 Susilo, Willy
4 Abe, Masayuki
4 Nguyen, Khoa
4 Stebila, Douglas
4 Venturi, Daniele
4 Waters, Brent
3 Au, Man Ho
3 Backes, Michael
3 Boyd, Colin A.
3 Camenisch, Jan L.
3 Canetti, Ran
3 Chatterjee, Sanjit
3 Chen, Wenbin
3 Ghadafi, Essam M.
3 Groth, Jens
3 Jager, Tibor
3 Jia, Dingding
3 Kremer, Steve
3 Ling, San
3 Meadows, Catherine A.
3 Mittelbach, Arno
3 Mu, Yi
3 Nizzardo, Luca
3 Ohkubo, Miyako
3 Pereira, Olivier
3 Pointcheval, David
3 Schröder, Dominique
3 Smyth, Ben
3 Wang, Huaxiong
3 Yu, Yong
3 Yung, Moti
2 Alamélou, Quentin
2 Andreeva, Elena Anatol’evna
2 Anokhin, Mikhail
2 Baudet, Mathieu
2 Biagioni, Silvio
2 Blazy, Olivier
2 Boldyreva, Alexandra
2 Bootle, Jonathan
2 Cao, Zhenfu
2 Cauchie, Stéphane
2 Cerulli, Andrea
2 Chaidos, Pyrros
2 Chase, Melissa
2 Dowling, Benjamin
2 Emura, Keita
2 Farshim, Pooya
2 Fischlin, Marc
2 Gaborit, Philippe
2 Garcia, Flavio D.
2 González Nieto, Juan Manuel
2 Groza, Bogdan
2 Hanser, Christian
2 Herzog, Jonathan C.
2 Hofheinz, Dennis
2 Hu, Xiaoming
2 Hu, Yupu
2 Huang, Zhengan
2 Kamath, Chethan
2 Kang, Bo Gyeong
2 Kiayias, Aggelos
2 Kiltz, Eike
2 Kohlweiss, Markulf
2 Kunihiro, Noboru
2 Kuppusamy, Lakshmi
2 Lai, Junzuo
2 Lakhnech, Yassine
2 Lehmann, Anja
2 Li, Bao
2 Li, Jin
2 Lu, Steve
2 Lu, Xianhui
2 Masny, Daniel
2 Matsuda, Takahiro
2 Mennink, Bart
2 Miyaji, Atsuko
2 Mouhartem, Fabrice
2 Omote, Kazumasa
2 Ostrovsky, Rafail
2 Park, Je Hong
2 Peikert, Chris
2 Rangasamy, Jothi
2 Sadeghi, Ahmad-Reza
2 Sahai, Amit
2 Schäge, Sven
2 Schwenk, Jorg
2 Shacham, Hovav
2 Slamanig, Daniel
2 Smart, Nigel P.
2 Stam, Martijn
2 Tanaka, Keisuke
2 Unruh, Dominique
...and 306 more Authors

Citations by Year