georgio @georgionic
Just the tech junkie next door. I like Apples, Cryptography, and Manchester United among other things. ∆ georgio.xyz Leuven, Belgium Joined January 2011-
Tweets9K
-
Followers963
-
Following583
-
Likes20K
georgio retweeted
🔐 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/events/c…
georgio retweeted
Nominate yourself to help review papers for USENIX Security 2027! sec-rms.com/submit-applica… (or rms.swag.cispa.de/submit-applica… ). 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/ur…
georgio retweeted
Cryptographic protocols should be formally verified How do we do it in Lean, the fastest-growing proof assistant? Introducing VCVio (github.com/Verified-zkEVM…), a base layer for crypto proofs in Lean Joint work with @dtumad, @alexanderlhicks, James Waters & Nick Hopper 🧵/n
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.
[Revised] Complex Elections via Threshold (Fully) Homomorphic Encryption (Charlotte Bonte and Georgio Nicolas and Nigel P. Smart) ia.cr/2025/1482
georgio retweeted
Easily our favorite Met Gala outfit 👏👏👏
Love seeing Naomi Osaka honor the CLRS Algorithms textbook at this year's Met Gala
@pratiks_crypto @badcryptobitch What do you mean by dealer interaction in the PQ version of [13]. Is it also just about the complaints?
This is bonkers
🚨 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 🤯
georgio retweeted
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
New on my blog: "Why not use Lean?" lawrencecpaulson.github.io/2026/04/23/Why…
@veorq How can I prove that no AI found the flaw by the deadline?
georgio retweeted
@badcryptobitch TEE massacre. And yes let’s try tomorrow
@badcryptobitch you must be having a field day with this talk
@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?
@0xSiO2 @ineditrice I guess there’s one way to find out
@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.
Rayane Moussallem @RioMoussallem
31K Followers 909 Following 🇱🇧🇨🇦Sports media professional/Event management/ Formerly at @AFP, sports anchor & reporter @LBCILebanon, editor @AIPSmedia| Man United|RT≠endorsement
Omar Tamo @OmarTamo19
28K Followers 4K Following Bloomberg @middleeast breaking news deputy TL. Finance, economy, oil & gas - with an eye on Lebanon. Formerly @ForbesME @lorienttoday. Views are my own #YNWA
Cosic.be @CosicBe
4K Followers 389 Following COSIC provides a broad expertise in digital security and strives for innovative security solutions. COSIC is headed by Bart Preneel.
AToufayli @TfayliAbbass
38K Followers 4K Following Turning Lebanon’s economic rollercoaster into a thrilling data-driven ride! 🎢💰
MUSC Lebanon @ManUtdLebanon
7K Followers 2K Following Official Manchester United Supporters Club Lebanon
Rita Kamel @ritakml
11K Followers 7K Following Career Coach • Crochet Artisan • Writer I coach, craft, and write stories with work, wool, and words. 🐻 Mama Bear energy | 🎙️ EN • FR • AR
sofía celi @claucece
9K Followers 5K Following Proud LatinAmerican • "Legendary quantum lady/cryptographer" • Researcher @brave • she/they • hrpc co-chair @inretafo anti-fraud @w3c @otr_im @LondonU
Jacob @jacobtradezsz
19 Followers 313 Following Future Trader | 523k Payouts | 125k Prop Firm Fees I Lucid & Tradeify - Code JACOB
unnikuttan @pqckuttan
14 Followers 2K Following
Christopher Patton @cjpatton_
871 Followers 476 Following Post quantum at Cloudflare. Opinions are my own. Also on Bluesky (https://t.co/JNf0UuXUqE)
m1Vr4_ @m1Vr4_
28 Followers 139 Following #TheGame23: longest running Alternate Reality Game (ARG) 2014. Jodorowsky's tweet (2+ mill. followers):https://t.co/VPZ5DjEVey
- @fmpathy
1 Followers 4K Following
Christina Ovezik @_LadyChristina_
626 Followers 445 Following PhD student researching blockchain decentralisation @BTL_Edinburgh
Belfort @belfortlabs
723 Followers 57 Following Enabling Fully Homomorphic Encryption through Hardware Acceleration
Alt.Edwinbarnesc @altedwinbarnesc
144 Followers 1K Following Alt of @edwinbarnesc for AI-first coding. Building TMC 2.0 as a Relentlessly Resourceful CRUD Monkey
Hua Xu @huaxuhx
2 Followers 94 Following
Arman Kolozyan @arman_kolozyan
56 Followers 170 Following
Mohamad Shaitou @MoeSh95
64 Followers 1K Following إرْتـَـقُــوا فَالــقَــاعُ قَـدْ إزْدَحـــَــمَ....
Lily Suraya @Lily__Suraya
403 Followers 5K Following perpetual speculator 🎯 @oracle I will never unfollow ❤️🔄 Reposting does not imply endorsement 🔄⚠️ Private messages are welcome 📩✨ #Technology #Finance
simseb @simseb
4 Followers 49 Following
. @elle_sa_muse
3 Followers 26 Following
endless blankets @christinafakhry
3K Followers 467 Following creative consultant & freelance journalist
𝒆𝕄𝙫 (EatMore... @EatMoreVitamins
934 Followers 8K Following Twitch Streamer, League of Legends ADC main since Season 3 #EMVclips for Daily LoL Shorts and More Business Email: [email protected]
Stare @StareI_r9
88 Followers 3K Following
LeonZ.Sui | airdrop.a... @SuiThehomie
11 Followers 99 Following I've been in the trenches for over a decade #BTC #ETH #TRON #SOL #SUI #APT Ambassador for @airdrop_ag #airdropag
Ibrahem Ibrahim ahmed @IbrahemIbr7246
1 Followers 28 Following
Crylo 🔜 AC @thatgreenracc
3K Followers 2K Following 20, they/it, ΘΔ | the world's greatest hypocrite | profile pic by @datbx_
Don’tBe,Evil @u3b3rg33k
328 Followers 4K Following thought leader @ NOVA laboratories , Distractible meat computer, lover of heat pumps, solar, & indoor CO2 under 500ppm
Mirko @mirkomkr
14 Followers 292 Following
random @random_2476
11 Followers 300 Following
neil harrington @neildharrington
645 Followers 7K Following I build sales teams that scale—and systems that make them better.
Soozan @Soozan159929
28 Followers 825 Following
The Mathematics of Se... @MathOfSecrets
242 Followers 445 Following In his book The Mathematics of Secrets, Joshua Holden takes readers on a tour of the mathematics behind cryptography—the science of sending secret messages.
@QuantumArchitect @QuantumArchite2
178 Followers 498 Following Consultant Astrophysicist Architect in QuantumTechnologies- Algorithms, Security, Networks, QSC, PQC, QKD, NISQ, CRQC, FTQC, NIST Standards
Lennert @LennertWo
4K Followers 1K Following PhD Researcher @CosicBe | Hardware Security @[email protected]
Wout Legiest @WLegiest
12 Followers 92 Following
Reza Ebrahimi Atani @ebrahimiatani
144 Followers 1K Following Cryptographer and Associate Professor of Computer Engineering at the University of Guilan, Iran.
iDrixp @iDriiiixp
188 Followers 202 Following 🇧🇪 Analyst for . | Former : Smoken, Maestria, Grimdal, WanteD & Daitan. Coached by @Eden_se_
Ashutosh Ahelleya @ashutosha_
825 Followers 819 Following Appsec, infosec, infra, and privacy. Formerly infosec @ucl, led @teambi0s. These days I tweet whatever I like
Clotilde Bigot @Clo_Bigot
6K Followers 3K Following Assistant Foreign Editor @TheNationalNews. Views are my own, but mostly sarcastic.
zkpuzzlematt 🧩 @zkmattwyatt
1K Followers 7K Following Cofounder @zkpuzzle | 1st @aleohq & @aztecnetwork Grantee | 3x Hackathon Winner | Prev: #2 @xealenergy | @accenture | @ENERGY | @DOWnewsroom | @georgiatech
Dilara Toprakhisar @d_toprakhisar
49 Followers 80 Following Postdoc Researcher at @CosicBe, KU Leuven | Symmetric key cryptography - Physical attacks
Daniel Collins @dcol97
221 Followers 442 Following Postdoc @ NYU/HUJI, previously postdoc @ Texas A&M/Purdue/Georgia Tech, PhD from EPFL @ LASEC (cryptography)
#Hushush# @heshoao
144 Followers 2K Following
Matthew Green @matthew_d_green
154K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
Lúcás Meier @cronokirby
10K Followers 1K Following Cryptographer @commonwarexyz Opinions do not yadda yadda. Did an MSc (Computer Science) @EPFL. Avid, not fast runner. https://t.co/yOuGtLnGMF on bsky.
kennyog @kennyog
8K Followers 2K Following Professor of Computer Science at ETH Zurich. Views my own. Apparently in a semi-religious crypto/privacy cult. Join us! He/him.
Carsten Baum @crypto_carsten
3K Followers 420 Following Associate Professor in Cryptography at @DTU_Compute in Copenhagen, Denmark. Any opinions are entirely mine.
Rayane Moussallem @RioMoussallem
31K Followers 909 Following 🇱🇧🇨🇦Sports media professional/Event management/ Formerly at @AFP, sports anchor & reporter @LBCILebanon, editor @AIPSmedia| Man United|RT≠endorsement
Deirdre Connolly¹ @durumcrustulum
6K Followers 3K Following • 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 • ¹ isogenist, co-host @SCWpod, @durumcrustulum.com on 🦋
IACR @IACR_News
12K Followers 4 Following The International Association for Cryptologic Research (IACR) is a non-profit scientific organization in the field of cryptology and related fields.
David Wong @cryptodavidw
18K Followers 3K Following security @zksecurityXYZ & advisor @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
Omar Tamo @OmarTamo19
28K Followers 4K Following Bloomberg @middleeast breaking news deputy TL. Finance, economy, oil & gas - with an eye on Lebanon. Formerly @ForbesME @lorienttoday. Views are my own #YNWA
Diego F. Aranha 🕷�... @dfaranha
15K Followers 1K Following Associate Professor at @csaudk. Find me at bsky, where I am much more active.
Jean Riachi @riachi_jean
32K Followers 2K Following Chairman and CEO I&C Bank Lebanon / Chairman FFA Private Bank Dubai / HEC Paris / INSEAD IDP-C / Content is 100% mine, AI used only for language polishing
Cosic.be @CosicBe
4K Followers 389 Following COSIC provides a broad expertise in digital security and strives for innovative security solutions. COSIC is headed by Bart Preneel.
nour @bad__bisi
5K Followers 684 Following thought daughter ⠀⣤⠀⠲⣄⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣦⡀⣀⣤⣤⣶⣦ ⠀⠀⠛⢷⣾⣿⣿⣶⣶⣤⣤⣤⣤⣤⣤⣤⣤⣤⣤⣴⣶⡾⣿⣿⠛⠉⠀⠉ ⠀⠀⠀⠀⠀⠀⠉⠙⠛⠻⠿⠿⠿⠿⠿⠟⠛⠛⠉⠉⠀⠀⠀⠻⠀⠀⠀ I Am Not American
Marcel Keller @mkskeller
2K Followers 470 Following Cryptographer who likes to implement multi-party computation and works for @Data61news. Views my own. 🇨🇭🇦🇺
Martin R. Albrecht @martinralbrecht
4K Followers 439 Following Find me on those other sites if you came here for the fun cryptography.
MUSC Lebanon @ManUtdLebanon
7K Followers 2K Following Official Manchester United Supporters Club Lebanon
Ronnie Chatah @thebeirutbanyan
19K Followers 662 Following Host of The Beirut Banyan | Founder of #WalkBeirut
Quang Dao @QuangVDao
1K Followers 2K Following PhD student @SCSatCMU & research engineer @LayerZero_Labs. Working toward zk too cheap to meter & formally verified by default
Catherine Liu @CLiuAnon
3K Followers 196 Following Author of Virtue Hoarders. Find me https://t.co/nMF5AXK6GK Class traitors and recovering liberals welcome here.
oskarth @oskarth
5K Followers 698 Following freedom maxi | institutional privacy @ethereum | https://t.co/DoUTxuarw2 | created @vacp2p, @waku_org and @zkmopro | 英文中文都可以
Christina Ovezik @_LadyChristina_
626 Followers 445 Following PhD student researching blockchain decentralisation @BTL_Edinburgh
xx.network @xx_network
54K Followers 163 Following Fast, full-stack, linear scalable, quantum-ready on the world's most private comms network. https://t.co/MhxQbv3IEP https://t.co/SJhaXi3x7m
Yanis Varoufakis @yanisvaroufakis
1.2M Followers 536 Following Economics professor, quietly writing obscure economic texts for years, until thrust onto the public scene by Europe's inane handling of an inevitable crisis
Belfort @belfortlabs
723 Followers 57 Following Enabling Fully Homomorphic Encryption through Hardware Acceleration
Arantxa Zapico 🧉 @arantxazapico
2K Followers 595 Following 🇦🇷 | Mathematician | Cryptographer | Researcher at @ethereumfndn
Masar Badil @MasarBadil
2K Followers 52 Following نحو إعلان مَرحلة نضاليّة جَديدة ونهاية مَسار مَدريد – أوسلو مؤتمر المَسار الفلسطيني البَديل (نحو عَقد ثوريّ جديد ) مَدريد – اسبانيا أكتوبر – نوفمبر 2021
Abir Ghattas @AbirGhattas
17K Followers 2K Following Chief Information Officer @HRW • Feminist •🥋• @[email protected] •
Arman Kolozyan @arman_kolozyan
56 Followers 170 Following
Eyal Ronen @eyalr0
984 Followers 396 Following Researching applied cryptography and security. School of Computer Science at @telavivuni. (Mastodon at [email protected])
Nym @nym
160K Followers 470 Following Advanced privacy built for the age of AI. Get now at https://t.co/XeZmRoM8u9
harryhalpin @harryhalpin
19K Followers 4K Following CEO and co-founder @nym (NymVPN in app stores) and open internet advocate. Research fellow @mit @VUBrussel. Ex-@w3c, @inria, and @AUB_Lebanon
endless blankets @christinafakhry
3K Followers 467 Following creative consultant & freelance journalist
Francesca Albanese, U... @FranceskAlbs
595K Followers 995 Following Int'l Lawyer | Scholar | Former UN Official | Sen.Adviser @ARDD @ar_renaissance Palestine has given me the opportunity to become a better person.
Iness Ben Guirat @InessBeng
534 Followers 1K Following Privacy and Anonymity researcher @Ku_Leuven and @ULBruxelles
Hossam Nasr @hossam_nasr0
5K Followers 481 Following Former @microsoft worker, fired for speaking up about Palestine. @harvard '21. Egyptian by blood 🇪🇬, Palestinian by heart 🇵🇸 Palestine will be free ✊🏽🍉
Mike Dodds @miike
1K Followers 619 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Sayon Duttagupta @SayonDuttagupta
111 Followers 853 Following Postdoc Researcher at @CosicBe. Security, Crypto and more in IoT and CPS.
Ghassan Abu Sitta, Ch... @GhassanAbuSitt1
136K Followers 685 Following Plastic Surgeon. Prof. of Conflict Medicine, American University of Beirut. RTs are not endorsements https://t.co/8LVO3ySJTZ
Lesly-Ann Daniel @LeslyAnnDaniel1
215 Followers 246 Following Postdoc @ KU Leuven Formal methods & HW/SW security No longer on Twitter Mastodon: @[email protected] Bluesky: @lesly-ann.bsky.social
Marcos López de Prad... @lopezdeprado
24K Followers 51 Following Professor @Cornell @BerkeleyLab @adia_lab. Quant of the Year (2019, 2021) & Bernstein Fabozzi (2024) Awards. Royal Order of Civil Merit (Knight Officer).
Thomas Decru @ThomasDecru
770 Followers 303 Following Mathematical cryptography researcher @ KU Leuven. Soft spot for education and cats.
Alexander Viand @AlexanderViand
220 Followers 138 Following Making FHE accessible @Intel Labs. PhD from @ETH Trying to make secure computation (FHE, MPC) more accessible to non-experts through new tools & abstractions.
OSINTdefender @sentdefender
2.3M Followers 2K Following Open Source Intelligence Monitor focused on Europe and Conflicts across the World. RT ≠ Endorsement. Want to Support my Work? https://t.co/PcUbewvWPr
Yupeng Zhang @YupengZhang7
2K Followers 276 Following Assistant Professor @ECEILLINOIS University of Illinois Urbana-Champaign
L De Feo @luca_defeo@... @luca_defeo
2K Followers 237 Following Find me: on Mastodon: @[email protected] on Bluesky: @bsky.defeo.lu
Dries Depoorter @driesdepoorter
50K Followers 2K Following Speaker / Artist / Creator of Die With Me: the chat app you can only use when you have less than 5% battery. I make projects around surveillance, privacy and AI
Clotilde Bigot @Clo_Bigot
6K Followers 3K Following Assistant Foreign Editor @TheNationalNews. Views are my own, but mostly sarcastic.
Lennert @LennertWo
4K Followers 1K Following PhD Researcher @CosicBe | Hardware Security @[email protected]
José González @_JoseGonzalez_
24K Followers 1K Following I play guitar and sing. "Against The Dying Of The Light" is out now. 🔸10% Pledger. Excited about #SecularHumanism #EcoModernism #EffectiveAltruism
جان طنوس Jean ... @jeantannous
6K Followers 319 Following لا يستقيم حكم القانون، إلا عبر قضاء شفاف، موثوق، مستقلٍ، نزيهٍ، كفوء،ٍ وسريعٍ ومستقرٍ في تفسير القوانين وتطبيقها، ينظر القضايا بتجرد وحيادية وموضوعية.
Dilara Toprakhisar @d_toprakhisar
49 Followers 80 Following Postdoc Researcher at @CosicBe, KU Leuven | Symmetric key cryptography - Physical attacks
FakeIACR @FakeIACR
2K Followers 12 Following This is the official twitter account for the FakeIACR organization.
Fadi BouKaram @CedrusK
7K Followers 288 Following Jack of all trades, master of none. Also a photographer.
Daniel Collins @dcol97
221 Followers 442 Following Postdoc @ NYU/HUJI, previously postdoc @ Texas A&M/Purdue/Georgia Tech, PhD from EPFL @ LASEC (cryptography)
roula khalaf @khalafroula
56K Followers 3K Following Editor of the Financial Times, fan of impossible Middle East political drama, mother of two fabulous boys.
Trends for United States
You might like
Nicolas Ramsrud
@NicolasRamsrud
3K Followers
Abdullah Talayhan
@talayhan_a
1K Followers
Emad Heydari Beni
@heydari_be
654 Followers
Deian Stefan
@deiandelmars
1K Followers
Marc Manzano
@marcmanzano
706 Followers
Nils Fleischhacker �...
@Cryptomaeher
1K Followers
Stefan Dziembowski �...
@SteDziembowski
2K Followers
Richard Carback
@rcarback
15K Followers
Gregory Neven
@gregoryneven
2K Followers
مدمن البندو...
@kevo_90
1K Followers
Ben Delo
@bendelo
4K Followers