Publications

4 results for Olivier Pereira

Modeling Computational Security in Long-Lived Systems, Version 2
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2008
- Dagstuhl Seminar Proceedings 2008
Analyzing security protocols using time-bounded task-PIOAs
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2008
- Discrete Event Dynamic Systems: Theory and Applications
Compositional security for task-PIOAs
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2007
- CSF 2007
Task-structured probabilistic I/O automata
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2006
- WODES 2006