One of my most beloved projects, the Lantern Library, has found a new home but needs some help getting there. More, and a way to help, here: https://blog.bl00cyb.org/2026/02/my-beloved-lantern-library/
blog.bl00cyb.org
My beloved Lantern Library | willowbl00At WWDC, we unveiled formally verified ML-KEM and ML-DSA #PostQuantum implementations in CryptoKit.
Last month at Hexagon in Paris, we provided additional insights into the mechanisms used for verifying the implementations using Cryptol, SAW and Isabelle.
The talk also covers the evolution of the Secure Page Table Monitor, a view into Memory Integrity Enforcement, updates to Apple Security Bounty… and a note on the moral character of offensive security work.
YouTube
HEXACON 2025 - Keynote by Ivan Krstić
Thanks for your interest in trying out Elk, our work-in-progress Mastodon web client!
Expect some bugs and missing features here and there. we are working hard on the development and improving it over time.
Elk is Open Source. If you'd like to help with testing, giving feedback, or contributing, reach out to us on GitHub and get involved.
To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!
