Public key certificate
L4 microkernel family
Operating system
Cryptography
Copyright law
Digital rights management