First Page | Document Content | |
---|---|---|
Date: 2017-01-05 05:07:13Cryptography Block ciphers Data Encryption Standard Finite fields Feistel cipher ARIA Advanced Encryption Standard Differential cryptanalysis ICE Interpolation attack Stream cipher XTR | MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity Martin Albrecht1 , Lorenzo Grassi3 , Christian Rechberger2,3 , Arnab Roy2 , and Tyge Tiessen2 1Add to Reading ListSource URL: eprint.iacr.orgDownload Document from Source WebsiteFile Size: 485,25 KBShare Document on Facebook |
Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,DocID: 1xVYM - View Document | |
Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,DocID: 1xUuJ - View Document | |
DocID: 1xTAR - View Document | |
PDF DocumentDocID: 1xfuX - View Document | |
Osservazioni alla Bozza di Strategia Energetica Nazionale C1 Sulla mancanza dell’obiettivo principale “qualità dell’aria”DocID: 1vrHP - View Document |