@INPROCEEDINGS{cgUCL-PP11,
 	AUTHOR={Palmieri, Paolo and Pereira, Olivier},
	TITLE={{Implementing Information-Theoretically Secure Oblivious Transfer from Packet Reordering}},
	BOOKTITLE={14th International Conference on Information Security and Cryptology},
	PUBLISHER={Springer},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	NOTE={(to appear)},
	MONTH={12},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-HDP11,
 	AUTHOR={Haustenne, Laurie and De Neyer, Quentin and Pereira, Olivier},
	TITLE={{Elliptic Curve Cryptography in JavaScript}},
	BOOKTITLE={ECRYPT Workshop on Lightweight Cryptography},
	EDITOR={G. Leander and F.-X. Standaert},
	MONTH={11},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-PP11,
 	AUTHOR={Palmieri, Paolo and Pereira, Olivier},
	TITLE={{Secure Two-Party Computation Over a Z-Channel}},
	BOOKTITLE={ProvSec 2011},
	PUBLISHER={Springer},
	EDITOR={X. Boyen and X. Chen},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	VOLUME={6980},
	PAGES={3-15},
	MONTH={10},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-BCPSW11,
 	AUTHOR={Bernhard, David and Cortier, Veronique and Pereira, Olivier and Smyth, Ben and Warinschi, Bogdan},
	TITLE={{Adapting Helios for provable ballot privacy}},
	BOOKTITLE={Computer Security – ESORICS 2011},
	PUBLISHER={Springer},
	EDITOR={Vijay Atluri, Claudia Diaz},
	SERIES={Lecture Notes in Computer Science},
	MONTH={9},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-BDKPPSY11,
 	AUTHOR={Barak, Boaz and Dodis, Yevgeniy and Krawczyk, Hugo and Pereira, Olivier and Pietrzak, Krzysztof and Standaert, François-Xavier and Yu, Yu},
	TITLE={{Leftover Hash Lemma, Revisited}},
	BOOKTITLE={Advances in Cryptology - CRYPTO 2011},
	PUBLISHER={Springer-Verlag},
	EDITOR={Phillip Rogaway},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	VOLUME={6841},
	PAGES={1-20},
	MONTH={8},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-BGP11,
 	AUTHOR={Bulens, Philippe and Giry, Damien and Pereira, Olivier},
	TITLE={{Running Mixnet-Based Elections with Helios}},
	BOOKTITLE={Electronic Voting Technology Workshop/Workshop on Trustworthy Elections},
	PUBLISHER={Usenix},
	EDITOR={H. Shacham and V. Teague},
	MONTH={8},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-P11,
 	AUTHOR={Pereira, Olivier},
	TITLE={{Leakage-resilient Stream Ciphers: an Overview}},
	BOOKTITLE={2011 Grande Region Security and Reliability Day},
	EDITOR={Ralf Küsters, Michaël Rusinowitch},
	MONTH={3},
	YEAR={2011},
}

@INPROCEEDINGS{cgUCL-CCDP10,
 	AUTHOR={Canard, Sébastien and Coisel, Iwen and de Meulenaer, Giacomo and Pereira, Olivier},
	TITLE={{Group Signatures are Suitable for Constrained Devices}},
	BOOKTITLE={ICISC 2010},
	PUBLISHER={Springer},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	MONTH={12},
	YEAR={2010},
}

@INPROCEEDINGS{cgUCL-MPP10,
 	AUTHOR={Mawet, Sophie and Pereira, Olivier and Petit, Christophe},
	TITLE={{Equitable cake cutting without mediator}},
	BOOKTITLE={5th Benelux Workshop on Information and System Security},
	EDITOR={Svetla Nikova and Lejla Batina},
	MONTH={11},
	YEAR={2010},
}

@INBOOK{cgUCL-SPYQYO10,
 	AUTHOR={Standaert, François-Xavier and Pereira, Olivier and Yu, Yu and Quisquater, Jean-Jacques and Yung, Moti and Oswald, Elisabeth},
	TITLE={{Leakage Resilient Cryptography in Practice}},
	BOOKTITLE={Towards Hardware Intrinsic Security: Foundation and Practice},
	PUBLISHER={Springer},
	PAGES={105-139},
	MONTH={11},
	YEAR={2010},
}

