Automated proofs of block cipher modes of operation (Q287326): Difference between revisions

@@ Property / author @@
-Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
-Normal rank
@@ Property / author @@
-Reihaneh Safavi-Naini
@@ Property / author: Reihaneh Safavi-Naini / rank @@
-Normal rank
@@ Property / author @@
+Reihaneh Safavi-Naini
@@ Property / author: Reihaneh Safavi-Naini / rank @@
+Normal rank
@@ Property / author @@
+Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585586
@@ Property / zbMATH DE Number: 6585586 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated verification
@@ Property / zbMATH Keywords: automated verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare logic
@@ Property / zbMATH Keywords: Hoare logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+provable cryptography
@@ Property / zbMATH Keywords: provable cryptography / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symmetric encryption
@@ Property / zbMATH Keywords: symmetric encryption / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+block cipher
@@ Property / zbMATH Keywords: block cipher / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113901248
@@ Property / Wikidata QID: Q113901248 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EasyCrypt
@@ Property / describes a project that uses: EasyCrypt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-015-9341-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2252292714
@@ Property / OpenAlex ID: W2252292714 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Equality of Probabilistic Terms
@@ Property / cites work: On the Equality of Probabilistic Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Aided Security Proofs for the Working Cryptographer
+Normal rank
@@ Property / cites work @@
+Beyond Provable Security Verifiable IND-CCA Security of OAEP
+Normal rank
@@ Property / cites work @@
+The security of the cipher block chaining message authentication code
+Normal rank
@@ Property / cites work @@
+Automated Security Proofs with Sequences of Games
@@ Property / cites work: Automated Security Proofs with Sequences of Games / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Software Encryption
@@ Property / cites work: Fast Software Encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
+Normal rank
@@ Property / cites work @@
+An Improved Security Bound for HCTR
@@ Property / cites work: An Improved Security Bound for HCTR / rank @@
+Normal rank
@@ Property / cites work @@
+A New Mode of Encryption Providing a Tweakable Strong Pseudo-random Permutation
+Normal rank
@@ Property / cites work @@
+HCH: A New Tweakable Enciphering Scheme Using the Hash-Counter-Hash Approach
+Normal rank
@@ Property / cites work @@
+Q4536815
@@ Property / cites work: Q4536815 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated proofs of block cipher modes of operation
+Normal rank
@@ Property / cites work @@
+Automated Security Proof for Symmetric Encryption Modes
+Normal rank
@@ Property / cites work @@
+Automated Verification of Block Cipher Modes of Operation, an Improved Method
+Normal rank
@@ Property / cites work @@
+Progress in Cryptology - INDOCRYPT 2004
@@ Property / cites work: Progress in Cryptology - INDOCRYPT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Invertible Universal Hashing and the TET Encryption Mode
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Topics in Cryptology – CT-RSA 2004
@@ Property / cites work: Topics in Cryptology – CT-RSA 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778864
@@ Property / cites work: Q2778864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046361
@@ Property / cites work: Q3046361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409107
@@ Property / cites work: Q4409107 / rank @@
+Normal rank
@@ Property / cites work @@
+The Security of the Extended Codebook (XCB) Mode of Operation
+Normal rank
@@ Property / cites work @@
+Progress in Cryptology - INDOCRYPT 2004
@@ Property / cites work: Progress in Cryptology - INDOCRYPT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Security
@@ Property / cites work: Information Security / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:287326