blog.robur.coop

The Robur blog.

Essays and ramblings

1. 
   2024-08-21 MirageVPN and OpenVPN
   

   Discoveries made implementing MirageVPN, a OpenVPN-compatible VPN library

   • miragevpn
   • openvpn
   • security
2. 
   2024-08-15 The new Tar release, a retrospective
   

   A little retrospective to the new Tar release and changes

   • ocaml
   • cstruct
   • functors
3. 
   2024-06-24 qubes-miragevpn, a MirageVPN client for QubesOS
   

   A new OpenVPN client for QubesOS

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

   Announcement of our MirageVPN server.

   • ocaml
   • mirageos
   • cryptography
   • security
   • vpn
5. 
   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
6. 
   2024-02-21 GPTar
   

   Hybrid GUID partition table and tar archive

   • ocaml
   • gpt
   • tar
   • mbr
   • persistent storage
7. 
   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
8. 
   2024-02-11 Cooperation and Lwt.pause
   

   A disgression about Lwt and Miou

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

   Reimplementing Python string escaping in OCaml

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

    How we resurrected MirageVPN from its bitrot state

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

    How we implementated tls-crypt-v2 for miragevpn

    • ocaml
    • mirageos
    • vpn
    • security