@INPROCEEDINGS{cgUCL-PP10,
 	AUTHOR={Palmieri, Paolo and Pereira, Olivier},
	TITLE={{Building Oblivious Transfer on Channel Delays}},
	BOOKTITLE={6th China International Conference on Information Security and Cryptology (Inscrypt 2010)},
	PUBLISHER={Spinger},
	EDITOR={X. Lai, M. Yung and D. Lin},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	VOLUME={6584},
	PAGES={125-138},
	MONTH={10},
	YEAR={2010},
}

@INPROCEEDINGS{cgUCL-YSPY10,
 	AUTHOR={Yu, Yu and Standaert, François-Xavier and Pereira, Olivier and Yung, Moti},
	TITLE={{Practical leakage-resilient pseudorandom generators}},
	BOOKTITLE={Proceedings of the 17th ACM conference on Computer and communications security},
	PUBLISHER={ACM},
	PAGES={141--151},
	MONTH={10},
	YEAR={2010},
}

@INPROCEEDINGS{cgUCL-DKP09,
 	AUTHOR={Delaune, Stephanie and Kremer, Steve and Pereira, Olivier},
	TITLE={{Simulation based security in the applied pi calculus}},
	BOOKTITLE={Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2009},
	EDITOR={R. Kannan and K. Kumar},
	SERIES={Leibniz International Proceedings in Informatics},
	MONTH={12},
	YEAR={2009},
}

@INPROCEEDINGS{cgUCL-ADPQ09,
 	AUTHOR={Adida, Ben and de Marneffe, Olivier and Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{Electing a University President Using Open-Audit Voting: Analysis of Real-World Use of Helios}},
	BOOKTITLE={Electronic Voting Technology Workshop/Workshop on Trustworthy Elections},
	PUBLISHER={Usenix},
	EDITOR={D. Jefferson, J.L. Hall, T. Moran},
	MONTH={8},
	YEAR={2009},
}

@INPROCEEDINGS{cgUCL-PP09,
 	AUTHOR={Palmieri, Paolo and Pereira, Olivier},
	TITLE={{Building Oblivious Transfer from communication delays}},
	BOOKTITLE={30-th Symposium on Information Theory in the Benelux},
	MONTH={5},
	YEAR={2009},
}

