Back to Results
First PageMeta Content
Public-key cryptography / Electronic commerce / Advantage / XTR / Dolev-Yao model / RSA / CMAC / Ciphertext indistinguishability / Universal composability / Cryptography / Cryptographic protocols / Finite fields


Modular Code-Based Cryptographic Verification Cédric Fournet Markulf Kohlweiss Pierre-Yves Strub
Add to Reading List

Document Date: 2011-08-23 11:52:17

Open Document

File Size: 227,59 KB

Share Result on Facebook
UPDATE