B · o · B, a universal & secure file-transfer software in OCaml
summary
Bob produces a polyglot single binary that runs natively on Windows, macOS, Linux and BSD by concatenating architecture-specific object code and a shell stub (x86_64 + arm64 compiled separately). It implements SPAKE2+EE with GADTs in OCaml to encode protocol states and validate packets, and uses a unikernel relay (solo5/Albatros) to minimize attack surface while keeping relay blind to keys. Builds are reproducible, an internal DNS resolver is used, and a claimed 15 GB → 250 MB compression example is shown; Tor and resume support are planned.
AI-written summary · about
chapters (8)
- 0:00Bob introduction
- 2:20Cross-platform binary compatibility
- 4:33Static linking approach
- 6:05Password verification with SP+
- 8:51Packet processing design
- 10:40Relay deployment features
- 12:06Future plans for anonymity
- 13:30Q&A
related talks
01h 02mT1: Secure Programming For Embedded Systems
01h 06mCompile your own cloud with Mirage OS v2.0
45mHow can applications become more secure, private, and dependable
01h 14mC++ on the Web: Ponies for developers without pwn’ing users
38mTeach Your SBOM New Tricks with Bomshell
42mDefending the Branch: PAC, BTI & GCS on Linux
20mGentle Introduction to EBPF
31mPfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagr...