Skip to content

Security

Protocols, hardening and the proofs behind them.

Explore the lineup.

Show projects built with

Smaller projects

  • dotfiles

    Shell, editor and terminal configuration, kept in sync across machines with the secrets encrypted.