Awesome Cybersecurity

Papers Topics Trending Leaderboards Authors Datasets Learn Ask AI Map Tools Reading Packs News

BrowsePapersThe full index, filterable and sortable.TopicsThe same papers grouped by subject tag.TrendingWhat moved this week, and by how much.AuthorsWho publishes here, and who they publish with.MapThe collection laid out by embedding similarity.

CompareLeaderboardsBenchmark tables, with the paper behind each number.DatasetsThe datasets these papers train and evaluate on.ToolsCode and libraries released alongside the papers.

ReadLearnOrdered routes from background reading to current work.Ask AIAsk a question and get answers cited to these papers.VideosThe most-watched talks and lectures in this field.Reading PacksShort curated sets built around one question.

FollowNewsPress and coverage tied back to the papers.BlogsAuthor and lab write-ups of their own work.NewsletterEmail digest of what changed, on a schedule.Research RadarPaste an abstract, get matches across every collection.

YoursSavedPapers you bookmarked in this browser.

← authors · overview

Loading author…

Stay Updated

E-Mail Digest Research Radar

Methodology · Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Marco Patrignani — most-cited papers & profile · Cybersecurity

← authors · overview

Marco Patrignani

8 papers · 0 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

Detecting speculative leaks with compositional semantics
2026
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
2017
Trace-Relating Compiler Correctness and Secure Compilation
2019
Universal Composability is Robust Compilation
2019
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
2020
Contract-Aware Secure Compilation
2020
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
2022
Automatic Detection of Speculative Execution Combinations
2022

Top co-authors

Deepak Garg · 3 Marco Guarnieri · 3 Catalin Hritcu · 2 Xaver Fabian · 2 Adrien Durier · 1 Aidan Denlinger · 1 Akram El-Korashy · 1 Alexandra E. Michael · 1 Andres Sanchez · 1 Anitha Gollamudi · 1 Boris K\"opf · 1 Bryan Parno · 1

Topics

cs.PL cs.CR cs.LO Cryptography