Sabine Oechsner 🟥
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam
soechsner.de
@imadasdu.bsky.social
Breaking new frontiers in algorithms, optimisation, analysis, data science, statistics, AI and quantum #IMADAsdu
@eyalr0.bsky.social
Researching applied cryptography and security. School of Computer Science at Tel Aviv University. https://eyalro.net
@knaw-nl.bsky.social
Wij ondersteunen en stimuleren de wetenschap in Nederland, sinds 1808.
@erc.europa.eu
European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
@uva.nl
Een moderne, onderzoeksintensieve universiteit met een lange en rijke geschiedenis. We zijn de grootste universiteit van NL met het breedste opleidingsaanbod.
@vuhistoricus.bsky.social
Universiteitshistoricus Vrije Universiteit Amsterdam. Posts over universiteitsgeschiedenis i.h.b. van de VU Amsterdam. Door Ab Flipse (ook via: https://bsky.app/profile/abflipse.bsky.social). https://www.geheugenvandevu.nl/
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@stedziembowski.bsky.social
Cryptographer, blockchain researcher, professor at the University of Warsaw, scientist at IDEAS NCBR. All views are my own.
@jannosiim.bsky.social
Lecturer in Cryptography at the University of Tartu. From Estonia. ZK proofs, SNARKs, security assumptions. Homepage: https://sites.google.com/view/jannosiim
@gloupin.bsky.social
Professor (@Polytechnique) Torturer of cryptographic primitives Tech should help people, not the opposite He/him/any
@nickspoon.bsky.social
Assistant Professor at Cornell. CS theory, cryptography, quantum computing. he/him
@jmlribeiro.bsky.social
Asst Prof, IT and IST, University of Lisbon. Likes coding theory, cryptography, and (pseudo)randomness. Prev: faculty @ NOVA FCT, postdoc @ CMU, PhD @ Imperial https://sites.google.com/site/joaorib94/
@str4d.xyz
Cryptography, privacy, zero knowledge, Rust, Zcash dev, gaming, hardware hackery, art appreciation. He/him. https://str4d.xyz https://abyssdomain.expert/@str4d age18f63qx4gk8x7p4lfuwwglqcan7snvp406q5vmk26g9fmpe9c799qqzzr3w
@hawkesse.bsky.social
PhD Student @ Royal Holloway, University of London | Cryptography and Privacy-Enhancing Technologies | She/Her
@aalto.fi
Aalto University (Aalto-yliopisto) is a multidisciplinary university, where science and art meet technology and business. #AaltoYliopisto #AaltoUniversity
@kiltz.bsky.social
@bedow.bsky.social
Senior Lecturer of Cryptography at King's College London. Professional Protocol Admirer. Views are my own. He/Him.
@julianloss.bsky.social
I’m a cryptographer working on digital signatures, consensus algorithms, and more. Tenured faculty member at CISPA Helmholtz Center for Information Security.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@christianmct.bsky.social
postdoc @ Hasso-Plattner-Institute, phd from EPFL applied cryptography and implementations cmct.ch
@cryptobern.bsky.social
@mirohaller.bsky.social
PhD student @ UCSD working on applied cryptography https://mirohaller.com
@tancre.de
Applied Scientist at AWS • Cryptographer • My opinions are my own • 🏳️🌈 (he/him)
@cryptopathe.me
applied cryptographer - certified nerd god - head of cryptography & research at duokey - founder modulo p - ex-Snap - co-founder ex-strong.codes - has-been professor - trail runner - aidjolat
@dasnuf.bsky.social
Bestsellerautorin Beltz und Eichborn; -20% witziger als auf Mastodon, Silversurfer in spe und Digital Native in einem.
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@imalavolta.bsky.social
Associate professor in Software Engineering at #VUamsterdam | Director of Network Institute | https://www.ivanomalavolta.com
@wangxiao1254.bsky.social
Teaching and Learning Cryptography at Northwestern https://wangxiao1254.github.io/
@bmkapron.bsky.social
Theoretical computer scientist at University of Victoria www.cs.uvic.ca/~bmkapron
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@arantxazapico.bsky.social
🇦🇷 | Mathematician | Cryptographer | Researcher at Ethereum Foundation | Teaching at FaMAF, UNC
@stefanotessaro.bsky.social
Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social Working on cryptography, theoretical computer science, and computer security. https://homes.cs.washington.edu/~tessaro/
@tschudid.bsky.social
@csaudk.bsky.social
Official profile for Department of Computer Science at Aarhus University. We share IT research and official news from #csaudk in Danish and English.