Folgen
Marco Vassena
Marco Vassena
Utrecht University
Bestätigte E-Mail-Adresse bei uu.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
682021
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
292018
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
272019
On formalizing information-flow control libraries
M Vassena, A Russo
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
182016
Securing concurrent lazy programs against information leakage
M Vassena, J Breitner, A Russo
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 37-52, 2017
122017
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
112016
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
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
52023
Memory safety preservation for webassembly
M Vassena, M Patrignani
arXiv preprint arXiv:1910.09586, 2019
42019
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
2*2020
Securing asynchronous exceptions
CT Cortiñas, M Vassena, A Russo
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 214-229, 2020
22020
Securing Concurrent Lazy Programs
M Vassena, J Breitner, A Russo
Security Principles and Trust Hotspot 2017, 2017
12017
A Turning Point for Verified Spectre Sandboxing
S Cauligi, M Guarnieri, D Moghimi, D Stefan, M Vassena
arXiv preprint arXiv:2208.01548, 2022
2022
Robust Constant-Time Cryptography
M Kolosick, BA Shivakumar, S Cauligi, M Patrignani, M Vassena, R Jhala, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15