Geahča maid: Engineering Secure Two-Party Computation Protocols :
- Efficient Secure Two-Party Protocols : Techniques and Constructions /
- Composition of Secure Multi-Party Protocols : A Comprehensive Study /
- Secure Transaction Protocol Analysis : Models and Applications /
- Protocol Engineering /
- Operational Semantics and Verification of Security Protocols /
- Security Protocols : International Workshop Cambridge, United Kingdom April 10-12, 1996 Proceedings /