Title	Date
Proving Abstractions of Dynamical Systems Using Numerical Simulations	2014-06-03
Science of Human Circumvention of Security	2014-10-23
Static Dynamic Analysis of Security Metrics for Cyberphysical Systems	2014-10-30
Privacy and Security in Distributed Control: Differentially Private Consensus	2012-12-03
MLEFlow: Learning from History to Improve Load Balancing in Tor	2022-03-11