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 Mon Sep 15 06:08:15 2025 CEST.