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} }