Olivier Pereira - Publications


Journal Papers:
Olivier Pereira and Jean-Jacques Quisquater. On the Impossibility of Building Secure Cliques-type Authenticated Group Key Agreement Protocols. In Journal of Computer Security 14(2):197-246, May 2006. [pdf] [ps] (Invited Paper -- Full version of CSFW-17 paper)
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira and Roberto Segala. Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols. In ERCIM News 63:40-41, October 2005. [html] [pdf]
Olivier Pereira and Jean-Jacques Quisquater. Some attacks upon authenticated group key agreement protocols. In Journal of Computer Security 11(4):555-580, Sep 2003. [ps] (Invited Paper -- Full version of CSFW-14 paper)
Olivier Pereira and Laurence A. Wolsey. On the Wagner-Whitin lot-sizing polyhedron. In Mathematics of Operations Research, 26(3):591-600, Aug 2001. Also in CORE Discussion Papers 2000, No 23. [pdf]  [ps]
Conference Papers:
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, Olivier Pereira. Compositional Security for Task-PIOAs. In Proceedings of the 20-th IEEE Computer Security Foundations Symposium, pp. -, IEEE Computer Society Press, July 2007. (To appear.) [pdf]
Tadashi Araragi, Olivier Pereira. Automatic Verification of Simulatability in Security Protocols. In Proceedings of the Workshop on Formal and Computational Cryptography FCC 2007, July 2007. (To appear.)
Ran Canetti, Ling Cheung, Nancy Lynch, Olivier Pereira. On the Role of Scheduling in Simulation-Based Security. In Proceedings of the 7th International Workshop on Issues in the Theory of Security (WITS 2007), pp. 22-37, March 2007. [pdf]
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Time-bounded Task-PIOAs: A Framework for Analyzing Security Protocols. In Proceedings the 20th International Symposium on Distributed Computing (DISC 2006), pp. 238--253, LNCS Vol. 4167, Springer, September 2006. [pdf]
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Task-Structured Probabilistic I/O Automata. In Proceedings the 8th International Workshop on Discrete Event Systems (WODES'06), pp. 207-214, IEEE, July 2006. [pdf]
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols. In Proceedings of the Workshop on Formal and Computational Cryptography - FCC 2006, pp. 34-39, July 2006. [pdf][slides]
Olivier Pereira and Jean-Jacques Quisquater. Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols. In Proceedings of the 17-th IEEE Computer Security Foundations Workshop, pp. 16-29, IEEE Computer Society Press, June 2004. [pdf] [ps] [slides]
Olivier Pereira and Jean-Jacques Quisquater. A Security Analysis of the Cliques Protocols Suites. In Proceedings of the 14-th IEEE Computer Security Foundations Workshop, pp. 73-81, IEEE Computer Society Press, June 2001. [pdf] [ps] [slides]
Olivier Pereira and Jean-Jacques Quisquater. Security Analysis of the Cliques Protocols Suites: 1st Results. In Proceedings of IFIP Sec'01, pp. 151-166, Kluwer Publishers, June 2001. (An extended version of this paper has been presented at CSFW-14)
Olivier Pereira and Jean-Jacques Quisquater. On the Perfect Encryption Assumption. In Proceedings of the Workshop on Issues in the Theory of Security (WITS 2000), pp. 42-45. Geneva, Switzerland, July 2000. [pdf] [ps] [slides]
Technical Reports:
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. In MIT CSAIL Technical Reports - MIT-CSAIL-TR-2006-047, Jun. 2006. This report is a revision of MIT-CSAIL-TR-2006-019, Mar. 2006. [pdf]
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Task-Structured Probabilistic I/O Automata. In MIT CSAIL Technical Reports - MIT-CSAIL-TR-2006-023, Mar. 2006. [pdf]
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. In Cryptology ePrint Archive, Report 2005/452. Also in MIT CSAIL Technical Reports - MIT-CSAIL-2006-046. This report is a revision of MIT LCS Technical Reports - MIT-LCS-TR-1001a, Dec. 2005 and MIT-LCS-TR-1001, Aug 2005. [html] [pdf] [ps].
Olivier Pereira and Jean-Jacques Quisquater. An attack against Barua et al. authenticated group key agreement protocol. in Technical Reports of the UCL Crypto Group - CG-2003-3, Oct 2003. [pdf] [ps]
PhD Thesis:
Olivier Pereira. Modelling and Security Analysis of Authenticated Group Key Agreement Protocols. PhD Thesis, Université catholique de Louvain, May 2003. [pdf]
Some Talks:
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Probabilistic I/O Automata: A promising framework for the analysis of security protocols? . In CIS Seminars, Cryptography and Information Security Group, CSAIL, MIT, Sept. 2005. Also at MITRE, Oct. 2005. [slides]
Olivier Pereira. Dolev-Yao-type Abstraction of Modular Exponentiation - the Cliques Case Study . In CIS Seminars, Cryptography and Information Security Group, CSAIL, MIT, June 2004. [slides]
Olivier Pereira and Jean-Jacques Quisquater. Dolev-Yao-type Abstraction of Modular Exponentiation - the Cliques Case Study. In DIMACS Workshop on Security Analysis of Protocols, June 2004. [slides]
Emmanuel Bresson, Olivier Chevassut, Olivier Pereira, David Pointcheval, and Jean-Jacques Quisquater. Two Formal Views of Authenticated Group Diffie-Hellman Key Exchange. In DIMACS Workshop on Cryptographic Protocols in Complex Environments, May 2002. [Slides]
Analyse et Vérification de Protocoles Cryptographiques.  UCL Crypto Group Seminars, May 1999 (also in CERTI Seminars Series). [http]

Goto : UCL | FSA | ELEC | DICE | CRYPTO GROUP