Timing-Safe Hardware-Level Information Flow Control

Techniques for Memory-efficiency, Low-latency and High-throughput in RDMA-based Datacenter Networks and Applications

Experimental and Computational Investigation of the Conformal Vortex Generator

An Environment for Accessing Remote Field-Programmable Custom Computing Machine Accelerators with Multi-Memory Banks

A Study on Modeling of MUX-based Physical Unclonable Functions

Computational Learning for Hand Pose Estimation

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

Efficient Data and Metadata Processing in Large-Scale Distributed Systems

Strongly Consistent Coordination for Wide Area Networks

Shingled Magnetic Recording Disks for Mass Storage Systems

Cyber-Physical Systems: From Specification Inference to Design Analysis

Learning and Optimization for Mixed Autonomy Systems: A Mobility Context