Awesome Cybersecurity
Papers
Topics
Trending
Leaderboards
Authors
Datasets
Learn
Ask AI
Map
Tools
Reading Packs
News
All sections
Browse
Papers
The full index, filterable and sortable.
Topics
The same papers grouped by subject tag.
Trending
What moved this week, and by how much.
Authors
Who publishes here, and who they publish with.
Map
The collection laid out by embedding similarity.
Compare
Leaderboards
Benchmark tables, with the paper behind each number.
Datasets
The datasets these papers train and evaluate on.
Tools
Code and libraries released alongside the papers.
Read
Learn
Ordered routes from background reading to current work.
Ask AI
Ask a question and get answers cited to these papers.
Videos
The most-watched talks and lectures in this field.
Reading Packs
Short curated sets built around one question.
Follow
News
Press and coverage tied back to the papers.
Blogs
Author and lab write-ups of their own work.
Newsletter
Email digest of what changed, on a schedule.
Research Radar
Paste an abstract, get matches across every collection.
Yours
Saved
Papers you bookmarked in this browser.
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
Ask AI
Marco Guarnieri — most-cited papers & profile · Cybersecurity
← authors
·
overview
Marco Guarnieri
16
papers ·
0
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Alignment Contracts for Agentic Security Systems
2026
PrefixWall: Mitigating Prefix Caching Side Channels in Shared LLM Systems
2026
Detecting speculative leaks with compositional semantics
2026
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
2025
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
2025
SPECTECTOR: Principled Detection of Speculative Information Flows
2018
Hardware-Software Contracts for Secure Speculation
2020
Contract-Aware Secure Compilation
2020
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
2022
A Turning Point for Verified Spectre Sandboxing
2022
Automatic Detection of Speculative Execution Combinations
2022
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
2023
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
2023
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
2024
Testing side-channel security of cryptographic implementations against future microarchitectures
2024
Top co-authors
Jan Reineke
· 6
Boris K\"opf
· 4
Gideon Mohr
· 3
Marco Patrignani
· 3
Klaus von Gleissenthall
· 2
Mark Silberstein
· 2
Oleksii Oleksenko
· 2
Sunjay Cauligi
· 2
Xaver Fabian
· 2
Zilong Wang
· 2
Alaa R. Alameldeen
· 1
Andr\'es S\'anchez
· 1
Topics
cs.CR
cs.PL
Vulnerability Detection
Threat Intelligence
cs.LO
cs.DC
cs.LG
cs.AR
Privacy