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
Matteo Maffei — most-cited papers & profile · Cybersecurity
← authors
·
overview
Matteo Maffei
13
papers ·
0
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Wanilla: Sound Noninterference Analysis for WebAssembly
2025
A Security Framework for General Blockchain Layer 2 Protocols
2025
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
2017
A Type System for Privacy Properties (Technical Report)
2017
A Semantic Framework for the Security Analysis of Ethereum smart contracts
2018
Language-Based Web Session Integrity
2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
2020
Cross-Layer Deanonymization Methods in the Lightning Protocol
2020
Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries
2020
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web
2020
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
2021
Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin
2021
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
2022
Top co-authors
Markus Scherer
· 3
Mauro Tempesta
· 3
Niklas Grimm
· 3
Pedro Moreno-Sanchez
· 3
Bernhard Haslhofer
· 2
Clara Schneidewind
· 2
Ilya Grishchenko
· 2
Lorenzo Veronese
· 2
Marco Squarcina
· 2
Stefano Calzavara
· 2
Alexander Sj\"osten
· 1
and Clara Schneidewind
· 1
Topics
cs.CR
Cryptography
Network Security
Privacy
LLM Security
Vulnerability Detection
Uncategorized
cs.CY