Name: Tahina Ramananandro (professional account)
Type: User
Company: @microsoft Research
Bio: Principal Research Software Development Engineer
Location: Redmond, WA, USA
Blog: http://www.microsoft.com/en-us/research/people/taramana
Tahina Ramananandro (professional account)'s Projects
Apt-cyg, an apt-get like tool for Cygwin
Measures the conformance of a BPF runtime to the ISA.
CI scripts for project everest
Backup of Everest CI logs (with full history)
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
An ML-like language with a type system for program verification
Nix expressions to build HACL*
HACL*, a formally verified cryptographic library written in F*
KreMLin is a tool for extracting low-level F* programs to readable C code
TLS implemented in F*
Easy process control in OCaml
Various signed and unsigned integers for OCaml
Main public package repository for OPAM, the source package manager of OCaml.
Prof. Spacetime
Landing page for Project Everest
The Pulse separation logic DSL for F*
Generating F* parser specifications from RFC specifications
The Steel separation logic library for F*
Verified Assembly Language for Everest
A formally-verified provably-safe sandboxing Wasm-to-native compiler
The Z3 Theorem Prover