<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-14 14:43:29Dolev-Yao model Communications protocol Computer security Cryptographic primitive Information-theoretic security Cryptography Cryptographic protocols Secure multi-party computation |
Add to Reading List |
ZISC annual report[removed]