Paper-Conference

Zipper: Latency-Tolerant Optimizations for High-Performance Buses

Security Verification of Low-Trust Architectures

Twine: A Chisel Extension for Component-Level Heterogeneous Design

Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn

CommPact: Evaluating the Feasibility of Autonomous Vehicle Contracts