2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CR2020
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Marco Vassena, Craig Disselkoen, Klaus V. Gleissenthall +5
We introduce BLADE, a new approach to automatically and efficiently eliminate speculative leaks from cryptographic code. BLADE is built on the insight that to stop leaks via specul…
cs.PL2019★ 2 cited
Memory Safety Preservation for WebAssembly
Marco Vassena, Marco Patrignani
WebAssembly (Wasm) is a next-generation portable compilation target for deploying applications written in high-level languages on the web. In order to protect their memory from unt…