| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, Stephen C. Williams |
Less is More: Relaxed yet Composable Security Notions for Key Exchange.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | David Bernhard, O. Pereira, Bogdan Warinschi |
On Necessary and Sufficient Conditions for Private Ballot Submission. |
IACR Cryptology ePrint Archive |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi |
Secure Proxy Signature Schemes for Delegation of Signing Rights. |
J. Cryptology |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Catalano, Dario Fiore, Bogdan Warinschi |
Efficient Network Coding Signatures in the Standard Model. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dario Catalano, Dario Fiore, Bogdan Warinschi |
Adaptive Pseudo-Free Groups and Applications. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi |
Anonymous attestation with user-controlled linkability. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Bogdan Warinschi |
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Graham Steel, Bogdan Warinschi |
Security for Key Management Interfaces. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
cryptography, Key management, security APIs |
| 1 | Dario Catalano, Dario Fiore, Bogdan Warinschi |
Adaptive Pseudo-free Groups and Applications. |
EUROCRYPT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Bogdan Warinschi |
A composable computational soundness notion. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams |
Composability of bellare-rogaway key exchange protocols. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi |
Adapting Helios for Provable Ballot Privacy. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Baudet, Bogdan Warinschi, Martín Abadi |
Guessing attacks and the computational soundness of static equivalence. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi |
The Fiat-Shamir Transform for Group and Ring Signature Schemes. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
The TLS Handshake Protocol: A Modular Analysis. |
J. Cryptology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi |
The Fiat-Shamir Transform for Group and Ring Signature Schemes. |
SCN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Bichsel, Jan Camenisch, Gregory Neven, Nigel P. Smart, Bogdan Warinschi |
Get Shorty via Group Signatures without Encryption. |
SCN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi |
Groth-Sahai Proofs Revisited. |
Public Key Cryptography |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi |
Robustness Guarantees for Anonymity. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqun Chen, Bogdan Warinschi |
Security of the TCG Privacy-CA Solution. |
EUC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi |
Foundations of Non-Malleable Hash and One-Way Functions. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nigel P. Smart, Bogdan Warinschi |
Identity Based Group Signatures from Hierarchical Identity-Based Encryption. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
Security Notions and Generic Constructions for Client Puzzles. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi |
Groth-Sahai proofs revisited. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi |
Practical Zero-Knowledge Proofs for Circuit Evaluation. |
IMA Int. Conf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Mazaré, Bogdan Warinschi |
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Warinschi |
Symbolic Methods for Provable Security. |
ProvSec |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi |
Foundations of Non-malleable Hash and One-Way Functions. |
ASIACRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
Security Notions and Generic Constructions for Client Puzzles. |
ASIACRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel P. Smart, Bogdan Warinschi |
Identity Based Group Signatures from Hierarchical Identity-Based Encryption. |
Pairing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pooya Farshim, Bogdan Warinschi |
Certified Encryption Revisited. |
AFRICACRYPT |
2009 |
DBLP DOI BibTeX RDF |
Certified Encryption, Corrupt Decryption, Security Models, Identity-Based Encryption, Certificateless Encryption |
| 1 | Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
A Modular Security Analysis of the TLS Handshake Protocol. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Bogdan Warinschi |
Security analysis of cryptographically controlled access to XML documents. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
XML, Access control, authorization, encryption |
| 1 | Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
A Modular Security Analysis of the TLS Handshake Protocol. |
ASIACRYPT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Ralf Küsters, Bogdan Warinschi |
A Cryptographic Model for Branching Time Security Properties - the Case of Contract Signing Protocols. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi |
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, Bogdan Warinschi |
A Closer Look at PKI: Security and Efficiency. |
Public Key Cryptography |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi |
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. |
CRYPTO |
2007 |
DBLP DOI BibTeX RDF |
Protocol Security, Provable Scurity, Computational Soundness, Diffie-Hellman Assumptions |
| 1 | Véronique Cortier, Ralf Küsters, Bogdan Warinschi |
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu |
Synthesizing Secure Protocols. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi |
Key Exchange Protocols: Security Definition, Proof Method and Applications. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi |
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi |
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi |
Computationally Sound Compositional Logic for Key Exchange Protocols. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Mathieu Baudet, Bogdan Warinschi |
Guessing Attacks and the Computational Soundness of Static Equivalence. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi |
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Warinschi |
A computational analysis of the Needham-Schroeder-(Lowe) protocol. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Bogdan Warinschi |
Password-Based Encryption Analyzed. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bogdan Warinschi |
Security analysis of cryptographically controlled access to XML documents. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Bogdan Warinschi |
Computationally Sound, Automated Proofs for Security Protocols. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Micciancio, Bogdan Warinschi |
Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michel Abdalla, Bogdan Warinschi |
On the Minimal Assumptions of Group Signature Schemes. |
ICICS |
2004 |
DBLP DOI BibTeX RDF |
minimal assumptions, Group signatures, one-way functions, trapdoor permutations |
| 1 | Jan Camenisch, Maciej Koprowski, Bogdan Warinschi |
Efficient Blind Signatures Without Random Oracles. |
SCN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Micciancio, Bogdan Warinschi |
Soundness of Formal Encryption in the Presence of Active Adversaries. |
TCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi |
Secure Proxy Signature Schemes for Delegation of Signing Rights. |
IACR Cryptology ePrint Archive |
2003 |
DBLP BibTeX RDF |
|
| 1 | Bogdan Warinschi |
A Computational Analysis of the Needham-Schröeder-(Lowe) Protocol. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihir Bellare, Daniele Micciancio, Bogdan Warinschi |
Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions. |
EUROCRYPT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Micciancio, Bogdan Warinschi |
A linear space algorithm for computing the herite normal form. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Micciancio, Bogdan Warinschi |
A Linear Space Algorithm for Computing the Hermite Normal Form |
Electronic Colloquium on Computational Complexity (ECCC) |
2000 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")