CCC YC Show HN: Moochacha, quantum-safe file encryption (analyzed by Frama-C) Story Published at: February 23, 2023 at 09:58PM Feb 24