We will skip [Dreier et.al.] due to time constraints,
and discuss [Blachet, Abadí, Fournet], Chapter 6 and Rati and Matthias’ experiences with CryptoVerif and ProScript (in this order).
We will skip [Dreier et.al.] due to time constraints,
and discuss [Blachet, Abadí, Fournet], Chapter 6 and Rati and Matthias’ experiences with CryptoVerif and ProScript (in this order).
Impressum ● Data Privacy Policy ● Sitemap ● © 2019 Information Security & Cryptography Group