• What's new
• Archive
• Best Papers
• Videos
• Authors
• Coauthors
• By year
• By conference
• All Committees
• Most Committees
• Report errors
• Maps
• About

Bogdan Warinschi  Search web for home page

Program Committees

Publications

	year	title	booktitle	pages
1	2012	Efficient Network Coding Signatures in the Standard Model	pkc	680-696
2	2012	How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios	asiacrypt	626-643
3	2011	Adaptive Pseudo-Free Groups and Applications	eurocrypt	207
4	2010	Groth-Sahai Proofs Revisited	pkc	177-192
5	2010	The TLS Handshake Protocol: A Modular Analysis	jofc	187-223
6	2010	The Fiat--Shamir Transform for Group and Ring Signature Schemes	eprint	online
7	2009	Foundations of Non-Malleable Hash and One-Way Functions	eprint	online
8	2009	Foundations of Non-malleable Hash and One-Way Functions	asiacrypt	524-541
9	2009	Security Notions and Generic Constructions for Client Puzzles	asiacrypt	505-523
10	2008	A Modular Security Analysis of the TLS Handshake Protocol	asiacrypt	55-73
11	2008	A Modular Security Analysis of the TLS Handshake Protocol	eprint	online
12	2007	A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness	crypto	482-499
13	2007	A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols	eprint	online
14	2007	A Closer Look at PKI: Security and Efficiency	pkc	458-475
15	2006	Key Exchange Protocols: Security Definition, Proof Method and Applications	eprint	online
16	2006	Computationally Sound Symbolic Secrecy in the Presence of Hash Functions	eprint	online
17	2004	Soundness of Formal Encryption in the Presence of Active Adversaries	tcc	133-151
18	2003	Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions	eurocrypt	614-629
19	2003	Secure Proxy Signature Schemes for Delegation of Signing Rights	eprint	online