Seguir
Marco Vassena
Marco Vassena
Dirección de correo verificada de uu.nl - Página principal
Título
Citado por
Citado por
Año
Automatically eliminating speculative leaks from cryptographic code with blade
M Vassena, C Disselkoen, KV Gleissenthall, S Cauligi, RG Kici, R Jhala, ...
Proceedings of the ACM on Programming Languages (POPL), 1-30, 2021
832021
Mac a verified static information-flow control library
M Vassena, A Russo, P Buiras, L Waye
Journal of logical and algebraic methods in programming 95, 148-180, 2018
322018
From fine-to coarse-grained dynamic information flow control and back
M Vassena, A Russo, D Garg, V Rajani, D Stefan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
302019
On formalizing information-flow control libraries
M Vassena, A Russo
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
212016
Mswasm: Soundly enforcing memory-safe execution of unsafe code
AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023
182023
Securing concurrent lazy programs against information leakage
M Vassena, J Breitner, A Russo
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 37-52, 2017
132017
Flexible manipulation of labeled values for information-flow control libraries
M Vassena, P Buiras, L Waye, A Russo
Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016
122016
Foundations for parallel information flow control runtime systems
M Vassena, G Soeller, P Amidon, M Chan, J Renner, D Stefan
International Conference on Principles of Security and Trust, 1-28, 2019
102019
Generic Diff3 for algebraic datatypes
M Vassena
Proceedings of the 1st International Workshop on Type-Driven Development, 62-71, 2016
92016
Memory safety preservation for webassembly
M Vassena, M Patrignani
arXiv preprint arXiv:1910.09586, 2019
62019
Securing asynchronous exceptions
CT Cortiñas, M Vassena, A Russo
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 214-229, 2020
42020
Short Paper: Modular Black-box Runtime Verification of Security Protocols
K Morio, D Jackson, M Vassena, R Künnemann
Proceedings of the 15th Workshop on Programming Languages and Analysis for …, 2020
3*2020
Robust constant-time cryptography
M Kolosick, BA Shivakumar, S Cauligi, M Patrignani, M Vassena, R Jhala, ...
arXiv preprint arXiv:2311.05831, 2023
22023
Securing Concurrent Lazy Programs
M Vassena, J Breitner, A Russo
Security Principles and Trust Hotspot 2017, 2017
12017
From Fine-to Coarse-Grained Dynamic Information Flow Control and Back
M Vassena, A Russo, D Garg, V Rajani, D Stefan
Foundations and Trends® in Programming Languages 8 (1), 1-117, 2023
2023
From Fine-to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
M Vassena, A Russo, D Garg, V Rajani, D Stefan
arXiv preprint arXiv:2208.13560, 2022
2022
A Turning Point for Verified Spectre Sandboxing
S Cauligi, M Guarnieri, D Moghimi, D Stefan, M Vassena
arXiv preprint arXiv:2208.01548, 2022
2022
Exorcising Spectres with Secure Compilers
M Vassena, M Patrignani
CISPA, 2020
2020
Session details: Invited Talk I
M Vassena
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19