Benjamin Beurdouche

Login: beurdouche

Company: INRIA

Location: Paris

Bio: INRIA Paris and ENS Ulm. Working on F*, formal verification, applied cryptography and security protocols with Mozilla, Microsoft Research?

Blog:

Blog:

Member of

  2. INRIA Prosecco
  3. miTLS
  4. Project Everest

Repositories

Commits To

RepositoryMost Recent Commit# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.