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

City

Wernsdorf / /

Company

AES / Expected LP / Hamming / /

IndustryTerm

natural solution / substitution-permutation network / scalar product / ordinary hardware / cryptographic algorithms / /

Organization

V(cr ) / Swiss National Science Foundation / /

Person

Serge Vaudenay / Ai / Thomas Baign`eres / /

Position

representative for each equivalence class / representative / /

Product

Lemma 1 / /

ProgrammingLanguage

C / /

Technology

block cipher / /

URL

http /

SocialTag