Affine Spi

Below you can find the long version of the paper "Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols" (submitted to the 24th IEEE Computer Security Foundations Symposium by Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei).

Downloads