Cryptography: public keyExplains public-key cryptography, digital signatures, and key distribution for secure communication.
Building Safety Critical SystemsExplores integrating efficiency into safety critical systems, balancing correctness and efficiency, and the challenges of certification processes.