Controller synthesis for linear dynamical systems with adversaries
Security is about control
Toward a normative approach for forensicability
Expressing and reasoning about conflicting norms in cybersecurity