Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly

  • By
by Rodothea-Myrsini Tsoupidi, Musard Baliu, Benoit Baudry
View PDF
Reference:
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly (Rodothea-Myrsini Tsoupidi, Musard Baliu, Benoit Baudry), In Proc. of 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 SecDev},
	pages     = {94--102},
	year      = {2021},
	doi       = {10.1109/SecDev51306.2021.00029},
	url       = {https://arxiv.org/pdf/2109.01386},
	KEYWORDS = {webassembly},
	X-International-Audience = {yes},
	X-Language = {EN},
	x-abbrv = {SECDEV}	}