Twitter | Pretraživanje | |
Jonathan Protzenko
Formal verification, cryptography, type systems, and stuff
282
Tweetovi
211
Pratim
427
Osobe koje vas prate
Tweetovi
Jonathan Protzenko proslijedio/la je tweet
Laurent Joubert 6 h
Odgovor korisniku/ci @_protz_ @Etalab @dgfip_officiel
Excellent work presented today at by Denis Merigoux. Check under . All this was enabled thanks to the open source code of tax code by
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @shmoocon
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Made it to DC. Couldn't get a ticket to attend the impeachment so I'll stick with instead.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @QueluCochon @yurug
Of course. It's better than nothing. But my hope is that i) such in-house solutions can become more open and ii) either the administration engages with research / PL / etc. or establishes in-house research-aware experts.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @yurug
But jokes aside it's absolutely abominable. They need to execute the whole thing repeatedly to get it to converge.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @yurug
You have no respect for your motherland and its glorious administration. France!
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @_protz_
Denis is wise and is not on Twitter. But I'll be forwarding to him the oh-so-vital "tweet impression statistics" and whatnot.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
Odgovor korisniku/ci @_protz_
The corresponding research article, alas, is only in French: time to brush up your skills and parler français
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 31. sij
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 24. sij
For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler! at
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 22. sij
Thanks to all who attended and contributed thoughts and conversation to HASE 2020 and made it a great workshop! Now on to
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 8. sij
Too many lambdas in your POPL program? Consider registering for HASE ! You'll even get to meet the mythical "practitioner" in a laid-back, interactive setting with an audience-driven agenda...!
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko proslijedio/la je tweet
Nadim Kobeissi 29. pro
Now at , ⁦⁩ and ⁦⁩ talk about EverCrypt and formally verified cryptographic primitives, promoting formally verified crypto as the future for software implementations.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko proslijedio/la je tweet
ShmooCon 19. pro
What to know who will be talking about what? Check out the 2020 list of speakers here:
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 13. pro
Odgovor korisniku/ci @avsm
* start. I had proofread this twice 😭
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 13. pro
New blog post! GitHub strange, or the weird repositories you find when you starting digging into commit data... with a cameo appearance by
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko proslijedio/la je tweet
Boris 10. pro
When someone's bonus or promotion depends on them shipping a "spec" or a feature, it's hard for them to accept feedback that the whole thing is a bad idea and should be dropped.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko proslijedio/la je tweet
Paul Krugman 7. pro
Odgovor korisniku/ci @paulkrugman
Yes, French GDP has grown more slowly than GDP here. Much of that is slower population growth. And you do need to ask, growth for whom. Most French live *better* than their US counterparts 2/
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko 27. stu
Congratulations ! Thrilled to see verified cryptography finally landing in the Linux kernel. It's been a long road, but hopefully follow-ups will be easier.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Protzenko proslijedio/la je tweet
Edge Security 27. stu
Now that Frankenzinc has landed, v1 of the WireGuard patchset has been submitted upstream to Linux:
Reply Retweet Označi sa "sviđa mi se"