| 2015 Symposium and Bootcamp on the Science of Security (HotSoS) - Poster Presentations |
|
| Enforcing Customizable Consistency Properties in Software-Defined Networks |
|
| L2-gain Analysis for a Class of Hybrid Systems with Applications to Reset and Event-triggered Control A Lifting Approach |
|
| Controller Synthesis for Linear Time-varying Systems with Adversaries |
|
| Reliability Analysis with Dynamic Reliability Block Diagrams in the Mobius Modeling Tool |
|
| Game Theory with Learning for Cyber Security Monitoring |
|
| Characterizing Smartphone Usage Patterns from Millions of Android Users |
|
| The Healthtech Declaration |
|
| Science of Security for Cyber-Physical Systems Workshop |
|
| SoSSDN 2016 - Artifacts Available Now |
|
| Parallel Simulation and Virtual-machine-based Emulation of Software-defined Network |
|
| Parallel Simulation and Virtual Machine Based Emulation of Software Defined Networks |
|
| Ravel A Database Defined Network |
|
| Rumor Source Obfuscation on Irregular Trees |
|
| Metadata-conscious Anonymous Messaging |
|
| Validating an Agent-Based Model of Human Password Behavior |
|
| Measuring Code Behavioral Similarity for Programming and Software Engineering Education |
|
| A Study of Grayware on Google Play |
|
| Beliefs about Cybersecurity Rules & Passwords: A Comparison of 2 Survey Samples of Cybersecurity Professionals Vs Regular Users |
|
| DSSnet: A Smart Grid Modeling Platform Combining Electrical Power Distribution System Simulation and Software Defined Networking |
|
| DSSnet final ink REAL FINALJK Poster |
|
| DSSnet: A Smart Grid Modeling Platform Combining Electrical Power Distribution System Simulation and Software Defined Networking |
|
| Bounded Invariant Verification for Time-delayed Nonlinear Networked Dyanmical Systems |
|
| 10112016_Prabhu.pdf |
|
| 02 SoS Quarterly Meeting July2016 Viswanath.pdf |
|