full stack engineer
  • About
  • Posts

Cryptography updates in OCaml and MirageOS

Written by hannes 2021-04-23

Elliptic curves (ECDSA/ECDH) are supported in a maintainable and secure way.

Reproducible MirageOS unikernel builds

Written by hannes 2019-12-16

MirageOS unikernels are reproducible :)

X509 0.7

Written by hannes 2019-08-15

Five years since ocaml-x509 initial release, it has been reworked and used more widely

Summer 2019

Written by hannes 2019-07-08

Bringing MirageOS into production, take IV monitoring, CalDAV, DNS

The Bitcoin Piñata - no candy for you

Written by hannes 2018-04-18

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

Written by hannes 2017-02-16

Conex is a library to verify and attest package release integrity and authenticity through the use of cryptographic signatures.

Who maintains package X?

Written by hannes 2017-02-16

We describe why manual gathering of metadata is out of date, and version control systems are awesome.

Jackline, a secure terminal-based XMPP client

Written by hannes 2017-01-30

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

Written by hannes 2016-07-02

MirageOS solo5 multiboot native on bhyve

Catch the bug, walking through the stack

Written by hannes 2016-05-03

10BTC could've been yours