inkeliz
Follow
🎯
Focusing
Golang developer playing with native OS API integration (Win, iOS, macOS, JS, Android) with Java (JNI), C, Obj-C, JS. Exploring WASM and Zig. DJB > NIST.
-
Inkeliz
- Portugal
-
15:34
(UTC +01:00) - https://inkeliz.com
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
1
star
written in OCaml
Clear filter
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.