Marco Patrignani
Orcid: 0000-0003-3411-9678Affiliations:
- University of Trento, Italy
- CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
- Stanford University, USA
According to our database1,
Marco Patrignani
authored at least 45 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks.
CoRR, 2024
CoRR, 2024
2023
Proc. ACM Program. Lang., January, 2023
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
2022
ACM Trans. Program. Lang. Syst., December, 2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
2021
ACM Trans. Program. Lang. Syst., 2021
ACM Trans. Program. Lang. Syst., 2021
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
CoRR, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Programming Languages and Systems, 2020
2019
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work.
ACM Comput. Surv., 2019
Proceedings of the Programming Languages and Systems, 2019
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
2018
2017
Log. Methods Comput. Sci., 2017
CoRR, 2017
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2015
The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures ; Het boek van veilige compilatie: Volledig abstracte compilatie naar beschermende modulearchitecturen.
PhD thesis, 2015
ACM Trans. Program. Lang. Syst., 2015
Comput. Lang. Syst. Struct., 2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014
2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012
2011
Proceedings of the Formal Techniques for Distributed Systems, 2011