Research team @Inria @Inria_Paris. We focus on building and verifying programs that use cryptography. Fediverse: scicomm.xyz/@ProseccoInria
Joined August 2015
- Tweets 44
- Following 37
- Followers 302
- Likes 6
Photos and videos
Prosecco at Inria Paris retweeted
12 Oct 2023
At SEMIC2023#🎇, @DMerigoux, starting researcher at @ProseccoINRIA, will join the session on #DigitalReadyPolicymaking and law as a code!
Make sure you save your spot quickly to be live with him and us in #Madrid!
👉semic2023.eu
5
7
1,407
Prosecco at Inria Paris retweeted
14 Sep 2023
🏆 #Distinction | Et félicitations à Théophile Wallez (doctorant au sein de l’équipe @ProseccoInria), co-lauréat de l'Internet Defense Prize '23 @USENIXSecurity pour son article “TreeSync: Authenticated group management for messaging layer security” 🙌
👉 usenix.org/conference/usenix…
Bravo aux co-auteurs du papier "Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses" 👏 Mention spéciale à Steve Kremer & @LuccaHirschi, chercheurs @Inria de l'équipe #Pesto @labo_Loria & Vincent Cheval, Charlie Jacomme d'@inria_paris !
1
6
687
Prosecco at Inria Paris retweeted
20 Oct 2023
For the curious minds, the long version of the paper presents the formalism in details (without the loops, which are later work): arxiv.org/abs/2206.07185
3
8
769
Prosecco at Inria Paris retweeted
20 Oct 2023
I was very happy to give a talk at Galois to present the latest progress on Aeneas, our framework to verify Rust programs. On the menu: latest features, future extensions, ongoing verification effort, and most of all demo of the Lean backend!
galois.com/blog/2023/10/aene…
1
4
22
3,063
Prosecco at Inria Paris retweeted
9 Aug 2023
I am glad to announce that my very first paper received the Internet Defense Prize at @USENIXSecurity !
usenix.org/blog/usenix-annou…
20 Dec 2022
My first paper is out! eprint.iacr.org/2022/1732
It is analyzing the authenticity properties of MLS.
More explanations below. 🧵
2
10
60
15,813
9 Jun 2023
Follow @twallez and his blog post series about his work at Prosecco around MLS!
9 Jun 2023
I am starting a blog post series on MLS!
In the first post, I answer the question: "What is MLS?"
Following posts will then describe how MLS is designed, and why it is designed that way.
twal.org/blog/0001_what_is_m…
1
1
220
Prosecco at Inria Paris retweeted
17 Apr 2023
ICFP Programming Contest 2023 will be held between 7th to 9th of July, 2023. Contest chair is Aymeric Fromherz, and I will be acting as the co-chair. Follow @icfpcontest2023 and icfpcontest2023.github.io for announcements.
2
26
28
22,325
Prosecco at Inria Paris retweeted
27 Feb 2023
I am excited that the Summer School on Real-World Crypto and Privacy in Croatia will have a full-day tutorial on CryptoVerif this year 👩💻 given by Charlie Jacomme and myself 😊 Registration is open, apply for stipends until March 1st! ⏩ summerschool-croatia.cs.ru.n…
1
2
16
2,056
Prosecco at Inria Paris retweeted
22 Dec 2022
I'm honored to receive the Gilles Kahn award of best French computer science PhD dissertation of the year by @SocInfoFr !
Full text: tel.archives-ouvertes.fr/tel…
🎅🎄 As a Christmas present, here's an exclusive section that almost made it into the final text! blog.merigoux.ovh/en/2022/12…
6
13
77
13,072
Prosecco at Inria Paris retweeted
Le lauréat Denis Merigoux (@DMerigoux), pour sa thèse :
« Proof-Oriented Domain-Specific Language Design for High-Assurance Software »
Thèse préparée à l’@ENS_ParisSaclay et @inria_paris (@ProseccoINRIA), en partenariat avec @MSFTResearch.
2
7
19
1,658
20 Dec 2022
Check out the work of one of our exceptional PhD students, working on the safety of the next-gen group chat cryptographic protocol!
20 Dec 2022
My first paper is out! eprint.iacr.org/2022/1732
It is analyzing the authenticity properties of MLS.
More explanations below. 🧵
2
5
674
Prosecco at Inria Paris retweeted
20 Dec 2022
My first paper is out! eprint.iacr.org/2022/1732
It is analyzing the authenticity properties of MLS.
More explanations below. 🧵
2
10
30
17,586
Prosecco at Inria Paris retweeted
29 Nov 2022
Pour un bureau de transformation du droit en code par @DMerigoux @Inria lemonde.fr/blog/binaire/2022…
8
13
Prosecco at Inria Paris retweeted
29 Sep 2022
And that is why you want to go for MLS, the protocol that’s getting everyone excited with formal security proofs and all
28 Sep 2022
Fuck it. I give up. I believe in formal methods now. Show me proofs for everything. I was wrong, the proof nerds were right.
1
2
19
Prosecco at Inria Paris retweeted
1 Sep 2022
The Programming Languages and the Law workshop is coming again January 15th in Boston along with #POPL23!
📜 Call for submissions: popl23.sigplan.org/home/prol…
⏱️ Deadline: Thursday, Oct. 27th AoE
✍️ 2-pages short talk proposals or 5-pages extended abstract
🎙️ No proceedings!
2
10
23
Prosecco at Inria Paris retweeted
12 Jul 2022
We do have proofs that the low-level implementation that extracts to C confirms to its spec which itself is secure e.g. in the Dolev-Yao model. We used that architecture for the verified noise protocol compiler (S&P’22).
1
1
2
Prosecco at Inria Paris retweeted
24 May 2022
How can PL techniques help scale up the verification of crypto primitives and protocols? My new blog post explores this question looking back at five years of meta-programming HACL*, EverCrypt, HACLxN, Noise*, and more: jonathan.protzenko.fr/2022/0…
6
18
Prosecco at Inria Paris retweeted
23 May 2022
Very excited for my student @Kachoc_ to present our joint work (with Karthik and Abhishek) on a verified protocol compiler for Noise* at @IEEESSP -- verify once, get 59 protocol stacks for free, each with state machine and high-level API! computer.org/csdl/proceeding… details in 🧵...
1
4
20
Prosecco at Inria Paris retweeted
14 Jun 2022
[Job au 1er sept.][OCaml][Service public][Noisy-le-Grand][Impôts]
Vous aimez la programmation fonctionnelle et les compilateurs ? Vous en avez marre des offres d'emploi dans la blockchain ?
Ça tombe bien, j'ai ce qu'il vous faut ! 🧵⬇️ pour les infos et RT pour diffuser large !
2
38
31