Felix Linker @felixlinker
👨🎓 PhD student @INFSECatETH researching protocol analysis and design 🐘 @[email protected] felixlinker.de Zürich, Schweiz Joined September 2017-
Tweets455
-
Followers186
-
Following283
-
Likes25K
Satoshi’s Vision
I created an account with the "International Association for Cryptologic Research" recently and was emailed my password. Isn't that beautiful? 🥰
Duck typing? You're thinking too small. With AI, we can finally take Guido van Rossum's dream to its logical conclusion
Slight disagree. As someone who exercises around ~8-10h per week, I do like the insight that my HFV is giving me. Sometimes, I underestimate the stress of non-exercise factors (e.g., intercontinental flights) and my watch makes me realize I should recover.
Slight disagree. As someone who exercises around ~8-10h per week, I do like the insight that my HFV is giving me. Sometimes, I underestimate the stress of non-exercise factors (e.g., intercontinental flights) and my watch makes me realize I should recover.
As @hillelogram always says: "Premature optimisations are the source of all evil."
As @hillelogram always says: "Premature optimisations are the source of all evil."
There should be an EU-paid publisher that administers publishing community-driven conferences open access without any further fees. All they need to be is a slightly different arXiv. States pay these costs anyways, and the real work is put in by the community anyways.
There should be an EU-paid publisher that administers publishing community-driven conferences open access without any further fees. All they need to be is a slightly different arXiv. States pay these costs anyways, and the real work is put in by the community anyways.
One example: I often saw people confused about what a VRF does and was confused about them myself for a long time. But explained as "deterministic signature scheme + hash function," idea is clear immediately.
One example: I often saw people confused about what a VRF does and was confused about them myself for a long time. But explained as "deterministic signature scheme + hash function," idea is clear immediately.
Vielen Dank @felixlinker für das klasse Interview und eure excellence Arbeit zu einem „Digitalen Emblem“. Das wird sich einiges entwickeln in 2024! deutschlandfunk.de/wie-sich-hilfs…
@ICRC creates digital emblem to #Safeguard humanitarian orgs' online presence, with help from ETH Zurich's Information Security Group ☁️⛑️ @CSatETH @vignus @UniBonn brnw.ch/21wERsF
Spontaneous signature combustion is a problem 🔥
📢 A peer-reviewed technical solution of a 'digital emblem' to protect medical and humanitarian operations in war. Thank you @ETH team, especially @felixlinker, for your excellent work over the past 2 years!
📢 A peer-reviewed technical solution of a 'digital emblem' to protect medical and humanitarian operations in war. Thank you @ETH team, especially @felixlinker, for your excellent work over the past 2 years!
At 11:00, I will present our work "ADEM: An Authentic Digital EMblem" at @acm_ccs! It was recently covered in the ETH news and I am excited to present it! ethz.ch/en/news-and-ev… The paper: dl.acm.org/doi/10.1145/35…
"You have to take care of your own babies." #CCS23
Excited to host a Tamarin workshop at IETF 118 in Prague today! Should you be there, I encourage you to show up. No (or at least little) prerequisites required!
But is the so much faster compiler correct??? @theodortheod 👀
But is the so much faster compiler correct??? @theodortheod 👀

