@georgionic

Just the tech junkie next door. I like Apples, Cryptography, and Manchester United among other things. ∆

 Leuven, Belgium
georgio.xyz
Joined January 2011
  • Tweets8.9K
  • Following584
  • Followers960
920Media
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
georgio retweeted
JP Aumasson
@veorqOct 11
may AI break the scam that is the academic publishing industry
49
184
16
2,753
42,707
"I love Judaism and I love the Jewish people. AIPAC and Israel are not the same as Judaism The most dangerous thing is expanding antisemitism to include criticism of Israel" - Abdul El-Sayed Michigan Senate Candidate 2026 Absolutely Correct!
479
4,085
266
20,593
848,541
Replying to @badcryptobitch @paulmillr
Just use adguard. I’ve been using it for years
1
43
13/10 defense
Cosic.be@CosicBeJun 29
Great news: Oliver Zajonc's PhD Defense on "Computation on Encrypted Data: In All Shapes and Sizes" is now online: youtu.be/bcxxoqLkvqw

PhD Defense Oliver Zajonc (COSIC) - "Computation on Encrypted Data:...

PhD Defense Oliver Zajonc (COSIC, KU Leuven) - "Computation on Encr...

youtube.com
73
c-word mentioned
48
Replying to @nntaleb
بينفع اذا جارك من دده؟
1
159
georgio retweeted
Cosic.be@CosicBeMay 19
🔐 Join the COSIC Course on Cryptography & Cybersecurity | 22–25 June 2026 (KU Leuven). Learn from experts incl. Bart Preneel, Vincent Rijmen, Mastercard, Google, IBM & more. From PQC to AI, payments & hardware security. Register now: esat.kuleuven.be/cosic/event…
1
5
263
Nominate yourself to help review papers for USENIX Security 2027! sec-rms.com/submit-applicati… (or rms.swag.cispa.de/submit-app… ). Deadline: May 28, 2026. We're looking for both senior and junior people. See Andrei Sabelfeld's LinkedIn post for more info: linkedin.com/feed/update/urn…
1
3
4
1,364
georgio retweeted
Quang Dao@QuangVDaoMay 12
Cryptographic protocols should be formally verified How do we do it in Lean, the fastest-growing proof assistant? Introducing VCVio (github.com/Verified-zkEVM/VC…), a base layer for crypto proofs in Lean Joint work with @dtumad, @alexanderlhicks, James Waters & Nick Hopper 🧵/n

GitHub - Verified-zkEVM/VCVio: A Lean library for machine-checked cryptographic proofs.

A Lean library for machine-checked cryptographic proofs. - Verified-zkEVM/VCVio

github.com
3
38
4
161
9,206
This system is now practical for larger scale elections given enough parallel compute. We can do Ranked-Choice Voting with post-quantum privacy. Our implementation supports up to 34 choices on the ballot. More is possible. Code will be released soon. Next step: deployment.
IACR ePrint Updates@LhreeMay 6
[Revised] Complex Elections via Threshold (Fully) Homomorphic Encryption (Charlotte Bonte and Georgio Nicolas and Nigel P. Smart) ia.cr/2025/1482
1
102
Replying to @ineditrice
Did you see this one coming?
67
georgio retweeted
MIT CSAIL
@MIT_CSAILMay 5
Easily our favorite Met Gala outfit 👏👏👏
Catherine Yeo
@catherinehyeoMay 4
Love seeing Naomi Osaka honor the CLRS Algorithms textbook at this year's Met Gala
11
221
4
3,013
109,666
Replying to @pratiks_crypto @badcryptobitch
What do you mean by dealer interaction in the PQ version of [13]. Is it also just about the complaints?
1
2
149
This is bonkers
Wiz
@wiz_ioApr 28
🚨 BREAKING: Wiz Research discovered Remote Code Execution on GitHub.com with a single git push The flaw in @github allowed unauthorized access to millions of repositories belonging to other users and organizations 🤯
1
134
georgio retweeted
Mike Dodds@miikeApr 23
The main reason to use Lean is everyone uses Lean This argument is annoying to experts, but really any technical fields benefit from a strong default If you need some specific Rocq or Isabelle thing, use that. Otherwise Lean is good enough, just use Lean
Lawrence Paulson@LawrPaulsonApr 23
New on my blog: "Why not use Lean?" lawrencecpaulson.github.io/2…
3
1
47
2,960
rustc abuse
1
53
Replying to @veorq
How can I prove that no AI found the flaw by the deadline?
1
1
487
Replying to @badcryptobitch
dm for a chat
1
37
georgio retweeted
Cosic.be@CosicBeApr 1
With Nigel Smart’s recent #RSAC Math Award, he becomes the 4th COSIC member to receive this recognition over the years - joining Bart Preneel, Joan Daemen and Vincent Rijmen. Proud of COSIC’s long‑standing contributions to cryptography. 🔐 #COSIC #KULeuven #RSAC2026 #RSAC
3
8
402
Replying to @badcryptobitch
TEE massacre. And yes let’s try tomorrow
1
1
36
Load more