Olivier Pereira - Publications
|
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] | ||