Publications

Home
Publications

1 result for Ante Derek

Compositional analysis of contract signing protocols
- - Michael Backes
  - Anupam Datta
  - et al.
- 2005
- CSF 2005
Conference paper

Date

Start

End

Featured collections

Popular topics