| A Virtual Time System for Linux-container-based Emulation of Software-defined Networks |
|
| FatTreeSim: Modeling Large-scale,Fat-Tree Networks for HPC Systems and Data Centers Using Parallel and Discrete Event Simulation |
|
| VT-Mininet Vitual-time-enabled Mininet for Scalable and Accurate Software-Define Network Emulation |
|
| On Massively Parallel Simulation of Large-Scale Fat-Tree Networks for HPC Systems and Data Centers |
|
| Modelling User Availablity in Workflow Resiliency Analysis |
|
| Impact of Policy Design on Workflow Resiliency Computation Time |
|
| Resiliency Variance in Workflows with Choice |
|
| Building Reliable and Secure Virtual Machines using Architectural Invariants |
|
| Reliability and Security Monitoring of Virtual Machines using Hardware Architectural Invariants |
|
| Hypervisor Introspection Exploiting Timing Side channels against VM Monitoring |
|
| Towards an Unified Security Testbed and Security Analytics Framework |
|
| Dynamic VM Dependability Monitoring Using Hypervisor Probes |
|
| Mismorphism: a Semiotic Model of Computer Security Circumvention |
|
| Measuring the Security Impacts of Password Policies Using Cognitive Behavioral Agent-Based Modeling |
|
| Mismorphism: a Semiotic Model of Computer Security Circumvention Poster Abstract |
|
| Gamifying Softwre Security Education and Training via Secure Codeing Duels in Code Hunt Poster Abstract |
|
| AppContext Differentiating Malicious and Benighn Mobile App Behaviors Using Context |
|
| User-aware privacy control via extended static-information-flow analysis |
|
| Controller Synthesis for Linear Time-varying Systems with Adversaries |
|
| Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage |
|
| Differentially Private Iterative Synchronous Consensus |
|
| Proofs from Simulations and Modular Annotations |
|
| On the Cost of Differential Privacy in Distributed Control Systems |
|
| Control of Linear Switched Systems With Receding Horizon Modal Information |
|
| Stabilization of Markovian Jump Linear Systems With Log-Quantized Feedback |
|