Skip to content
View alxiong's full-sized avatar
178 followers · 68 following

Block or report alxiong

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@lukehinds
Luke Hinds lukehinds
ex-Distinguished Engineer @RedHatOfficial · Creator of @sigstore · Co-Founder & CEO @always-further

Always Further, Inc UK

@parno
Bryan Parno parno

Carnegie Mellon University

@quangvdao
Quang Dao quangvdao
Formal verification for cryptography. PhD Student at Carnegie Mellon University

Pittsburgh, PA

@bwesterb
Bas Westerbaan bwesterb
post-quantum at @cloudflare

Cloudflare Nijmegen

@FredericJacobs
Frederic Jacobs FredericJacobs
Security Engineering
@franziskuskiefer
Franziskus Kiefer franziskuskiefer

@Cryspen Berlin, Europe

@porcuquine
porcuquine porcuquine
@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@WizardOfMenlo
Giacomo Fenzi WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!

EPFL Italy

@C2SP
Community Cryptography Specification Project C2SP
@lattner
Chris Lattner lattner

Bay Area, California, USA

@han0110
Han han0110
☕️

Taiwan

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@jonathanpwang
Jonathan Wang jonathanpwang
@mmaker
Michele Orrù mmaker
@rozbb
Michael Rosenberg rozbb
PhD in cryptography. PM me your orphan blocks
@gregorseiler
Gregor Seiler gregorseiler

IBM Research Europe

@pq-crystals
pq-crystals
@zhenfeizhang
zhenfei zhenfeizhang
cryptographer, blockchain engineer, rustacean.
@project-everest
Project Everest project-everest
@tomaka
Pierre Krieger tomaka

Freelance Berlin, Germany

@kwantam
Riad S. Wahby kwantam
@zkcrypto
Zero-knowledge Cryptography in Rust zkcrypto
@secure-foundations
Secure Foundations Lab secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
@arkworks-rs
arkworks arkworks-rs
An ecosystem for developing and programming with zkSNARKs
@therealyingtong
ying tong therealyingtong

Singapore

@srinathsetty
Srinath Setty srinathsetty
Principal Researcher

Microsoft Research Redmond, WA

@tlepoint
Tancrède Lepoint tlepoint
Cryptographer

New York, NY

@cryptosubtlety
Quan Thoi Minh Nguyen cryptosubtlety
Senior security engineer @google. Personal account.
@samczsun
samczsun
@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@alex-ozdemir
Alex Ozdemir alex-ozdemir
@henrycg
Henry Corrigan-Gibbs henrycg
@alexcrichton
Alex Crichton alexcrichton
@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@Manishearth
Manish Goregaokar Manishearth
@rust-lang devtools, ex-core, internationalization @google

@google Berkeley, CA

@daira
Daira-Emma Hopwood daira
Head of Research and Assurance at Zcash Open Development Lab
@Pratyush
Pratyush Mishra Pratyush

@arkworks-rs

@dconnolly
Deirdre Connolly dconnolly
✨ I do cryptography ✨

Selkie Cryptography

@tarcieri
Tony Arcieri tarcieri
Co-founder @iqlusioninc, formerly @square. Cryptography and infrastructure engineer.

@iqlusioninc Denver, CO

@agl
Adam Langley agl
@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@rootkovska
Joanna Rutkowska rootkovska
Distrusts computers. Keeps embracing them anyway.

Warsaw, Poland

@str4d
Jack Grigg str4d

@zcash

@hdevalence
Henry de Valence hdevalence
Building @penumbrazone

Penumbra Labs cybernetic space

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@alleystoughton
Alley Stoughton alleystoughton
research computer scientist applying formal methods to cryptography and security

Boston University North Adams, MA, USA

@bbuenz
Benedikt Bünz bbuenz

Espresso Systems, NYU New York, New York

@ctz
Joe Birr-Pixton ctz

Cambridge, UK

@shaih
Shai Halevi shaih

AWS NY, USA