georgio

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

[georgio @georgionic]

@nntaleb بينفع اذا جارك من دده؟

[Cosic.be @CosicBe]

🔐 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: https://t.co/m7aBd3H9op

[Mathy Vanhoef @vanhoefm]

Nominate yourself to help review papers for USENIX Security 2027! https://t.co/gXhXyAnRuH (or https://t.co/TPDnV0w3VO ). Deadline: May 28, 2026.

We're looking for both senior and junior people. See Andrei Sabelfeld's LinkedIn post for more info: https://t.co/yjYZPfzP18

[Quang Dao @QuangVDao]

Cryptographic protocols should be formally verified

How do we do it in Lean, the fastest-growing proof assistant?

Introducing VCVio (https://t.co/j51Xh0vVU3), a base layer for crypto proofs in Lean

Joint work with @dtumad, @alexanderlhicks, James Waters & Nick Hopper

🧵/n

[georgio @georgionic]

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 @Lhree]

[Revised] Complex Elections via Threshold (Fully) Homomorphic Encryption (Charlotte Bonte and Georgio Nicolas and Nigel P. Smart) https://t.co/zM2IUFzOQS

[georgio @georgionic]

@ineditrice Did you see this one coming?

[MIT CSAIL @MIT_CSAIL]

Easily our favorite Met Gala outfit 👏👏👏

[georgio @georgionic]

@pratiks_crypto @badcryptobitch What do you mean by dealer interaction in the PQ version of [13]. Is it also just about the complaints?

[georgio @georgionic]

This is bonkers

[Wiz @wiz_io]

🚨 BREAKING: Wiz Research discovered Remote Code Execution on https://t.co/SvN2lGsnbO with a single git push

The flaw in @github allowed unauthorized access to millions of repositories belonging to other users and organizations 🤯

[Mike Dodds @miike]

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

[georgio @georgionic]

rustc abuse

[georgio @georgionic]

@veorq How can I prove that no AI found the flaw by the deadline?

[georgio @georgionic]

@badcryptobitch dm for a chat

[Cosic.be @CosicBe]

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

[georgio @georgionic]

@badcryptobitch TEE massacre. And yes let’s try tomorrow

[georgio @georgionic]

@badcryptobitch you must be having a field day with this talk

[georgio @georgionic]

@VitalikButerin Let’s build on top of our discussion on Saturday. The tech is not too far away. Trust remains a hurdle but the incentive structure (a hope for better governance) is more attractive than ever.

Is the foundation interested in pushing in this direction?

[georgio @georgionic]

@0xSiO2 @ineditrice I guess there’s one way to find out

[georgio @georgionic]

@ineditrice @0xSiO2 I mean if they’re not blocking random cat 1/cat 2 messages then we’re all sorts of trouble. I don’t think anyone reported that their phone when on roaming.

[georgio @georgionic]

@christinafakhry What left?