SMC: Satisfiability modulo convex programming

Diffusing private data over networks

State-Secrecy Codes for Stable Systems

Sensing-Constrained LQG Control