Publications

2 results at CSF 2007

Key-dependent message security under active attacks - BRSIM/UC-soundness of symbolic encryption with key cycles -
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2007
- CSF 2007
Compositional security for task-PIOAs
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2007
- CSF 2007