2008 |
16 | EE | Christophe Petit,
François-Xavier Standaert,
Olivier Pereira,
Tal Malkin,
Moti Yung:
A block cipher based pseudo random number generator secure against side-channel key recovery.
ASIACCS 2008: 56-65 |
15 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Olivier Pereira:
Modeling Computational Security in Long-Lived Systems.
CONCUR 2008: 114-130 |
14 | EE | Chong Hee Kim,
Gildas Avoine,
François Koeune,
François-Xavier Standaert,
Olivier Pereira:
The Swiss-Knife RFID Distance Bounding Protocol.
ICISC 2008: 98-115 |
13 | EE | Sebastian Gajek,
Mark Manulis,
Olivier Pereira,
Ahmad-Reza Sadeghi,
Jörg Schwenk:
Universally Composable Security Analysis of TLS.
ProvSec 2008: 313-327 |
12 | EE | Giacomo de Meulenaer,
François Gosset,
François-Xavier Standaert,
Olivier Pereira:
On the Energy Cost of Communication and Cryptography in Wireless Sensor Networks.
WiMob 2008: 580-585 |
11 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Moses Liskov,
Nancy A. Lynch,
Olivier Pereira,
Roberto Segala:
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
Discrete Event Dynamic Systems 18(1): 111-159 (2008) |
2007 |
10 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Olivier Pereira:
Compositional Security for Task-PIOAs.
CSF 2007: 125-139 |
9 | EE | Olivier de Marneffe,
Olivier Pereira,
Jean-Jacques Quisquater:
Simulation-based analysis of E2E voting systems.
Frontiers of Electronic Voting 2007 |
8 | EE | Olivier de Marneffe,
Olivier Pereira,
Jean-Jacques Quisquater:
Simulation-Based Analysis of E2E Voting Systems.
VOTE-ID 2007: 137-149 |
2006 |
7 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Moses Liskov,
Nancy A. Lynch,
Olivier Pereira,
Roberto Segala:
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.
DISC 2006: 238-253 |
6 | EE | Olivier Pereira,
Jean-Jacques Quisquater:
On the impossibility of building secure Cliques-type authenticated group key agreement protocols.
Journal of Computer Security 14(2): 197-246 (2006) |
2004 |
5 | EE | Olivier Pereira,
Jean-Jacques Quisquater:
Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols.
CSFW 2004: 16-19 |
2003 |
4 | | Olivier Pereira,
Jean-Jacques Quisquater:
Some Attacks Upon Authenticated Group Key Agreement Protocols.
Journal of Computer Security 11(4): 555-580 (2003) |
2001 |
3 | EE | Olivier Pereira,
Jean-Jacques Quisquater:
A Security Analysis of the Cliques Protocols Suites.
CSFW 2001: 73-81 |
2 | | Olivier Pereira,
Jean-Jacques Quisquater:
Security Analysis of the Cliques Protocols Suites: First Results.
SEC 2001: 151-166 |
1 | EE | Olivier Pereira,
Laurence A. Wolsey:
On the Wagner-Whitin Lot-Sizing Polyhedron.
Math. Oper. Res. 26(3): 591-600 (2001) |