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.

J\'er\'emy Thibault — most-cited papers & profile · Cybersecurity

← authors · overview

J\'er\'emy Thibault

5 papers · 0 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
2025
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
Trace-Relating Compiler Correctness and Secure Compilation
2019
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
2021
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
2024

Top co-authors

Roberto Blanco · 4 Catalin Hritcu · 3 Adrien Durier · 2 and Catalin Hritcu · 2 Andrew Tolmach · 2 Arthur Azevedo de Amorim · 2 Carmine Abate · 2 Deepak Garg · 2 A\"ina Linn Georges · 1 Akram El-Korashy · 1 Ana Nora Evans · 1 Benjamin C. Pierce · 1

Topics

cs.PL cs.CR Uncategorized