-
Johns Hopkins University
- Baltimore, MD
- https://www.linkedin.com/in/jayoakinyele/
- @ja_akinyele
Lists (1)
Sort Name ascending (A-Z)
Stars
4
stars
written in OCaml
Clear filter
EasyCrypt: Computer-Aided Cryptographic Proofs
Infrastructure for Reassembleable Disassembling and Transformation
Automated prover and synthesizer for modes of operation