Name: Santiago Zanella-Beguelin
Type: User
Company: Microsoft
Bio: I am a member of the Confidential Computing group at Microsoft Research. I have an interest in Programming Languages, Verification, and Cryptography.
Location: Cambridge, UK
Blog: aka.ms/sz
Santiago Zanella-Beguelin's Projects
AICI: Prompts as (Wasm) Programs
🍺 The missing package manager for macOS
A fork of Cryptofuzz with an EverCrypt module
:mag: :shipit: Decoding Diverse Solutions from Neural Sequence Models
Erlang bindings for NaCl / libsodium
Emacs support for F*
The Cryspen HACL Distribution
🍻 Core formulae for the Homebrew package manager
A Dependently Typed Functional Programming Language
Mathematical Components
Training PyTorch models with differential privacy
TLS/SSL and crypto library
OSS-Fuzz - continuous fuzzing of open source software
A fast algorithm to optimally compose privacy guarantees of differentially private (DP) mechanisms to arbitrary accuracy.
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
A library for statistically estimating the privacy of ML pipelines from membership inference attacks
TLS 1.3 Specification
Official AngularJS web client for the ProtonMail secure email service.
Grab banners (optionally over TLS)