46 citations · 130 across the 17 of their papers we have counts for
3 papers · 1 filter
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
Rodothea Myrsini Tsoupidi, Musard Balliu, Benoit Baudry
This paper explores the use of relational symbolic execution to counter timing side channels in WebAssembly programs. We design and implement Vivienne, an open-source tool to autom…
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks
Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry
Modern software deployment process produces software that is uniform, and hence vulnerable to large-scale code-reuse attacks. Compiler-based diversification improves the resilience…
Browser Fingerprinting: A survey
Pierre Laperdrix, Nataliia Bielova, Benoit Baudry +1
With this paper, we survey the research performed in the domain of browser fingerprinting, while providing an accessible entry point to newcomers in the field. We explain how this…