Brendan McMillion @BrenTwentyTen
192 Followers 216 Following I love the Internet. I love the people who use it even more.
Mike Staub 🐝 @mikestaub
1K Followers 6K Following Developer, Artist, Investor, Entrepreneur, Founder @PeapodsHQ previously @brightmachines @autodesk @ILMVFX @AMD #Bitcoin 🦋 https://t.co/1Nc35NarO1
Claudio Marforio @marforic
222 Followers 437 Following PHD in computer science with a focus on system security from @CSatETH @ETH. Co-founder at @_futurae. Views are my own ;)
Thomas Houhou @Th0h0
372 Followers 932 Following Founder of DeepProof (AI for Formal Verification) | Security researcher | Cybersecurity @ETH
Michael Aerni @AerniMichael
170 Followers 164 Following AI privacy and security | PhD student @CSatETH | Ask me about coffee ☕️
Deepak Narayanan @deepaknaray12
180 Followers 366 Following PhD Student in Computer Science @eth_en.
BarriC @B_arri_C__
157 Followers 3K Following only private elite here!! I will mainly talk about crypt market, price action analysis etc. ONLY FOR A FEW PEOPLE MAIN ACCOUNT @B_arri_C
Yanduo Fu @YanduoF
29 Followers 431 Following
Jithin @mario7_9
12 Followers 357 Following Software Dev @ Guidehouse | Dotnet | Learning Web, Robotics, Blockchain Dev & AI Dev | Security Enthusiast @j174in | D_D dev#4583| j174in.lens
Jaime Keller @ElizabethK58211
390 Followers 7K Following I work as an administrative assistant manager in Resource management sector. And also an investor 🪙💰💱
Alexandre Binninger |... @TheGraphicsFrog
249 Followers 216 Following 📃 Ph.D. student in Computer Graphics. ✍️ Geometry, Mathematics, GenAI, Video Games. ❤️ Calisthenics, Mandarin Chinese, Philosophy. I'm a 🐸 living in 🇨🇭.
AgNiVo B @ag_zkfint
18 Followers 798 Following Into stem based industry(research/business/build) roles Accepts free Hagoromo chalks :D
Adrian @push_ip
39 Followers 362 Following I break stuff... sometimes intentionally. cryptography / PETs / sometimes ML .... hello there lil stalker 👀
Jialiu @jialiuamy
13 Followers 472 Following
- @BalticKangeroo
55 Followers 2K Following Just an Australian in the Baltics exploring the world of digital and cyber security.
Javier Rando @javirandor
4K Followers 747 Following security and safety research @anthropicai • people call me Javi • vegan 🌱
AntoineCamillo @CamilloAnt11205
37 Followers 2K Following
georgio @georgionic
999 Followers 588 Following Just the tech junkie next door. I like Apples, Cryptography, and Manchester United among other things. ∆
Gareth T. Davies @gareth_t_davies
785 Followers 587 Following cryptography at NXP | formerly univ. wuppertal, univ. paderborn, ntnu trondheim and bristol | he/him
Teemu Summanen @teemusum
208 Followers 5K Following AI | AI security | Flutter | SWE at an automotive manufacturer 🔬🤖📚🫶
Sofia Reis @sofiaoreis
241 Followers 531 Following CyberSec, SWE, AI & Productivity. Researcher and Coder.
Andrea Basso 🇺🇦 @andreavbasso
504 Followers 1K Following Postdoc researcher on isogeny-based and post-quantum cryptography at @ IBMResearch🇨🇭
kapsiR @kapsi_r
27 Followers 246 Following Dad | Tech | Coding | Open Source | Never stop learning https://t.co/1E7dBDWLGx
Matt James @themattjames
899 Followers 372 Following Former @Apple @ManTech @Rapid7, @USASOC, @StateDept @DeptofDefense, and more... Combat wounded veteran.
Romain Gaucher @rgaucher
1K Followers 802 Following Security and code, scaling. Head of Security Research @ Semgrep.
Sebastiaan @Stekkz
1K Followers 5K Following Security Researcher | Wanderer/Traveler | People person | Lifting weights, gaming and helping people. My poison: #whiskey, #gin and #cider | CTF Lead @DC_BHV
sabtmoha @sabtmoha
159 Followers 777 Following Assistant Professor in Cybersecurity. From the Pearls Island: Bahrain.
Giorgio Tresoldi @g_tresoldi
228 Followers 1K Following cyber, flying, rescue, mountains, cooking, media and society. My opinions.
Syed Hafiz @Syedhafizcs
448 Followers 2K Following Cryptography Research Engineer @LGUS. Previously @UCDavis, @IUBloomington, @ICSIatBerkeley, & @BUET. Interest: Cryptography, ML Security, & Post-Quantum Crypto.
Tony He @ttttonyhe
210 Followers 2K Following Living an absolutely not meaningless life with totally not unachievable goals.
Francesco @oppo1212oppo
19 Followers 806 Following
Barani Muthukumaran @barani26dharan
77 Followers 754 Following
Alexandros Hasikos @alexhasikos
89 Followers 516 Following Partner & Head of R&D @ Electi | Cryptography | Blockchain
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Ramneet Singh @Ramneet_Singhh
847 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Lef @elefthei
1K Followers 1K Following PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Enno Rey @Enno_Insinuator
7K Followers 2K Following Old-school network security person. Founded https://t.co/jnQuHO036k & @WEareTROOPERS. IPv6 blog: https://t.co/z2BsSZX7DT
Alice Vitard B @vitardalice
868 Followers 2K Following Journaliste @LUsineDigitale. Passée par @paris_normandie, @leJDD et @usinenouvelle. Ex @EsjLilleJS
Fattoush🇵🇸 @DigitalFattoush
10 Followers 166 Following so much to learn. so little time. | cybersec engineering graduate, now doing the cybers | He/him | #FreePalestine 🇵🇸
Prism @prism_xyz
1K Followers 1 Following Building an end-to-end encrypted, trust-minimized, MITM-resistant chat with @celestia underneath. T̶r̶u̶s̶t̶ Verify.
Brendan McMillion @BrenTwentyTen
192 Followers 216 Following I love the Internet. I love the people who use it even more.
Michael Aerni @AerniMichael
170 Followers 164 Following AI privacy and security | PhD student @CSatETH | Ask me about coffee ☕️
Deepak Narayanan @deepaknaray12
180 Followers 366 Following PhD Student in Computer Science @eth_en.
Artur Cygan @arturcygan
194 Followers 382 Following Digging deeper @trailofbits. CTFs with @justCatTheFish.
Alexandre Binninger |... @TheGraphicsFrog
249 Followers 216 Following 📃 Ph.D. student in Computer Graphics. ✍️ Geometry, Mathematics, GenAI, Video Games. ❤️ Calisthenics, Mandarin Chinese, Philosophy. I'm a 🐸 living in 🇨🇭.
Mark Nottingham @mnot
9K Followers 0 Following Nope - not here. See @[email protected] or https://t.co/PjUHR0N16A on Bluesky.
Cure53 @cure53berlin
10K Followers 17 Following And there is fire where we walk. they/them Find our active account here: https://t.co/Q3se8nVme8 Also, fuck you very much, @elonmusk
Javier Rando @javirandor
4K Followers 747 Following security and safety research @anthropicai • people call me Javi • vegan 🌱
Giacomo Fenzi @GiacomoFenzi
1K Followers 760 Following PhD student @EPFL, previously @ETH Interested in cryptography at large, post quantum and interactive proofs in particular. Interista alla Prisco.
Angèle Bossuat= cryp... @AngeleBossuat
190 Followers 188 Following Crypto(graphy, obviously) PhD ex-@EMSEC35. Now at @quarkslab!🤘🏼· cryptopote on infosec dot exchange at the 🦣 · she/her
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Filippo Valsorda @fil... @FiloSottile
46K Followers 1 Following Cryptogopher / Go crypto maintainer / @kateconger-knower / RC F'13, F2'17 / #BlackLivesMatter / he+him https://t.co/ZE4RtJ1xqD / https://t.co/qfth7zr00W / https://t.co/j1grpEm8uR
Julia Len @JuliaLen12
93 Followers 39 Following CS PhD student @Cornell, with research in cryptography and security.
Christof Torres @ChristofTorres
183 Followers 249 Following Assistant Professor at IST/University of Lisbon
@[email protected]... @letoams
2K Followers 787 Following Aiven Security Engineer IETF Security Area Director, IESG member Opensource dev: libreswan, Fedora, etc (see github) NIST SP800-77 Rev.1 author RDRonline player
Anwar Hithnawi @anwarhit
664 Followers 2K Following Assistant Professor of Computer Science at the University of Toronto. I lead the PPS Lab (https://t.co/ZFRqNNXk12). Previously at UC Berkeley and ETH Zurich.
Mac Powers @MacpowersU
4 Followers 16 Following
Kathrin Hövelmanns @quantum_bat
417 Followers 220 Following Irène Curie fellow at @TUeindhoven. I like quantum-resistant crypto, math and philosophy. 🐘 QuantumBat, roaming infosec.
Nadim Kobeissi @kaepora
25K Followers 32 Following Applied cryptographer. More active on Bluesky: https://t.co/4bkltIl37z
Benjamin Dowling @DowlingBJ
222 Followers 143 Following Lecturer of Cryptography at King's College London. Professional Protocol Admirer. Views are my own. He/Him.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Hernán Vanegas @hdvanegasm
262 Followers 791 Following MSc. in Applied Mathematics interested in cryptography, specifically, in secure multiparty computation. Working at @hashcloak.
Ϲhristian Knabenhans @cknabs
281 Followers 417 Following PhD student @EPFL; ex-@ETH. Taking privacy-enhancing crypto (SNARKs, FHE & co) from theory to practice, and back. https://t.co/GbgoBtq3h4 🇨🇭🇫🇷 🏳️🌈
Trang Dang @TrangDang1003
116 Followers 162 Following PhD Scholar at ETH Zürich ♦ Plant Genetics and Molecular Biology
Nikita Snetkov @SnetkovNikita
59 Followers 155 Following Junior cryptography researcher at @Cybernetica. PhD student at @CyberTalTech. Opinions are my own.
Trevor Perrin @trevp__
2K Followers 90 Following
Carsten Baum @crypto_carsten
3K Followers 421 Following Associate Professor in Cryptography at @DTU_Compute in Copenhagen, Denmark. Any opinions are entirely mine.
Miro Haller @miro_haller
191 Followers 190 Following PhD Student at UCSD doing applied cryptography (attacks and constructions)
Mina Tahmasbi Arashlo... @MArashloo
458 Followers 148 Following
Yihong Zhang @yihongz_bot
742 Followers 737 Following PhD student at @uwplse and @uw_db . Also on 🦋.
Andreas Zeller @AndreasZeller
9K Followers 220 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Maria Christakis @mchri5taki5
663 Followers 327 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
@[email protected] @lemmster
1K Followers 553 Following Principal Research Software Engineer at Microsoft Research
Bas Westerbaan @bwesterb
1K Followers 160 Following Software-engineering mathematician. Post-quantum cryptography @cloudflare
Edoardo Debenedetti @edoardo_debe
1K Followers 2K Following Research intern @meta | PhD student @CSatETH 🇨🇭 | AI Security and Privacy 😈🤖 | From 🇪🇺🇮🇹 | prev @google
Giovanni Camurati @GioCamurati
361 Followers 421 Following Postdoctoral Researcher in System Security, ETH Zurich. https://t.co/dTlfrcc8Er Side channels & radios #ScreamingChannels. Hardware-software interaction.
Emanuele Palumbo @palu_ema
142 Followers 115 Following Research Intern at @Apple & PhD Fellow at @ETH_AI_Center @ETH Working on Multimodal Learning, Generative Models, Unsupervised Learning, AI for Health
Julien Vanegue @jvanegue
6K Followers 958 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Kien Tuong Truong @kientuong114
695 Followers 1K Following 🇮🇹🇨🇭PhD Student @ ETH Zurich | Interested in how cryptography is (mis-)used in the wild | Yes, I'm that guy of that rump session
IEEE European Symposi... @IEEEEUROSP
4K Followers 9 Following 🐴 The IEEE European Symposium on Security and Privacy is an ideal venue for presenting developments in computer security and electronic privacy. #EuroSP25