Demystifying Leakage in Encrypted Systems

Human-Centered Interactive Systems for Configuring, Extending, and Developing AI Applications

Building Sensors that Cannot Lie: Verifiable Integrity in Resource-Constrained Embedded Systems

Algorithms and Applications for Hypergraph Data Analysi

Rough Sketch Cleanup

Improving Software Ethics with Empirically Validated Software Practices