Nadim Kobeissi

appleprivacyletter. An open letter against Apple's new privacy-invasive client-side content scanning.

16iax10h-linux-sound-saga. Actual, complete solution for Linux audio on the Lenovo Legion Pro 7i Gen 10 (16IAX10H)

binkybox. Keyboard shortcuts for virtual desktops on Windows

appliedcryptography. Mirror. Canonical repository available at https://git.cedarcrypt.org.

lenovo-bios-fwupd. Install Lenovo Legion Pro 7I (and similar models) BIOS firmware updates on Linux, without needing Windows.

diskgem. Software for secure file transfer over SFTP.

nyu-paris-cs. Archive of the courses I designed/taught at NYU Paris in 2019.

maze-cafe. Generate mazes with exactly one solution and draw them nicely on a canvas.

protocol-ladder. A set of cryptographic proofs for simple protocols, to be formalised in various tools.

memorydot. macOS app that shows a memory pressure indicator in your menu bar.