Crazzolara, Federico
-
BRICS Report Series No. 18 (2000): RS-18 Language, Semantics, and Methods for Cryptographic Protocols - Articles
Language, Semantics, and Methods for Cryptographic Protocols
Abstract PDF -
BRICS Report Series No. 5 (2002): RS-5 Composing Strand Spaces - Articles
Composing Strand Spaces
Abstract PDF -
BRICS Report Series No. 13 (2001): RS-13 Events in Security Protocols - Articles
Events in Security Protocols
Abstract PDF -
BRICS Report Series No. 10 (2003): RS-10 Wireless Authentication in chi-Spaces - Articles
Wireless Authentication in chi-Spaces
Abstract PDF
