Items where Author is "Vassena, Marco"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Other
Number of items: 5.

Conference or Workshop Item (A Paper)

Vassena, Marco and Disselkoen, Craig and Cauligi, Sunjay and Gleissenthall, Klaus and Kici, Rami Gökhan and Jhala, Ranjit and Stefan, Deian and Tullsen, Dean
(2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade.
In: 48th ACM SIGPLAN Symposium on Principles of Programming Languages.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Morio, Kevin and Jackson, Dennis and Vassena, Marco and Künnemann, Robert
(2020) Modular Black-box Runtime Verification of Security Protocols.
In: PLAS 2020.
Conference: PLAS Workshop on Programming Languages and Analysis for Security

Cortiñas, Carlos Tomé and Vassena, Marco and Russo, Alejandro
(2020) Securing Asynchronous Exceptions.
In: Computer Security Foundations Symposium, Hobuken, NJ.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Other

Vassena, Marco and Patrignani, Marco
(2020) Memory Safety Preservation for WebAssembly.
UNSPECIFIED
.

Vassena, Marco and Patrignani, Marco
(2019) Memory Safety Preservation for WebAssembly.
arxiv
.

This list was generated on Sun Dec 22 01:39:57 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.