New top story on Hacker News: Show HN: Moochacha, quantum-safe file encryption (analyzed by Frama-C)

Show HN: Moochacha, quantum-safe file encryption (analyzed by Frama-C)
21 by markdascher