Publication
Authenticity by Typing for Security Protocols
Publication
Hash Functions: From Merkle-Damgård to Shoup
Publication
Practical Byzantine Fault Tolerance
Publication
Improved Online/Offline Signature Schemes
Publication