This technical report addresses how to hide secrets from an operating system. The authors provide a detailed design for the VM blackbox and some microarchitecture level simulation derived performance data. They also describe a compiler directed prefetch scheme that uses both instruction and data prefetches to obfuscate the address traces on the address bus between on-chip L2 cache and memory.

This technical report discusses a framework for design validation of security architectures.

This report discusses research on reducing our carbon footprint through ridesharing. The focus of this research project was to analyze and collect travel trajectories to calculate carbon footprints under different travel modes and identify ways to reduce it.