Modesti, P. & Garcia, R.,
19 Sept 2023,
Handbook of Formal Analysis and Verification in Cryptography . Akleylek, S. & Dundua, B. (eds.).
1st ed. CRC Press,
p. 213-274 62 p. (Handbook of Formal Analysis and Verification in Cryptography).
Research output: Chapter in Book/Report/Conference proceeding › Chapter