Skip to content
  • Mozilla, prev. at INRIA & ENS Ulm


  • Arctic Code Vault Contributor
  • Pro


@mozilla @FStarLang @mitls @project-everest @Inria-Prosecco @secure-foundations @mlswg


  1. TLS 1.3 Specification

    Python 517 148

  2. HACL*, a formally verified cryptographic library written in F*

    F* 1.3k 117

  3. MLS protocol

    Makefile 110 37

  4. MLS architecture

    Makefile 29 17

  5. Verification system for effectful programs

    F* 1.9k 168

  6. KreMLin is a tool for extracting low-level F* programs to readable C code

    OCaml 268 41

877 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2020

beurdouche has no activity yet for this period.

July 2020

Created an issue in mlswg/mls-architecture that received 6 comments

Editor's copy points to a 404.

The build and GH actions script seem to work now, thanks @Bren2010 . The README points to an Editor's copy which is 404.…


Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.