Content Editor

UIUC Science of Security Lablet Research Initiative

Bulk operations

Disable Notifications

Log message:


	Title	Type	Author	Post date	Published	Post: Public	Taxonomy terms
0 items selected. Select all items: on this page only across all pages
	12 SoS Quarterly Meeting July2016 Xie.pdf	File	awhitesell	Oct 24 2016 - 4:23pm	Yes	Yes	NSA SoS Lablets Materials Science of Human Circumvention of Security Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	User-Centric Mobile Security Assessment	Biblio	awhitesell	Oct 24 2016 - 4:23pm	Yes	Yes	NSA SoS Lablets Materials Science of Human Circumvention of Security Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Beliefs about Cybersecurity Rules and Passwords A Comparison of Two Survey Samples	File	awhitesell	Oct 24 2016 - 4:12pm	Yes	Yes	CPS Domains NSA SoS Lablets Materials Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security CPS Technologies NSA SoS Lablets Materials
	Beliefs about Cybersecurity Rules and Passwords: A Comparison of Two Survey Samples of Cybersecurity Professionals Versus Regular Users	Biblio	awhitesell	Oct 24 2016 - 4:12pm	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	15 SoS Quarterly Meeting July2016 Iyer.pdf	File	awhitesell	Oct 24 2016 - 3:56pm	Yes	Yes	Intrusion/Anomaly Detection and Malware Mitigation keyloggers NSA SoS Lablets Materials Science of Security UIUC virtual machines Data Driven Security Models and Analysis UIUC Intrusion/Anomaly Detection and Malware Mitigation Science of Security NSA SoS Lablets Materials
	Detection of Malicious Keyloggers in Virtual Desktop Environments	Biblio	awhitesell	Oct 24 2016 - 3:56pm	Yes	Yes	Intrusion/Anomaly Detection and Malware Mitigation keyloggers NSA SoS Lablets Materials Science of Security UIUC virtual machines Data Driven Security Models and Analysis UIUC Intrusion/Anomaly Detection and Malware Mitigation Science of Security NSA SoS Lablets Materials
	06 SoS Quarterly Meeting July2016 Sanders.pdf	File	awhitesell	Oct 24 2016 - 3:48pm	Yes	Yes	CPS Domains Metrics NSA SoS Lablets Materials Science of Security system resilience UIUC UIUC Data-Driven Model-Based Decision-Making Science of Security CPS Technologies NSA SoS Lablets Materials
	ADVISE – Adversary View Security Evaluation: Practical Metrics for Enterprise Security Engineering (poster)	Biblio	awhitesell	Oct 24 2016 - 3:48pm	Yes	Yes	Metrics NSA SoS Lablets Materials Science of Security system resilience UIUC UIUC Data-Driven Model-Based Decision-Making Science of Security NSA SoS Lablets Materials
	02 SoS Quarterly Meeting July2016 Viswanath.pdf	File	awhitesell	Oct 24 2016 - 3:41pm	Yes	Yes	CPS Domains CPS Domains CPS Technologies NSA SoS Lablets Materials Science of Security UIUC Anonymous Messaging UIUC Science of Security CPS Technologies NSA SoS Lablets Materials
	Metadata-conscious Anonymous Messaging	Biblio	awhitesell	Oct 24 2016 - 3:41pm	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC Anonymous Messaging UIUC Science of Security NSA SoS Lablets Materials
	Bounded Invariant Verification for Time-delayed Nonlinear Networked Dyanmical Systems	File	awhitesell	Jul 13 2016 - 3:24pm	Yes	Yes	Compositional Verification delayed dynamical systems Input-to-state Stability NSA SoS Lablets Materials Science of Security Simulation-based Verification UIUC UIUC Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security NSA SoS Lablets Materials
	Bounced Invariant Verification for Time-delayed Nonlinear Networked Dynamical Systems	Biblio	awhitesell	Jul 13 2016 - 3:24pm	Yes	Yes	Compositional Verification delayed dynamical systems Input-to-state Stability NSA SoS Lablets Materials Science of Security Simulation-based Verification UIUC UIUC Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security NSA SoS Lablets Materials
	DSSnet: A Smart Grid Modeling Platform Combining Electrical Power Distribution System Simulation and Software Defined Networking	File	awhitesell	Jul 13 2016 - 3:13pm	Yes	Yes	A Hypothesis Testing Framework for Network Security A Hypothesis Testing Framework for Network Security CPS Domains CPS Domains Electrical power system simulation Energy Sector Energy Sector Metrics microgrid networ emulation network security neural network Neural networks neural networks security NSA SoS Lablets Materials policy-based governance pubcrawl Resiliency Science of Security Smart Grid Smart Grid Privacy software-defined networking UIUC Smart Grid UIUC Network Security Science of Security NSA SoS Lablets Materials
	DSSnet: A Smart Grid Modeling Platform Combining Electrical Power Distribution System Simulation and Software Defined Networking Emulation (poster)	Biblio	awhitesell	Jul 13 2016 - 2:59pm	Yes	Yes	A Hypothesis Testing Framework for Network Security electrical power systems simulation Energy Sector Energy Sector microgrid Network Emulation network security NSA SoS Lablets Materials Science of Security Smart Grid software-defined networking UIUC Smart Grid UIUC Network Security Science of Security NSA SoS Lablets Materials
	DSSnet: A Smart Grid Modeling Platform Combining Electrical Power Distribution System Simulation and Software Defined Networking	File	awhitesell	Jul 13 2016 - 2:59pm	Yes	Yes	A Hypothesis Testing Framework for Network Security electrical power systems simulation Energy Sector Energy Sector microgrid Network Emulation network security NSA SoS Lablets Materials Science of Security Smart Grid software-defined networking UIUC Smart Grid UIUC Network Security Science of Security Poster NSA SoS Lablets Materials
	A Study of Grayware on Google Play	Biblio	awhitesell	Jul 13 2016 - 2:44pm	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	A Study of Grayware on Google Play	File	awhitesell	Jul 13 2016 - 2:44pm	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Measuring Code Behavioral Similarity for Programming and Software Engineering Education	File	awhitesell	Jul 13 2016 - 2:20pm	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Measuring Code Behavioral Similarity for Programming and Software Engineering Education	Biblio	awhitesell	Jul 13 2016 - 2:20pm	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Metadata-conscious Anonymous Messaging	File	awhitesell	Jul 13 2016 - 1:56pm	Yes	Yes	anonymous messaging NSA SoS Lablets Materials Science of Security UIUC Anonymous Messaging UIUC Science of Security NSA SoS Lablets Materials
	Metadata-conscious Anonymous Messaging	Biblio	awhitesell	Jul 13 2016 - 1:56pm	Yes	Yes	anonymous messaging NSA SoS Lablets Materials Science of Security UIUC Anonymous Messaging UIUC Science of Security NSA SoS Lablets Materials
	Rumor Source Obfuscation on Irregular Trees	File	awhitesell	Jul 13 2016 - 1:49pm	Yes	Yes	anonymity anonymous messaging Anonymous Social Media Measurement NSA SoS Lablets Materials privacy anonymity privacy models privacy models and measurement Privacy Protections pubcrawl Resiliency Rumer Spreading Scalability Science of Security UIUC work factor metrics Privacy Protections Anonymous Messaging UIUC Science of Security NSA SoS Lablets Materials
	Ravel A Database Defined Network	File	awhitesell	Apr 12 2016 - 3:49pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Architectures centralized networks CPS Technologies network management network security NSA SoS Lablets Materials Programming Abstraction Science of Security Software-Defined Networks SQL Database UIUC views UIUC Network Security Science of Security CPS Technologies NSA SoS Lablets Materials
	Ravel: A Database-Defined Network	Biblio	awhitesell	Apr 12 2016 - 3:46pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Architectures centralized networks network management network security NSA SoS Lablets Materials Programming Abstraction Science of Security Software-Defined Networks SQL Database UIUC views UIUC Network Security Science of Security NSA SoS Lablets Materials
	Parallel Simulation and Virtual Machine Based Emulation of Software Defined Networks	File	awhitesell	Apr 12 2016 - 3:40pm	Yes	Yes	A Hypothesis Testing Framework for Network Security CPS Technologies Discrete event distributed foundations network security NSA SoS Lablets Materials parallel Science of Security simulation software-defined networking UIUC virtual line UIUC Network Security Science of Security Simulation CPS Technologies Foundations NSA SoS Lablets Materials
	Parallel Simulation and Virtual-machine-based Emulation of Software-defined Network	Biblio	awhitesell	Apr 12 2016 - 3:40pm	Yes	Yes	A Hypothesis Testing Framework for Network Security CPS Technologies Discrete event distributed foundations network security NSA SoS Lablets Materials parallel Science of Security simulation software-defined networking UIUC virtual line UIUC Network Security Science of Security Simulation Foundations NSA SoS Lablets Materials
	SoSSDN 2016 - Artifacts Available Now	Event	awhitesell	Apr 1 2016 - 3:08pm	Yes	Yes	Workshop CPS Technologies
	Science of Security for Cyber-Physical Systems Workshop	Event	awhitesell	Jan 15 2016 - 1:47pm	Yes	Yes	CPS Domains CPS Week cyber-physical systems CPS Week 2016 Workshop CPS Technologies 2016
	Preemptive Intrusion Detection Theoretical Framework and Real-World Measurements	File	amyclay	Nov 18 2015 - 3:17pm	Yes	Yes	Intrusion/Anomaly Detection and Malware Mitigation NSA SoS Lablets Materials Science of Security UIUC Data Driven Security Models and Analysis UIUC Intrusion/Anomaly Detection and Malware Mitigation Science of Security NSA SoS Lablets Materials
	Preemptive Intrusion Detection: Theoretical Framework and Real-World Measurements	Biblio	amyclay	Nov 18 2015 - 3:17pm	Yes	Yes	Intrusion/Anomaly Detection and Malware Mitigation NSA SoS Lablets Materials Science of Security UIUC Data Driven Security Models and Analysis UIUC Intrusion/Anomaly Detection and Malware Mitigation Science of Security NSA SoS Lablets Materials
	Differentially Private Distributed Optimization	File	amyclay	Nov 17 2015 - 6:40pm	Yes	Yes	Classification of Cyber-Physical System Adversaries NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Security NSA SoS Lablets Materials
	Differentially Private Distributed Optimization	Biblio	amyclay	Nov 17 2015 - 6:40pm	Yes	Yes	Classification of Cyber-Physical System Adversaries NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Security NSA SoS Lablets Materials
	Entropy-minimizing Mechanism for Differential Privacy of Discrete-time Linear Feedback Systems	Biblio	amyclay	Nov 17 2015 - 6:00pm	Yes	Yes	UIUC UIUC Science of Security NSA SoS Lablets Materials
	Entropy minimizing Mechanism for Differential Privacy of Discrete time Linear Feedback Systems	File	amyclay	Nov 17 2015 - 6:00pm	Yes	Yes	UIUC UIUC Science of Security NSA SoS Lablets Materials
	Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage	File	amyclay	Nov 17 2015 - 3:40pm	Yes	Yes	biological networks health care hybrid systems invariants Medical Devices medical devices NSA SoS Lablets Materials pacemakers. Safety Science of Security UIUC verification UIUC Health Care Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security NSA SoS Lablets Materials
	Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage	Biblio	amyclay	Nov 17 2015 - 3:40pm	Yes	Yes	biological networks health care hybrid systems invariants medical devices Medical Devices NSA SoS Lablets Materials pacemakers. Safety Science of Security UIUC verification UIUC Health Care Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security NSA SoS Lablets Materials
	Controller Synthesis for Linear Time-varying Systems with Adversaries	File	amyclay	Nov 17 2015 - 3:28pm	Yes	Yes	constraint-based synthesis Controller Synthesis critical infrastructure cyber-physical security NSA SoS Lablets Materials Science of Security Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems UIUC UIUC Critical Infrastructure Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security NSA SoS Lablets Materials
	Controller Synthesis for Linear Time-varying Systems with Adversaries	Biblio	amyclay	Nov 17 2015 - 3:28pm	Yes	Yes	constraint-based synthesis Controller Synthesis critical infrastructure cyber-physical security NSA SoS Lablets Materials Science of Security Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems UIUC UIUC Critical Infrastructure Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security NSA SoS Lablets Materials
	User-aware privacy control via extended static-information-flow analysis	File	amyclay	Nov 17 2015 - 12:15pm	Yes	Yes	information flow analysis Mobile Application Mobile Platform Security Privacy Control static analysis UIUC UIUC Information Flow Control Science of Security NSA SoS Lablets Materials
	User-Aware Privacy Control via Extended Static-Information-Flow Analysis	Biblio	amyclay	Nov 17 2015 - 12:15pm	Yes	Yes	information flow analysis Mobile Application Mobile Platform Security Privacy Control static analysis UIUC UIUC Information Flow Control Science of Security NSA SoS Lablets Materials
	AppContext: Differentiating Malicious and Benign Mobile App Behavior Under Context	Biblio	amyclay	Nov 17 2015 - 11:58am	Yes	Yes	Human and Societal Aspects of Security and Privacy malware detection NSA SoS Lablets Materials Science of Security security-sensitive behavior UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	AppContext Differentiating Malicious and Benighn Mobile App Behaviors Using Context	File	amyclay	Nov 17 2015 - 11:58am	Yes	Yes	Human and Societal Aspects of Security and Privacy malware detection NSA SoS Lablets Materials Science of Security security-sensitive behavior UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt	Biblio	amyclay	Nov 17 2015 - 11:46am	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Gamifying Softwre Security Education and Training via Secure Codeing Duels in Code Hunt Poster Abstract	File	amyclay	Nov 17 2015 - 11:46am	Yes	Yes	NSA SoS Lablets Materials Science of Security UIUC UIUC Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Mismorphism: A Semiotic Model of Computer Security Circumvention (poster abstract)	Biblio	amyclay	Nov 17 2015 - 11:36am	Yes	Yes	Human and Societal Aspects of Security and Privacy Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security
	Mismorphism: a Semiotic Model of Computer Security Circumvention Poster Abstract	File	amyclay	Nov 17 2015 - 11:36am	Yes	Yes	Human and Societal Aspects of Security and Privacy Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security
	Measuring the Security Impacts of Password Policies Using Cognitive Behavioral Agent Based Modeling	Biblio	amyclay	Nov 16 2015 - 6:41pm	Yes	Yes	Human and Societal Aspects of Security and Privacy Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security
	Measuring the Security Impacts of Password Policies Using Cognitive Behavioral Agent-Based Modeling	File	amyclay	Nov 16 2015 - 6:41pm	Yes	Yes	Human and Societal Aspects of Security and Privacy Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security
	Mismorphism: A Semiotic Model of Computer Security Circumvention	Biblio	amyclay	Nov 16 2015 - 6:35pm	Yes	Yes	Human and Societal Aspects of Security and Privacy Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security
	Mismorphism: a Semiotic Model of Computer Security Circumvention	File	amyclay	Nov 16 2015 - 6:35pm	Yes	Yes	Human and Societal Aspects of Security and Privacy Science of Security UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security
	Dynamic VM Dependability Monitoring Using Hypervisor Probes	Biblio	amyclay	Nov 16 2015 - 6:12pm	Yes	Yes	computer security fault diagnosis NSA SoS Lablets Materials Platform virtualization Reliability Science of Security UIUC Virtual machine monitors Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Dynamic VM Dependability Monitoring Using Hypervisor Probes	File	amyclay	Nov 16 2015 - 6:12pm	Yes	Yes	computer security fault diagnosis NSA SoS Lablets Materials Platform virtualization Reliability Science of Security UIUC Virtual machine monitors Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Towards an Unified Security Testbed and Security Analytics Framework	Biblio	amyclay	Nov 16 2015 - 6:04pm	Yes	Yes	log processing monitoring architecture NSA SoS Lablets Materials Science of Security system architecture UIUC Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Towards an Unified Security Testbed and Security Analytics Framework	File	amyclay	Nov 16 2015 - 6:04pm	Yes	Yes	log processing monitoring architecture NSA SoS Lablets Materials Science of Security system architecture UIUC Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Hypervisor Introspection Exploiting Timing Side channels against VM Monitoring	File	amyclay	Nov 16 2015 - 5:58pm	Yes	Yes	hypervisor introspection NSA SoS Lablets Materials Science of Security UIUC virtual machine monitoring Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Hypervisor Introspection: Exploiting Timing Side-Channels against VM Monitoring	Biblio	amyclay	Nov 16 2015 - 5:58pm	Yes	Yes	hypervisor introspection NSA SoS Lablets Materials Science of Security UIUC virtual machine monitoring Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Reliability and Security Monitoring of Virtual Machines using Hardware Architectural Invariants	File	amyclay	Nov 16 2015 - 5:32pm	Yes	Yes	architectural invariants Monitoring NSA SoS Lablets Materials Science of Security UIUC virtual machines Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Reliability and Security Monitoring of Virtual Machines using Hardware Architectural Invariants	Biblio	amyclay	Nov 16 2015 - 5:30pm	Yes	Yes	architectural invariants Monitoring NSA SoS Lablets Materials Science of Security UIUC virtual machines Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Building Reliable and Secure Virtual Machines using Architectural Invariants	File	amyclay	Nov 16 2015 - 5:22pm	Yes	Yes	architectureal invariants Cloud Computing Monitoring NSA SoS Lablets Materials Science of Security UIUC virtual machines Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Building Reliable and Secure Virtual Machines using Architectural Invariants	Biblio	amyclay	Nov 16 2015 - 5:22pm	Yes	Yes	architectureal invariants Cloud Computing Monitoring NSA SoS Lablets Materials Science of Security UIUC virtual machines Data Driven Security Models and Analysis UIUC Science of Security NSA SoS Lablets Materials
	Resiliency Variance in Workflows with Choice	File	amyclay	Nov 11 2015 - 6:45pm	Yes	Yes	NSA SoS Lablets Materials quantitative analysis resiliency metrics Science of Security UIUC Workflow Satisfiability Problem UIUC Data-Driven Model-Based Decision-Making Science of Security NSA SoS Lablets Materials
	Resiliency Variance in Workflows with Choice	Biblio	amyclay	Nov 11 2015 - 6:45pm	Yes	Yes	NSA SoS Lablets Materials quantitative analysis resiliency metrics Science of Security UIUC Workflow Satisfiability Problem UIUC Data-Driven Model-Based Decision-Making Science of Security NSA SoS Lablets Materials
	Impact of Policy Design on Workflow Resiliency Computation Time	File	amyclay	Nov 11 2015 - 6:38pm	Yes	Yes	NSA SoS Lablets Materials Probabilistic Model Checker Science of Security UIUC User availability Workflow Satisfiability Problem UIUC Data-Driven Model-Based Decision-Making Science of Security NSA SoS Lablets Materials
	Impact of Policy Design on Workflow Resiliency Computation Time	Biblio	amyclay	Nov 11 2015 - 6:38pm	Yes	Yes	NSA SoS Lablets Materials Probabilistic Model Checker Science of Security UIUC User availability Workflow Satisfiability Problem UIUC Data-Driven Model-Based Decision-Making Science of Security NSA SoS Lablets Materials
	Modelling User Availablity in Workflow Resiliency Analysis	File	amyclay	Nov 11 2015 - 6:26pm	Yes	Yes	Markov Decision Process NSA SoS Lablets Materials Probabilistic Model Checker Science of Security simulation UIUC Workflow Satisfiability Problem UIUC Data-Driven Model-Based Decision-Making Science of Security Simulation NSA SoS Lablets Materials
	Modelling User Availability in Workflow Resiliency Analysis	Biblio	amyclay	Nov 11 2015 - 6:26pm	Yes	Yes	Markov Decision Process NSA SoS Lablets Materials Probabilistic Model Checker Science of Security simulation UIUC Workflow Satisfiability Problem UIUC Data-Driven Model-Based Decision-Making Science of Security Simulation NSA SoS Lablets Materials
	On Massively Parallel Simulation of Large-Scale Fat-Tree Networks for HPC Systems and Data Centers	File	amyclay	Nov 11 2015 - 6:12pm	Yes	Yes	A Hypothesis Testing Framework for Network Security A Hypothesis Testing Framework for Network Security network security NSA SoS Lablets Materials Science of Security UIUC UIUC Network Security Science of Security NSA SoS Lablets Materials
	On Massively Parallel Simulation of Large-Scale Fat-Tree Networks for HPC Systems and Data Centers (poster)	Biblio	amyclay	Nov 11 2015 - 6:07pm	Yes	Yes	A Hypothesis Testing Framework for Network Security A Hypothesis Testing Framework for Network Security network security NSA SoS Lablets Materials Science of Security UIUC UIUC Network Security Science of Security NSA SoS Lablets Materials
	VT-Mininet Vitual-time-enabled Mininet for Scalable and Accurate Software-Define Network Emulation	File	amyclay	Nov 11 2015 - 5:49pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Mininet Network Emulation network security NSA SoS Lablets Materials Science of Security SDN UIUC Virtual Time UIUC Network Security Science of Security NSA SoS Lablets Materials
	VT-Miniet: Virtual-time-enabled Mininet for Scalable and Accurate Software-Define Network Emulation	Biblio	amyclay	Nov 11 2015 - 5:49pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Mininet Network Emulation network security NSA SoS Lablets Materials Science of Security SDN UIUC Virtual Time UIUC Network Security Science of Security NSA SoS Lablets Materials
	FatTreeSim: Modeling Large-scale,Fat-Tree Networks for HPC Systems and Data Centers Using Parallel and Discrete Event Simulation	File	amyclay	Nov 11 2015 - 4:23pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Blue Gene/Q Datacenter interconnection network Fat-tree networks NSA SoS Lablets Materials Parallel discrete event simulation Science of Security simulation Supercomputer interconnection networks UIUC UIUC Science of Security Simulation NSA SoS Lablets Materials
	FatTreeSim: Modeling a Large-scale Fat-Tree Network for HPC Systems and Data Centers Using Parallel and Discrete Even Simulation	Biblio	amyclay	Nov 11 2015 - 4:23pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Blue Gene/Q Datacenter interconnection network Fat-tree networks NSA SoS Lablets Materials Parallel discrete event simulation Science of Security simulation Supercomputer interconnection networks UIUC UIUC Science of Security Simulation NSA SoS Lablets Materials
	A Virtual Time System for Linux-container-based Emulation of Software-defined Networks	File	amyclay	Nov 11 2015 - 4:06pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Linux Container Mininet Network Emulation software-defined networking Time Dilation Virtual Time UIUC Network Security Science of Security Simulation NSA SoS Lablets Materials
	A Virtual Time System for Linux-container-based Emulation of Software-defined Networks	Biblio	awhitesell	Nov 11 2015 - 4:06pm	Yes	Yes	A Hypothesis Testing Framework for Network Security Linux Container Mininet Network Emulation software-defined networking Time Dilation Virtual Time UIUC Network Security Science of Security Simulation NSA SoS Lablets Materials
	Enforcing Customizable Consistency Properties in Software-Defined Networks	File	awhitesell	Nov 11 2015 - 3:41pm	Yes	Yes	A Hypothesis Testing Framework for Network Security network security Science of Security UIUC UIUC Network Security Science of Security
	Enforcing Customizable Consistency Properties in Software-Defined Networks	Biblio	awhitesell	Nov 11 2015 - 3:41pm	Yes	Yes	A Hypothesis Testing Framework for Network Security network security Science of Security UIUC UIUC Network Security Science of Security
	Securing Industrial Control Systems with a Simulation-based Verification System	Biblio	awhitesell	Jan 13 2015 - 12:36pm	Yes	Yes	A Hypothesis Testing Framework for Network Security network security Science of Security UIUC UIUC Network Security Science of Security
	Towards Correct Network Virtualization	Biblio	awhitesell	Jan 13 2015 - 12:19pm	Yes	Yes	A Hypothesis Testing Framework for Network Security network security NSA SoS Lablets Materials Science of Security UIUC UIUC Network Security Science of Security NSA SoS Lablets Materials
	Static Dynamic Analysis of Security Metrics for Cyberphysical Systems	File	mitras	Oct 30 2014 - 1:51pm	Yes	Yes	Academia Metrics privacy reachability Security Metrics SoS Quarterly Lablet Meeting, Oct '14 at UMD Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security Simulation Presentation
	Agent-based Modeling of User Circumvention of Security	Biblio	Katie Dey	Oct 24 2014 - 12:51pm	Yes	Yes	Human and Societal Aspects of Security and Privacy Human behavior NSA SoS Lablets Materials Science of Human Circumvention of Security Science of Security SoS Lablet UIUC UIUC Human and Societal Aspects of Security and Privacy Science of Human Circumvention of Security Science of Security NSA SoS Lablets Materials
	Science of Human Circumvention of Security	Group Project	mitras	Oct 23 2014 - 1:31pm	Yes	Yes	Policy-Governed Secure Collaboration Scalability and Composability Security Metrics Driven Evaluation, Design, Development, and Deployment UIUC
	A Hypothesis Testing Framework for Network Security	Group Project	Matt Caesar	Oct 23 2014 - 1:29pm	Yes	Yes	Policy-Governed Secure Collaboration Resilient Architectures Scalability and Composability Security Metrics Driven Evaluation, Design, Development, and Deployment UIUC
	Data Driven Security Models and Analysis	Group Project	Zbigniew Kalbarczyk	Oct 23 2014 - 1:09pm	Yes	Yes	Resilient Architectures Security Metrics Driven Evaluation, Design, Development, and Deployment Understanding and Accounting for Human Behavior UIUC
	Data-Driven Model-Based Decision-Making	Group Project	David Nicol	Oct 23 2014 - 1:03pm	Yes	Yes	Security Metrics Driven Evaluation, Design, Development, and Deployment Understanding and Accounting for Human Behavior UIUC
	Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems	Group Project	Geir Dullerud	Oct 22 2014 - 2:25pm	Yes	Yes	Scalability and Composability Security Metrics Driven Evaluation, Design, Development, and Deployment UIUC
	Personalized Password Guessing: A New Security Threat	Biblio	Zbigniew Kalbarczyk	Sep 17 2014 - 6:31pm	Yes	Yes	ACM CCS ACM CCS cyber security foundations Graphical Model guessing Human and Societal Aspects of Security and Privacy modeling password personalized Science of Security suggestion Cyber Security Data Driven Security Models and Analysis Human and Societal Aspects of Security and Privacy Modeling Science of Security Foundations
	Preemptive Intrusion Detection	Biblio	Zbigniew Kalbarczyk	Sep 17 2014 - 6:31pm	Yes	Yes	ACM CCS ACM CCS CPS Technologies credential stealing attack cyber security cyber-system factor graph foundations Graphical Model Intrusion Detection Systems Intrusion/Anomaly Detection and Malware Mitigation modeling Science of Security security incident systems engineering tagging timeliness Cyber Security Intrusion Detection Systems Data Driven Security Models and Analysis Modeling Systems Engineering Intrusion/Anomaly Detection and Malware Mitigation Science of Security CPS Technologies Foundations
	Proving Abstractions of Dynamical Systems Through Numerical Simulations	Biblio	mitras	Sep 17 2014 - 6:31pm	Yes	Yes	abstraction ACM CCS ACM CCS adversary CPS Technologies Cryptography Cryptography cyberphysical systems foundations Mathematical Foundations of Cryptography Science of Security simulation systems engineering validation and verification verification Systems Engineering Mathematical Foundations of Cryptography Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems Science of Security Simulation Validation and Verification CPS Technologies Foundations
	Quantitative Security Metrics for Cyber-Human Systems	Group Project	Heather Lucas	Nov 9 2012 - 8:47pm	Yes	Yes	UIUC
	Trust from Explicit Evidence: Integrating Digital Signatures and Formal Proofs	Group Project	Heather Lucas	Nov 9 2012 - 8:18pm	Yes	Yes	UIUC
	Towards a Science of Securing Network Forwarding	Group Project	Heather Lucas	Nov 9 2012 - 8:17pm	Yes	Yes	UIUC
	Toward a Theory of Resilience in Systems: A Game-Theoretic Approach	Group Project	Heather Lucas	Nov 9 2012 - 8:16pm	Yes	Yes	UIUC
	Theoretical Foundations of Threat Assessment by Inverse Optimal Control	Group Project	Heather Lucas	Nov 9 2012 - 8:14pm	Yes	Yes	UIUC
	Secure Platforms via Stochastic Computing	Group Project	Heather Lucas	Nov 9 2012 - 8:13pm	Yes	Yes	UIUC
	The Science of Summarizing Systems: Generating Security Properties Using Data Mining and Formal Analysis	Group Project	Heather Lucas	Nov 9 2012 - 8:12pm	Yes	Yes	UIUC
	Scalable Methods for Security Against Distributed Attacks	Group Project	Heather Lucas	Nov 9 2012 - 8:11pm	Yes	Yes	UIUC
	Quantitative Assessment of Access Control in Complex Distributed Systems	Group Project	Heather Lucas	Nov 9 2012 - 8:10pm	Yes	Yes	UIUC
	Protocol Verification: Beyond Reachability Properties	Group Project	Heather Lucas	Nov 9 2012 - 8:09pm	Yes	Yes	UIUC
	From Measurements to Security Science: Data-Driven Approach	Group Project	Heather Lucas	Nov 9 2012 - 8:08pm	Yes	Yes	UIUC From Measurements to Security Science: Data-Driven Approach
	Enhancing Cyber Security Through Networks Resilient to Targeted Attacks	Group Project	Heather Lucas	Nov 9 2012 - 8:07pm	Yes	Yes	UIUC