Searching for authors named "Olivier Pereira" – sorted by Relevance.
-
Modelling and Security Analysis of Authenticated Group Key Agreement Protocols
- Modelling and Security Analysis of Authenticated Group Key Agreement Protocols Olivier Pereira Thèse
- Cited by 7 (3 self) – Add To MetaCart
-
An Attack against Barua & al. Authenticated . . .
- An Attack Against Barua & al. Authenticated Group Key Agreement Protocol Olivier Pereira, Jean
- Add To MetaCart
-
On the Wagner-Whitin Lot-Sizing Polyhedron
- On the Wagner-Whitin Lot-Sizing Polyhedron Olivier Pereira y Laurence Wolsey z March 24, 2000
- Cited by 1 (1 self) – Add To MetaCart
-
Some Attacks upon Authenticated Group Key Agreement Protocols
- Some Attacks upon Authenticated Group Key Agreement Protocols Olivier Pereira, Jean
- Cited by 11 (3 self) – Add To MetaCart
-
A Security Analysis of the Cliques Protocols Suites
- A Security Analysis of the Cliques Protocols Suites Olivier Pereira*- Jean-Jacques Quisquater UCL
- Cited by 54 (5 self) – Add To MetaCart
-
On the role of scheduling in simulation-based security
- Lynch 2 , and Olivier Pereira 3 1 IBM TJ Watson Research Center 2 Massachusetts Institute of Technology
- Cited by 1 (1 self) – Add To MetaCart
-
Compositional security for Task-PIOAs
- #DAAD19-01- 1-0485. Pereira was supported by the Belgian National Fund for Scientific Research (F
- Cited by 2 (2 self) – Add To MetaCart
-
Modeling Computational Security in Long-Lived Systems ⋆
- Kaynar 3 , Nancy Lynch 2 , and Olivier Pereira 4 1 IBM T. J. Watson Research Center 2 Massachusetts
- Cited by 1 (1 self) – Add To MetaCart
-
Modeling Computational Security in Long-Lived Systems, Version 2
- , Dilsun Kaynar 3 , Nancy Lynch 2 , and Olivier Pereira 4 1 IBM T. J. Watson Research Center 2
- Add To MetaCart
-
R.: Time-bounded task-PIOAs: A framework for analyzing security protocols
- Cheung 2,3 , Dilsun Kaynar 3 , Moses Liskov 4 , Nancy Lynch 3 , Olivier Pereira 5 , and Roberto Segala 6
- Cited by 5 (3 self) – Add To MetaCart

