Skip to content
View mmaker's full-sized avatar

Organizations

@recursecenter @unitn @arkworks-rs

Block or report mmaker

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@natesales
Nate Sales natesales
Infrastructure + Security + Applied Physics

tinfoil.sh Boston, MA

@UberGuidoZ
UberGuidoZ UberGuidoZ
From security to obscurity...

Everywhere and nowhere

@guruvamsi-policharla
Guru Vamsi Policharla guruvamsi-policharla
PhD Student, UC Berkeley

University of California, Berkeley Berkeley, California

@tinfoilsh
Tinfoil tinfoilsh
Replacing trust with provable security. Deploy AI workloads to the cloud, but with the security and privacy of on-prem.

United States of America

@stefaniaebli
Stefania Ebli stefaniaebli

EPFL Lausanne, Switzerland

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

Pittsburgh, PA

@dconnolly
Deirdre Connolly dconnolly
✨ I do cryptography ✨

SandboxAQ

@ChihChengLiang
Chih Cheng Liang ChihChengLiang
🐦🐦🐦🐦🐦

Taiwan

@emmaguo13
emma emmaguo13

@makenotion sf

@rarimo
Rarimo rarimo
Permissionless ZK Identity Registries
@enricobottazzi
enrico.eth enricobottazzi
Game > Practice

Bergamo, Italy

@felixlinker
Felix Linker felixlinker

ETH Zurich Zurich, Switzerland

@alxiong
Alex Xiong alxiong
applied crypto | privacy | blockchain

Singapore

@emilywenger
Emily Wenger emilywenger
I study security & privacy issues of AI models

Duke University

@nexus-xyz
Nexus nexus-xyz
Enabling Verifiable Computation
@docknetwork
Dock Labs docknetwork
Dock Labs are the makers of the Truvera platform for issuing, holding, and verifying digital credentials.
@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@WardBeullens
WardBeullens
Cryptography Researcher at IBM Research - Zurich
@arkworks-rs
arkworks arkworks-rs
An ecosystem for developing and programming with zkSNARKs
@lducas
Léo Ducas lducas
I break codes for a living. Sometimes I make one.

CWI Amsterdam

@TheZ3ro
TheZ3ro

@ShielderSec

@dmalan
David J. Malan dmalan
I teach @cs50.

@harvard Cambridge, MA, USA

@OCamlPro
OCamlPro OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.

Paris & Saclay

@krtab
Arthur Carcano krtab
Flazingly bast

@OCamlPro @RedIron-by-OCamlPro Paris, France

@Daeinar
Philipp Jovanovic Daeinar
Cryptography researcher
@codahale
Coda Hale codahale
A real person.

Fort Collins, CO

@hagax8
Héléna A. Gaspar hagax8
Cheminformatician + musician. PhD in Cheminformatics from the Université de Strasbourg.

London