Back to Results
First PageMeta Content
Entailment / Logical consequence / Metalogic / Curry–Howard correspondence / Advanced Encryption Standard / Orbifold / Measure of non-compactness / Logic / Deduction / Proof theory


Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch
Add to Reading List

Document Date: 2013-07-24 10:25:38

Open Document

File Size: 237,65 KB

Share Result on Facebook
UPDATE