Prove HN: Moochacha、量子収集ファイル暗号化 (Frama-C によって分析)
You can not select more than 25 topics Topics must start with a letter or number, can include dashes (‘-‘) and can be up to 35 characters long. WARNING: This is a personal project, unsafe for real data. Don’t use it. Encrypt files using a random keyfile, like enchive without public keys. Plain 256-bit encryption…