Show HN: Moochacha, quantum-safe file encryption (analyzed by Frama-C)codeberg.org·75 pts·markdascher·24