s-zanella
I am a member of the Confidential Computing group at Microsoft Research. I have an interest in Programming Languages, Verification, and Cryptography.
MicrosoftCambridge, UK
Pinned Repositories
gandalf_vs_gandalf
Turning Gandalf against itself. Use LLMs to automate playing Lakera Gandalf challenge without needing to set up an account with a platform provider.
MICO
Membership Inference Competition
aici
AICI: Prompts as (Wasm) Programs
brew
🍺 The missing package manager for macOS
cryptofuzz
s-zanella's Repositories
s-zanella/aici
AICI: Prompts as (Wasm) Programs
s-zanella/brew
🍺 The missing package manager for macOS
s-zanella/cryptofuzz
s-zanella/cryptofuzz-evercrypt
A fork of Cryptofuzz with an EverCrypt module
s-zanella/diverse-beam-search
:mag: :shipit: Decoding Diverse Solutions from Neural Sequence Models
s-zanella/enacl
Erlang bindings for NaCl / libsodium
s-zanella/fstar-mode.el
Emacs support for F*
s-zanella/hacl-packages
The Cryspen HACL Distribution
s-zanella/hacl-star
s-zanella/hacspec
s-zanella/homebrew-core
🍻 Core formulae for the Homebrew package manager
s-zanella/Idris-dev
A Dependently Typed Functional Programming Language
s-zanella/math-comp
Mathematical Components
s-zanella/opacus
Training PyTorch models with differential privacy
s-zanella/openssl
TLS/SSL and crypto library
s-zanella/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
s-zanella/prv_accountant
A fast algorithm to optimally compose privacy guarantees of differentially private (DP) mechanisms to arbitrary accuracy.
s-zanella/PyRIT
The Python Risk Identification Tool for generative AI (PyRIT) is an open access automation framework to empower security professionals and machine learning engineers to proactively find risks in their generative AI systems.
s-zanella/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
s-zanella/responsible-ai-toolbox-privacy
A library for statistically estimating the privacy of ML pipelines from membership inference attacks
s-zanella/s-zanella
s-zanella/s-zanella.github.io
s-zanella/tls13-spec
TLS 1.3 Specification
s-zanella/WebClient
Official AngularJS web client for the ProtonMail secure email service.
s-zanella/zgrab
Grab banners (optionally over TLS)