Concepedia

Marco Patrignani

MP

Statistics

Publications

19

Citations

533

H-Index

15

Active since

2014

Affiliations

Helmholtz Center for Information Security(Current)

Max Planck Institute for Software Systems

Stanford University

University of Trento

Marco Patrignani is an author at Helmholtz Center for Information Security specializing in computing, computer science, and compilers.

Publications per year

2014–2023

19

Publications

19

Secure Compilation to Protected Module Architectures

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

Computing, Computer Engineering, Computer Science +13

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

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

Computing, Computer Science, Cybersecurity +13

Type-directed scheduling of streaming accelerators

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

Computing, Computer Engineering, Computer Science +17

Fully-abstract compilation by approximate back-translation

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

Computing, Computer Science, Computer Systems +15

Secure Compilation and Hyperproperty Preservation

Marco Patrignani, Deepak Garg · 2017 · 31 citations

Computing, Computer Engineering, Computer Science +13

1–5 of 19