@INPROCEEDINGS{cgUCL-KAKSP08,
 	AUTHOR={Kim, Chong Hee and Avoine, Gildas and Koeune, François and Standaert, François-Xavier and Pereira, Olivier},
	TITLE={{The Swiss-Knife RFID Distance Bounding Protocol}},
	BOOKTITLE={The 11th International Conference on Information Security and Cryptology - ICISC 2008},
	PUBLISHER={Springer-Verlag},
	SERIES={Lecture Notes in Computer Science},
	VOLUME={5461},
	PAGES={98-115},
	MONTH={12},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-GMPSS08,
 	AUTHOR={Gajek, Sebastian and Manulis, Mark and Pereira, Olivier and Sadeghi, Ahmad-Reza and Schwenk, Joerg},
	TITLE={{Universally Composable Security Analysis of TLS}},
	BOOKTITLE={2nd International Conference on Provable Security (ProvSec 2008)},
	PUBLISHER={Springer},
	SERIES={LNCS},
	VOLUME={5324},
	PAGES={313-327},
	MONTH={10},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-DGSP08,
 	AUTHOR={de Meulenaer, Giacomo and Gosset, François and Standaert, François-Xavier and Pereira, Olivier},
	TITLE={{On the Energy Cost of Communications and Cryptography in Wireless Sensor Networks}},
	BOOKTITLE={(extended version), IEEE International Workshop on Security and Privacy in Wireless and Mobile Computing, Networking and Communications (SecPriWiMob'2008)},
	JOURNAL={IEEE International Conference on Wireless & Mobile Computing, Networking & Communication},
	PAGES={580-585},
	MONTH={10},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-CCKLP08,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
	TITLE={{Modeling Computational Security in Long-Lived Systems}},
	BOOKTITLE={CONCUR 2008 - Concurrency Theory},
	PUBLISHER={Springer},
	EDITOR={van Breugel, Franck; Chechik, Marsha},
	SERIES={LNCS},
	VOLUME={5201},
	MONTH={8},
	YEAR={2008},
}

@ARTICLE{cgUCL-AP08,
 	AUTHOR={Adida, Ben and Pereira, Olivier},
	TITLE={{Proceedings of WOTE 2008 -- IAVoSS Workshop On Trustworthy Elections }},
	MONTH={7},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-PSPMY08,
 	AUTHOR={Petit, Christophe and Standaert, François-Xavier and Pereira, Olivier and Malkin, Tal G. and Yung, Moti},
	TITLE={{A Block Cipher based Pseudo Random Number Generator Secure Against Side-Channel Key Recovery}},
	BOOKTITLE={ASIACCS '08: Proceedings of the 2008 ACM symposium on Information, computer and communications security},
	PUBLISHER={ACM},
	EDITOR={M. Abe and V. Gligor},
	PAGES={56--65},
	MONTH={3},
	YEAR={2008},
}

@ARTICLE{cgUCL-PLLKCSC08,
 	AUTHOR={Pereira, Olivier and Lynch, Nancy and Liskov, Moses and Kaynar, Dilsun and Cheung, Ling and Segala, Roberto and Canetti, Ran},
	TITLE={{Analyzing Security Protocols Using Time-Bounded Task-PIOAs}},
	PUBLISHER={Springer},
	EDITOR={Xi-Ren Cao},
	JOURNAL={Discrete Event Dynamic Systems},
	VOLUME={18},
	PAGES={111-159},
	MONTH={3},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-DPQ07,
 	AUTHOR={de Marneffe, Olivier and Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{Simulation-Based Analysis of E2E Voting Systems}},
	BOOKTITLE={Proceedings of the First Conference on E-Voting and Identity (VOTE-ID 2007)},
	PUBLISHER={Springer},
	EDITOR={A. Alkassar and M. Volkamer},
	SERIES={Lecture Notes in Computer Science},
	VOLUME={4896},
	PAGES={137-149},
	MONTH={11},
	YEAR={2007},
}

@INPROCEEDINGS{cgUCL-CCKLP07,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
	TITLE={{Compositional Security for Task-PIOAs}},
	BOOKTITLE={Proceedings of the 20th IEEE Computer Security Foundations Symposium},
	PUBLISHER={IEEE Computer Society Press},
	EDITOR={A. Sabelfeld},
	PAGES={125-139},
	MONTH={7},
	YEAR={2007},
}

@INPROCEEDINGS{cgUCL-AP07,
 	AUTHOR={Araragi, Tadashi and Pereira, Olivier},
	TITLE={{Automatic Verification of Simulatability in Security Protocols}},
	BOOKTITLE={Workshop on Formal and Computational Cryptography - FCC 2007},
	EDITOR={M. Backes and Y. Lakhnech},
	NOTE={To appear},
	MONTH={7},
	YEAR={2007},
}

@INPROCEEDINGS{cgUCL-CCLP07,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Lynch, Nancy and Pereira, Olivier},
	TITLE={{On the Role of Scheduling in Simulation-Based Security}},
	BOOKTITLE={Proceedings of the 7th International Workshop on Issues in the Theory of Security (WITS 2007)},
	EDITOR={R. Focardi},
	PAGES={22--37},
	MONTH={3},
	YEAR={2007},
}

@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Time-bounded Task-PIOAs: A Framework for Analyzing Security Protocols}},
	BOOKTITLE={20th International Symposium on Distributed Computing (DISC 2006)},
	PUBLISHER={Springer},
	EDITOR={S. Dolev},
	SERIES={LNCS},
	VOLUME={4167},
	PAGES={238--253},
	NOTE={Invited paper},
	MONTH={9},
	YEAR={2006},
}

@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Formal and computational analysis of cryptographic protocols based on task-PIOAs}},
	BOOKTITLE={2006 Workshop on Cryptography and Related Mathematics},
	EDITOR={Tsutomu Sekiguchi},
	JOURNAL={Chuo University, Tokyo, Japan},
	PAGES={151--158},
	MONTH={8},
	YEAR={2006},
}

