blog.robur.coop

The Robur blog.

Essays and ramblings

1. 
   2024-06-24 qubes-miragevpn, a MirageVPN client for QubesOS
   

   A new OpenVPN client for QubesOS

   • ocaml
   • vpn
   • unikernel
   • qubesos
2. 
   2024-06-17 MirageVPN server
   

   Announcement of our MirageVPN server.

   • ocaml
   • mirageos
   • cryptography
   • security
   • vpn
3. 
   2024-04-16 Speeding up MirageVPN and use it in the wild
   

   Performance engineering of MirageVPN, speeding it up by a factor of 25.

   • ocaml
   • mirageos
   • cryptography
   • security
   • vpn
   • performance
4. 
   2024-02-21 GPTar
   

   Hybrid GUID partition table and tar archive

   • ocaml
   • gpt
   • tar
   • mbr
   • persistent storage
5. 
   2024-02-13 Speeding elliptic curve cryptography
   

   How we improved the performance of elliptic curves by only modifying the underlying byte array

   • ocaml
   • mirageos
   • cryptography
   • security
6. 
   2024-02-11 Cooperation and Lwt.pause
   

   A disgression about Lwt and Miou

   • ocaml
   • scheduler
   • community
   • unikernel
   • git
7. 
   2024-02-03 Python's `str.__repr__()`
   

   Reimplementing Python string escaping in OCaml

   • ocaml
   • python
   • unicode
8. 
   2023-11-20 MirageVPN updated (AEAD, NCP)
   

   How we resurrected MirageVPN from its bitrot state

   • ocaml
   • mirageos
   • vpn
   • security
9. 
   2023-11-14 MirageVPN & tls-crypt-v2
   

   How we implementated tls-crypt-v2 for miragevpn

   • ocaml
   • mirageos
   • vpn
   • security