@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
georgio retweeted
JP Aumasson
@veorqOct 11
may AI break the scam that is the academic publishing industry
49
184
16
2,753
42,710
"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,591
848,545
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
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,014
109,666
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
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
Having to check on your friends as they get stuck in unmoving traffic while rushing to flee an ‘evacuation’ order for half the city in utter chaos at the sheer middle of the day amid a raging regional war has got to be a work of fiction.
4
13
919
I heard an interesting anecdote about TEEs from some fintech people. They were trying to convince regulators that TEEs aren’t just “computers under their control”, so they asked cloud providers to certify that they’d never hand over the keys. Providers could not do this.
6
19
2
143
22,926
georgio retweeted
Freddie@soduimdioxydeFeb 17
ثم تنهد و قال:
15
26
3
107
8,572
Great reporting in Wired of our @Cosicbe research on Google Fast Pair whisperpair.eu
Andy Greenberg (@agreenberg at the other places)
@a_greenbergJan 15
Tired: Google Fast Pair one-tap Bluetooth connections Wired: wired
2
8
629
Your earbuds are supposed to pair only when you tell them to. Our research shows that, for many Fast Pair devices, this assumption is wrong. We demonstrate silent hijacking, microphone access, and covert tracking at scale, without even touching your device. #WhisperPair 1/n
1
6
15
1,829
Hundreds of millions of earbuds, headphones and speakers need a security update (yes, patch your earbuds) to prevent a wireless hacking technique that can hijack audio, eavesdrop via mics, and in some cases remotely track the accessory’s location. wired.com/story/google-fast-…

Hundreds of Millions of Audio Devices Need a Patch to Prevent Wireless Hacking and Tracking

Flaws in how 17 models of headphones and speakers use Google’s one-tap Fast Pair Bluetooth protocol have left devices open to eavesdroppers and stalkers.

wired.com
1
136
5
42
13,645
American TV is fucking wild.
Readers added context they thought people might want to know
While this did happen on CNN, it was during their live coverage of the Russian invasion of Ukraine. youtu.be/D6QUsx68DCA?si…
975
4,748
688
64,492
3,862,661
If you replace each letter in “bomb” with the next letter in the alphabet, you’ll get “cpnc.” This is called a substitution cipher. Recently, scientists showed that this method can bypass filters on LLMs like Gemini, DeepSeek and Grok. quantamagazine.org/cryptogra…

Cryptographers Show That AI Protections Will Always Have Holes | Quanta Magazine

Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument shows that systems like this can never be completely safe.

quantamagazine.org
7
33
5
192
21,582
georgio retweeted
Ounka
@OunkaOnX4 Dec 2025
The real reason Spain is trying to exclude Israel from Eurovision: (Image correction)
Eylon Levy
@EylonALevy4 Dec 2025
The real reason Spain is trying to exclude Israel from Eurovision:
346
27,579
110
256,409
6,188,360
Lean is the only program verifier you need. Here’s why. 🧵
5
23
2
149
23,432
georgio retweeted
Cosic.be@CosicBe19 Nov 2025
We’re incredibly proud of Prof. Vincent Rijmen, whose pioneering work with Joan Daemen led to #Rijndael, now honoured with an #IEEE Milestone as the foundation of the global #AES standard. A landmark moment for KU Leuven and for secure communication worldwide. @KU_Leuven
1
5
27
1,028
📢New paper alert: 📄Batched and Packed (Publicly) Verifiable Secret Sharing: A Unified Framework and Applications 👉ia.cr/2025/2018 🔍joint work with: @Shahla_Atapoor, @georgionic, R. Pedersen, @JannikSpiessens 🏛️@CosicBe, @DTUtweet #VSS #SecretShairng #Batched
1
3
3
374
Load more