Lectures related to SecChisel: Security Verification of Secure Processor Architectures

Covers the historical development and key concepts of homomorphic encryption, focusing on the Paillier cryptosystem and the BGV cryptosystem.

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

Introduces homomorphic encryption, enabling computation on encrypted data without decryption, covering security, applications, and practical aspects.

Explores the evolution and microarchitectures of x86 and ARM processors, from early designs to modern advancements.

Explores simulation-based verification in VLSI systems using compiled-code and event-driven algorithms.

Covers Advanced VLSI Design concepts, including Full Custom Design and Parallel Prefix Adder.