Rodothea-Myrsini Tsoupidi, Musard Balliu, Benoit Baudry. Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly. In IEEE Secure Development Conference, SecDev 2021, Atlanta, GA, USA, October 18-20, 2021. pages 94-102, IEEE, 2021. [doi]
Abstract is missing.