Security and Privacy of Protocols and Software with Formal Methods.

Fabrizio Biondi, Axel Legay

Browse the full ISoLA paper archive.