Search
International Association for Cryptologic Research
What's new
Archive
Best Papers
Videos
Authors
Coauthors
By year
By conference
All Committees
Most Committees
Report errors
Maps
About
Olivier Pereira
Search web for home page
Program Committees
1
2012
CHES
pc
Publications
year
title
booktitle
pages
1
2011
Leftover Hash Lemma, Revisited
crypto
1
2
2008
Universally Composable Security Analysis of TLS---Secure Sessions with Handshake and Record Layer Protocols
eprint
online
3
2008
Modeling Computational Security in Long-Lived Systems, Version 2
eprint
online
4
2007
A Block Cipher based PRNG Secure Against Side-Channel Key Recovery
eprint
online
5
2007
On the Role of Scheduling in Simulation-Based Security
eprint
online
6
2007
How to Model Bounded Computation in Long-Lived Systems
eprint
online
7
2007
Verifying Statistical Zero Knowledge with Approximate Implementations
eprint
online
8
2005
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
eprint
online
Coauthors of Olivier Pereira
Boaz Barak
Ran Canetti
Ling Cheung
Yevgeniy Dodis
Sebastian Gajek
Dilsun Kaynar
Hugo Krawczyk
Moses Liskov
Nancy Lynch
Tal Malkin
Mark Manulis
Sayan Mitra
Christophe Petit
Krzysztof Pietrzak
Ahmad-Reza Sadeghi
Jörg Schwenk
Roberto Segala
François-Xavier Standaert
Yu Yu
Moti Yung