Japanese ProVerif Cited by user Squirrel's tail on 08 Oct 2021 対称と非対称暗号、デジタル署名、ハッシュ関数、ビットコミットメント、知識の証明などの暗号化プリミティブがサポートされている。このツールは、到達可能性(reachability)、対応表明(correspondence assertions)、および観測等価性(observational equivalence)を評価することができる。これら…
Russian Медовое шифрование Cited by user Malinin.p on 10 Dec 2019 Медовое шифрование — тип симметричного шифрования, при котором шифротекст расшифровывается с любым допустимым ключом в правдоподобный открытый текст.
English ProVerif Cited by user Mpdehnel on 18 Jan 2018 Support is provided for cryptographic primitives including: symmetric & asymmetric cryptography; digital signatures; hash functions; bit-commitment; and signature proofs…
English Proof of Secure Erasure Cited by user Petr Matas on 25 Apr 2017 Proof of Secure Erasure (PoSE) is a security protocol, by which a computing device proves to a verifying party (the verifier), that it has just overwritten all its memory.