Cryptography
IP
Cryptographic protocols
NP
Soundness
Non-interactive zero-knowledge proof
XTR
Proof of secure erasure