Number of items: 1.
B
Bugliesi, Michele and Calzavara, Stefano and Eigner, Fabienne and Maffei, Matteo
(2011)
Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols.
This list was generated on Fri Apr 3 16:39:46 2026 CEST.