@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
2
2
1
4
georgio retweeted
JP Aumasson
@veorqOct 11
may AI break the scam that is the academic publishing industry
49
184
16
2,754
42,704
"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,086
266
20,592
848,535
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
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
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
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
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
I have dreamt of this for almost 3 decades
touch@touchLebanonFeb 19
Wherever Lebanon takes you, we’ve got you covered. Your connection will now automatically switch to ensure you stay covered with calls and data across the vital roads and remote areas of the North. All you have to do is ensure "Data Roaming" is turned on in your mobile settings.
1
282
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
Load more