Control of Linear Switched Systems With Receding Horizon Modal Information Read more about Control of Linear Switched Systems With Receding Horizon Modal Information
On the Cost of Differential Privacy in Distributed Control Systems Read more about On the Cost of Differential Privacy in Distributed Control Systems
Proofs from Simulations and Modular Annotations Read more about Proofs from Simulations and Modular Annotations
Differentially Private Iterative Synchronous Consensus Read more about Differentially Private Iterative Synchronous Consensus
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage Read more about Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Controller Synthesis for Linear Time-varying Systems with Adversaries Read more about Controller Synthesis for Linear Time-varying Systems with Adversaries
User-aware privacy control via extended static-information-flow analysis Read more about User-aware privacy control via extended static-information-flow analysis
AppContext Differentiating Malicious and Benighn Mobile App Behaviors Using Context Read more about AppContext Differentiating Malicious and Benighn Mobile App Behaviors Using Context
Gamifying Softwre Security Education and Training via Secure Codeing Duels in Code Hunt Poster Abstract Read more about Gamifying Softwre Security Education and Training via Secure Codeing Duels in Code Hunt Poster Abstract
Mismorphism: a Semiotic Model of Computer Security Circumvention Poster Abstract Read more about Mismorphism: a Semiotic Model of Computer Security Circumvention Poster Abstract