Concepedia

Marco Patrignani

MP

Statistics

Publications

18

Citations

479

H-Index

14

Active since

2014

Affiliations

KU Leuven(Current)

Helmholtz Center for Information Security

Max Planck Institute for Software Systems

Stanford University

University of Trento

Marco Patrignani is an author at KU Leuven specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisCompilersSystem SoftwareHardware SecurityInformation Security

Publications per year

2014–2023

18

Publications

18

Secure Compilation to Protected Module Architectures

Marco Patrignani, Pieter Agten, Raoul Strackx et al. · ACM Transactions on Programming Languages and Systems · 2015 · 91 citations · Full text

Engineering, Information Security, Compiler Technology +26

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Carmine Abate, Roberto Blanco, Deepak Garg et al. · 2019 · 55 citations · Full text

Type-directed scheduling of streaming accelerators

David Durst, Matthew Feldman, Dillon Huff et al. · 2020 · 45 citations · Full text

Fully-abstract compilation by approximate back-translation

Dominique Devriese, Marco Patrignani, Frank Piessens · 2016 · 44 citations · Full text

Engineering, Compiler Technology, Verification +19

Secure Compilation and Hyperproperty Preservation

Marco Patrignani, Deepak Garg · 2017 · 30 citations

Engineering, Information Security, Compiler Technology +18

1–5 of 18