| 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 | 90 | 2021 |
| 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 | 32 | 2018 |
| 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 | 30 | 2019 |
| 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 | 21 | 2023 |
| On formalizing information-flow control libraries M Vassena, A Russo Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016 | 21 | 2016 |
| Securing concurrent lazy programs against information leakage M Vassena, J Breitner, A Russo 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 37-52, 2017 | 13 | 2017 |
| 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 | 12 | 2016 |
| 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 | 10 | 2019 |
| Generic Diff3 for algebraic datatypes M Vassena Proceedings of the 1st International Workshop on Type-Driven Development, 62-71, 2016 | 9 | 2016 |
| Memory safety preservation for webassembly M Vassena, M Patrignani arXiv preprint arXiv:1910.09586, 2019 | 6 | 2019 |
| Securing asynchronous exceptions CT Cortińas, M Vassena, A Russo 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 214-229, 2020 | 4 | 2020 |
| 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 | 2 | 2023 |
| Securing Concurrent Lazy Programs M Vassena, J Breitner, A Russo Security Principles and Trust Hotspot 2017, 2017 | 1 | 2017 |
| 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 |
| Abhishek Bichhawat, IIT Gandhinagar Adwait Nadkarni, William & Mary Alexander Viand, Intel Amrita Roy Chowdhury, UC San Diego A Lehmann, A Slowinska, A Fass, BA Shivakumar, B Gulmezoglu, ... | | |
| Session details: Invited Talk I M Vassena | | |
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
