beurdouche

Security Researcher working on Formal Methods, Cryptography, and Security & Privacy protocols.

Mozilla

Pinned Repositories

author-template
LaTeX template to be used by authors for SSTIC publication
Language:TeX0 3 00
aws-sdk-rust
Language:Rust0 1 00
mls-protocol
MLS protocol
Language:Makefile2 10 00
tools
Tools from the world wide web
Language:Python7 1 010
FStar
A Proof-oriented Programming Language
Language:F*2.7k 80 2k233
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml396 43 16259
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 78 229170
mls-architecture
MLS architecture
Language:Makefile66 25 11428
mls-protocol
MLS protocol
Language:Python232 35 30360
tls13-spec
TLS 1.3 Specification
Language:Python563 109 415159

beurdouche's Repositories

beurdouche/mls-protocol
MLS protocol
Language:Makefile2 10 00
beurdouche/author-template
LaTeX template to be used by authors for SSTIC publication
Language:TeX0 3 00
beurdouche/aws-sdk-rust
Language:Rust0 1 00
beurdouche/mls-architecture
MLS overview document
Language:Makefile0 10 10
beurdouche/bedrock
Making mozilla.org awesome, one pebble at a time
Language:HTML1 0
beurdouche/beurdouche.github.io
Language:Ruby
beurdouche/boringssl
BoringSSL mirror
Language:C2 01
beurdouche/content
The content behind MDN Web Docs
Language:HTML1 0
beurdouche/dl-links
Language:JavaScript2 0
beurdouche/draft-group-privacypass-consistency-mirror
K-Check protocol specification
Language:Makefile1 0
beurdouche/evercrypt-rust
Rust bindings for HACL & Evercrypt
Language:Rust1 0
beurdouche/grok-1
Grok open release
Language:Python1 0
beurdouche/hacl-core
(Personnal copy, do not use for projects: refer to the original repository instead)
Language:F*2 0
beurdouche/homebrew-core
🍻 Default formulae for the missing package manager for macOS
Language:Ruby1 0
beurdouche/homebrew-mercurial
2 0
beurdouche/ietf-beurdouche-mls-api
beurdouche/ietf-mularczyk-mls-splitcommit
Language:Makefile1 0
beurdouche/mimi-arch
An architecture for More Instant Messaging Interoperability
beurdouche/mls-platform-api
Language:Rust
beurdouche/mls-rs
An implementation of Messaging Layer Security (RFC 9420)
Language:Rust1
beurdouche/neqo
Language:Rust2 0
beurdouche/nss
Read only mirror of https://hg.mozilla.org/projects/nss
Language:C2 02
beurdouche/nss-gk-api
A Rust API for NSS primarily for use in Gecko
Language:Rust2
beurdouche/platforms
Constraint values for specifying platforms and toolchains
Language:Starlark1 0
beurdouche/privacypass
Privacy Pass implementation in Rust
Language:Rust1 0
beurdouche/resilience
Resilience is an ad blocker for your computer.
Language:Go1 0
beurdouche/root
The official repository for ROOT: analyzing, storing and visualizing big data, scientifically
Language:C++
beurdouche/sframe
Internet draft for SFrame
Language:Go
beurdouche/webcrypto
The W3C Web Cryptography API
Language:HTML
beurdouche/wg-materials
Slides and other working group materials