Zipper is a protocol optimization layer that reduces bus communication latency by enabling device and request level parallelism and exploiting data locality — achieving 8x speedup with under 5% logic overhead.
A complete formal verification of the Sequestered Encryption (SE) low-trust architecture, proving security against direct data disclosures and digital side channels for all possible programs, demonstrated across seven correct and buggy RTL implementations.
Twine is a Chisel extension that standardizes hardware component interfaces and supports control-free specification with flexible data type conversion, considerably improving reusability for heterogeneous designs.
Morpheus is a RISC-V secure architecture that combines ensembles of moving target defenses with churn to continuously re-randomize pointers and code, achieving high-coverage protection against control-flow attacks with negligible (1%) performance overhead.
CommPact proposes Autonomous Vehicle contracts using Intel SGX secure enclaves to enforce agreed-upon driving rules in platoons, allowing safe contract termination within 1.5 seconds of an attack.