Objectively Measure Developers' Cognitive Activities: Code, Biases, and Brains

Digital Nudges for Encouraging Developer Behaviors

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