Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly

by Rodothea-Myrsini Tsoupidi, Musard Baliu, Benoit Baudry
Reference:
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly (Rodothea-Myrsini Tsoupidi, Musard Baliu, Benoit Baudry), In Proc. of the Secure Development Conference (SecDev), 2021.
Bibtex Entry:
@inproceedings{Tsoupidi21,
	author    = {Rodothea{-}Myrsini Tsoupidi and
	Musard Baliu and
	Benoit Baudry},
	title     = {Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly},
	booktitle = {Proc. of the Secure Development Conference (SecDev)},
	pages     = {},
	year      = {2021},
	doi       = {},
	url       = {},
	KEYWORDS = {webassembly},
	X-International-Audience = {yes},
	X-Language = {EN},
	x-abbrv = {SECDEV}	}