Marco Patrignani
- Artificial Intelligence top 5%
- Signal Processing top 5%
- Hardware and Architecture top 5%
- Computer Networks and Communications top 10%
- Computational Theory and Mathematics
- Co-authors
- Dave ClarkeFrank PiessensDominique DevrieseDeepak GargAmal AhmedRaoul StrackxPieter AgtenBart Jacobs
- Topics
- Security and Verification in Computing (22 papers)Logic, programming, and type systems (14 papers)Advanced Malware Detection Techniques (13 papers)
- Journals
- SHILAP Revista de lepidopterologíaACM Computing SurveysACM SIGPLAN Notices
- Partner nations
- BelgiumGermanyUnited States
In The Last Decade
Marco Patrignani
27 papers receiving 275 citations
Peers
Comparison fields: 5 of 23
- Artificial Intelligence 236
- Signal Processing 142
- Hardware and Architecture 95
- Computer Networks and Communications 62
- Computational Theory and Mathematics 34
Countries citing papers authored by Marco Patrignani
This map shows the geographic impact of Marco Patrignani's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Marco Patrignani with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marco Patrignani more than expected).
Fields of papers citing papers by Marco Patrignani
This network shows the impact of papers produced by Marco Patrignani. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Marco Patrignani. The network helps show where Marco Patrignani may publish in the future.
Co-authorship network of co-authors of Marco Patrignani
This figure shows the co-authorship network connecting the top 25 collaborators of Marco Patrignani. A scholar is included among the top collaborators of Marco Patrignani based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Marco Patrignani. Marco Patrignani is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 13 | |
| 2 | 1 | |
| 3 | 10 | |
| 4 | 6 | |
| 5 | 8 | |
| 6 | 34 | |
| 7 | 31 | |
| 8 | Exploring Robust Property Preservation for Secure Compilation. | 1 |
| 9 | 11 | |
| 10 | 11 | |
| 11 | 3 | |
| 12 | 5 | |
| 13 | A Formal Model for Capability Machines An Illustrative Case Study towards Secure Compilation to CHERI | 1 |
| 14 | The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures | 3 |
| 15 | 9 | |
| 16 | Multi-module fully abstract compilation (extended abstract) | 2 |
| 17 | Fully-abstract compilation by approximate back-translation: Technical appendix | 1 |
| 18 | 6 | |
| 19 | Fully abstract trace semantics for low-level isolation mechanisms — Extended version | 0 |
| 20 | 3 |
About Marco Patrignani
Marco Patrignani is a scholar working on Signal Processing, Hardware and Architecture and Artificial Intelligence, having authored 29 papers that have together received 281 indexed citations. Recurring topics across this work include Security and Verification in Computing (22 papers), Logic, programming, and type systems (14 papers) and Advanced Malware Detection Techniques (13 papers). The work is most often cited by research in Hardware and Architecture (95 citations), Signal Processing (142 citations) and Artificial Intelligence (236 citations). Marco Patrignani has collaborated with scholars based in Belgium, Germany and United States. Frequent co-authors include Dave Clarke, Frank Piessens, Dominique Devriese, Deepak Garg, Amal Ahmed, Raoul Strackx, Pieter Agten, Bart Jacobs, Ross Daly and Gilbert Bernstein. Their work appears in journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and ACM SIGPLAN Notices.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.