Cryptography updates in OCaml and MirageOS
Elliptic curves (ECDSA/ECDH) are supported in a maintainable and secure way.
Reproducible MirageOS unikernel builds
MirageOS unikernels are reproducible :)
X509 0.7
Five years since ocaml-x509 initial release, it has been reworked and used more widely
Summer 2019
Bringing MirageOS into production, take IV monitoring, CalDAV, DNS
The Bitcoin Piñata - no candy for you
More than three years ago we launched our Bitcoin Piñata as a transparent security bait. It is still up and running!
Conex, establish trust in community repositories
Conex is a library to verify and attest package release integrity and authenticity through the use of cryptographic signatures.
Who maintains package X?
We describe why manual gathering of metadata is out of date, and version control systems are awesome.
Jackline, a secure terminal-based XMPP client
implement it once to know you can do it. implement it a second time and you get readable code. implementing it a third time from scratch may lead to useful libraries.
Minimising the virtual machine monitor
MirageOS solo5 multiboot native on bhyve
Catch the bug, walking through the stack
10BTC could've been yours