@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Task-Structured Probabilistic I/O Automata}},
	BOOKTITLE={Proceedings the 8th International Workshop on Discrete Event Systems (WODES'06)},
	PUBLISHER={IEEE},
	PAGES={207-214},
	MONTH={7},
	YEAR={2006},
}

@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols}},
	BOOKTITLE={Workshop on Formal and Computational Cryptography - FCC 2006},
	EDITOR={V. Cortier, S. Kremer},
	PAGES={34--39},
	MONTH={7},
	YEAR={2006},
}

@ARTICLE{cgUCL-PQ06,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{On the Impossibility of Building Secure Cliques-type Authenticated Group Key Agreement Protocols}},
	PUBLISHER={IOS Press},
	EDITOR={R. Focardi},
	JOURNAL={Journal of Computer Security},
	VOLUME={14},
	PAGES={197-246},
	MONTH={5},
	YEAR={2006},
}

@ARTICLE{cgUCL-CKCLLPS05,
 	AUTHOR={Canetti, Ran and Kaynar, Dilsun and Cheung, Ling and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols.}},
	BOOKTITLE={Special: Security and Trust Management},
	JOURNAL={ERCIM News},
	PAGES={40--41},
	MONTH={10},
	YEAR={2005},
}

@INPROCEEDINGS{cgUCL-PQ04,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols}},
	BOOKTITLE={Proceedings of the 17-th IEEE Computer Security Foundations Workshop -- CSFW-17},
	PUBLISHER={IEEE Computer Society Press},
	PAGES={16-29},
	MONTH={6},
	YEAR={2004},
}

@CGREPORT{cgUCL-PQ03,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{An attack against Barua et al. authenticated group key agreement protocol}},
	MONTH={10},
	YEAR={2003},
}

@ARTICLE{cgUCL-PQ03,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{Some attacks upon authenticated group key agreement protocols}},
	PUBLISHER={IOSPress},
	JOURNAL={Journal of Computer Security},
	VOLUME={11},
	PAGES={555-580},
	MONTH={9},
	YEAR={2003},
}

@INPROCEEDINGS{cgUCL-BCPPQ02,
 	AUTHOR={Bresson, Emmanuel and Chevassut, Olivier and Pereira, Olivier and Pointcheval, David and Quisquater, Jean-Jacques},
	TITLE={{Two Formal Views of Authenticated Group Diffie-Hellman Key Exchange}},
	BOOKTITLE={DIMACS Workshop on Cryptographic Protocols in Complex Environments},
	MONTH={5},
	YEAR={2002},
}

@ARTICLE{cgUCL-PW01,
 	AUTHOR={Pereira, Olivier and Wolsey, Laurence},
	TITLE={{On the Wagner-Whitin lot-sizing polyhedron}},
	JOURNAL={Mathematics of Operations Research},
	VOLUME={26},
	PAGES={591-600},
	MONTH={8},
	YEAR={2001},
}

@INPROCEEDINGS{cgUCL-PQ01,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{A Security Analysis of the Cliques Protocols Suites}},
	BOOKTITLE={Proceedings of the 14th IEEE Computer Security Foundations Workshop},
	PUBLISHER={IEEE Computer Society Press},
	PAGES={73-81},
	MONTH={6},
	YEAR={2001},
}

@INPROCEEDINGS{cgUCL-PQ01,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{Security Analysis of the Cliques Protocols Suites: 1st Results}},
	BOOKTITLE={Proceedings of IFIP Sec'01},
	PUBLISHER={Kluwer Publishers},
	PAGES={151-166},
	MONTH={6},
	YEAR={2001},
}

@INPROCEEDINGS{cgUCL-PQ00,
 	AUTHOR={Pereira, Olivier and Quisquater, Jean-Jacques},
	TITLE={{On the Perfect Encryption Assumption}},
	BOOKTITLE={Proceedings of the Workshop on Issues in the Theory of Security (WITS 2000)},
	EDITOR={P. Degano},
	PAGES={42-45},
	MONTH={7},
	YEAR={2000},
}