Skip To Main Content
Gilles Barthe on Muck Rack

Gilles Barthe

Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Gilles

Contact Gilles, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

[2511.11292] The Jasmin Compiler Preserves Cryptographic Security

|
By Gilles Barthe, Lionel Blatter, Vincent Laporte, Paolo Torrini
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (624) Issue with article?

[2501.04183] Transparent Decompilation for Timing Side-Channel Analyses

|
By van der Wall, Gilles Barthe, Santiago Arranz, Lionel Blatter
| arxiv.org
arXiv:2501.04183 (cs) View PDF Subjects: Programming Languages (cs.PL) Cite as: arXiv:2501.04183 [cs.PL] (or arXiv:2501.04183v1 [cs.PL] for this version) https://doi.org/10.48550/arXiv.2501.04183 Submission history From: Zhiyuan Zhang [ view email] [v1] Tue, 7 Jan 2025 23:29:01 UTC (127 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle...
Open in Who Shared View Duplicates (109) Issue with article?

[2407.17127] A quantitative probabilistic relational Hoare logic

|
By Gilles Barthe, Davide Davoli
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (599) Issue with article?
See all 8 articles