Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
UIUC Science of Security Lablet Research Initiative
Home
Projects
Past Projects
Activity Stream
Researchers
Members
Content Editor
Files
CPS-VO
»
Science of Security VO
»
UIUC Science of Security Lablet Research Initiative
» BIBLIO
Biblio
List
Filter
Show only items where
Author
Type
Term
Year
Keyword
is
Anon
Aad Van Moorsel, Newcastle University
Aaron D. Ames, Texas A&M University
Abdullah Akce, University of Illinois at Urbana-Champaign
Adam J. Slagell, University of Illinois at Urbana-Champaign
Adam Slagell, University of Illinois at Urbana-Champaign
Adnan Haider, Illinois Institute of Technology
Adwait Nadkarni, North Carolina State University
Ahmed Khurshid, University of Illinois at Urbana-Champaign
Akhil Acharya
Al Faruque, Mohammad Abdullah
Alejandro D. Domínguez-García, University of Illinois at Urbana-Champaign
Alejandro Domininguez-Garcia, University of Illinois at Urbana-Champaign
Alex A. Birklykke, Aalborg University
Alex Withers, University of Illinois at Urbana-Champaign
Alexander Withers, University of Illinois at Urbana-Champaign
Alexandru Mereacre, University of Oxford
Ali Kheradmand, University of Illinois at Urbana-Champaign
Andrew Clark
Andrew Clark, University of Washington
Andrew Marturano, University of Illinois at Urbana-Champaign
Andrew Teel
Anduo Wang, Temple University
Anduo Wang, University of Illinois at Urbana-Champaign
Ang Li, University of Arkansas
Anshuman Mishra, University of Illinois at Urbana-Champaign
Bahman Gharesifard
Bahman Gharesifard, University of Illinois at Urbana-Champaign
Behrouz Touri
Ben Ujcich, University of Illinois at Urbana-Champaign
Benjamin Andow
Benjamin Andow, North Carolina State University
Biplab Deka, University of Illinois at Urbana-Champaign
Blake Bassett, University of Illinois at Urbana-Champaign
Blythe, Jim
Brandon Nsiah-Ababio, University of Illinois at Urbana-Champaign
Brighten Godfrey, University of Illinois at Urbana-Champaign
Brighten Godfrey, University of Illions at Urbana-Champagin
Canedo, Arquimedes
Cao, Phuong
Carol Fung
Catello Di Marino, University of Illinois at Urbana-Champaugn
Cedric Langbort, University of Illinois at Urbana-Champaign
Charles A. Kamhoua, Air Force Research Laboratory
Charles Morisset, Newcastle University
Chen Chen, Argonne National Laboratory
Cheol Won Lee, National Research Institute, South Korea
Christopher Hannon, Illinois Institute of Technology
Christopher Novak, Dartmouth College
Chuchu Fan
Chuchu Fan, University of Illinois at Urbana-Champaign
Chung, Key-whan
Craig Rieger, Idaho Naitonal Laboratory
Cuong Pham, University of Illinois at Urbana-Champaign
Daniel Chen, University of Illinois at Urbana-Champagin
David Garlan, Carnegie Mellon University
David Harmon, Dartmouth College
David Nicol, University of Illinois at Urbana-Champaign
Dengfend Li, University of Illinois at Urbana-Champaign
Dengfeng Li, University of Illinois at Urbana-Champaign
Dennis Matthews, University of Illinois at Urbana-Champaign
Dong Jim, Illinois Institute of Technology
Dong Jin, Illinois Institute of Technology
Dong Jin, Illinois Institute of Tecnology
Dong Wei, Siemens Corporation
Eric Badger, University of Illinois at Urbana-Champaign
Eric C. Badger, University of Illinois at Urbana-Champaign
Eric J. Perreault, Northwestern University
Esther Amullen, Tennessee State University
Faramola Isiaka, University of Illinois at Urbana-Champaign
Fardin Abdi, University of Illinois at Urbana-Champaign
Fei Deng, University of Illinois at Urbana-Champaign
Felix Xiaozhu Lin, Purdue University
Feng Feng, Wandoujia Lab
Fuchun Sun, Tsinghua University
Gary Wang, University of Illinois at Urbana-Champaign
Geir Dullerud, University of Illinois at Urbana-Champaign
Giulia Fanti, University of Illinois at Urbana-Champaign
Gohar Irfan Chaudhry, University of Illinois at Urbana-Champaign
Greg Bronevetsky, Lawrence Livermore National Laboratory
Haibing Zheng, Tencent, Inc.
Harold Thimbleby, Swansea University
Henry Duwe, University of Illinois at Urbana-Champaign
Hoang Hai Nguyen, University of Illinois at Urbana-Champaign
Homa Alemzadeh, IBM TJ Watson
Hui Lin, University of Illinois at Urbana-Champaign
Huihua Zhao, Texas A&M University
Huoran Li, Peking University
Hussein Sibai, University of Illinois at Urbana-Champaign
Iyer, Ravishankar
James Norton, University of Illinois at Urbana-Champaign
Jason Croft, University of Illinois at Urbana-Champaign
Jean-Pierre Hubaux, Ecole Polytechnique Federal de Lausanne
Jianhui Wang, Argonne National Laboratory
Jiaqi Yan, Illinois Institute of Technology
Jim Blythe, University of Southern Califonia
Jim Blythe, University of Southern California
Joao Jansch Porto
John C. Mace, Newcastle University
Jonathan de Halleux, Microsoft Research
Jong Cheol Moon, National Research Institute, South Korea
Joseph Sloan, University of Illinois at Urbana-Champaign
Joshua Reed, University of Illinois at Urbana-Champaign
Judith Bishop, Microsoft Research
Kaigui Bian, Peking University
Kalbarczyk, Zbigniew
Kannan Ramchandra, University of California, Berkeley
Kannan Ramchandran, University of Illinois at Urbana-Chamapaign
Kannen Ramchandran, University of California, Berkeley
Kapil Singh
Kartik Palani, University of Illinois at Urbana-Champaign
Kelly Greeling, University of Illinois at Urbana-Champaign
Ken Keefe, University of Illinois at Urbana-Champaign
Ken Keefre, University of Illinolis at Urbana-Champaing
Kevin A. Kwiat, Air Force Research Laboratory
Kevin Jin, Illinois Institute of Technology
Kevin Sullivan, University of Virginia
Keywhan Chung, University of Illinois at Urbana-Champaign
Koppel, Ross
Kothari, Vijay
Kun Ji, Siemens Corporation
Levi J. Hargrove, Northwestern University
Li, Hongyang
Linda Bushnell
Linda Bushnell, University of Washington
Lok Yan, Air Force Research Laboratory
Magnus Egerstedt, University of Illinois at Urbana-Champaign
Manuel Fahndrich, Microsoft Research
Marco Caccamo, University of Illinois at Urbana-Champaign
Marta Kwiatkowska, University of Oxford
Masooda Bashir, University of Illinois at Urbana-Champaign
Masooda Bashire, University of Illinois at Urbana-Champaign
Matthew Caesar, University of Illinois at Urbana-Champaign
Matthew Hale, University of Illinois at Urbana-Champaign
Matthew Philippe, Universite Catholique de Louvain
Maurice Heemels
Michal Moskal, Microsoft Research
Miles Johnson, University of Illinois at Urbana-Champaign
Mitra, Sayan
Mladen Vouk, North Carolina State University
Mo Dong, University of Illinois at Urbana-Champaign
Mohammad Hossein Manshaei, Isfahan University of Technology
Mohammad Naghnaeian, University of Illinois at Urbana-Champaign
Mohammad Noureddine, University of Illinois at Urbana-Champaign
Nabil Schear, University of Illinois at Urbana-Champaign
Nahrstedt, Klara
Navid Aghasadeghi, University of Illinois at Urbana-Champaign
Negar Kiyavash, University of Illinois at Urbana-Champaign
Nikita Borisov, University of Illinois at Urbana-Champaign
Nikolai Tillmann, Microsoft Research
Ning Liu, Illinois Institute of Technology
Nipun Thekkummal, Newcastle University
Nitin Vaidya, University of Illinois at Urbana-Champaign
P. Brighten Godfrey, University of Illinois at Urbana-Champaign
Peter Dinges, University of Illinois at Urbana-Champaign
Peter Kairouz, University of Illinois at Urbana-Champaign
Peter W. Sauer, University of Illinois at Urbana-Champaign
Petros G. Voulgaris, University of Illinois at Urbana-Champaign
Phuong Cao, University of Illinois at Urbana-Champaign
Pierre McCauley, University of Illinois at Urbana-Champaign
Ping Liu, Illinois Institute of Technology
Pramod Viswanath, University of Illinois at Urbana-Champaign
Qiaozhu Mei, University of Michigan
Qinyi Wang, Beihang University
Quanyan Zhu, New York University
Quanyan Zhu, University of Illinois at Urbana-Champaign
Radha Poovendran
Radha Poovendran, University of Washington
Rakesh Kumar, University of Illinois at Urbana-Champaign
Ralph E. Johnson, University of Illinois at Urbana-Champaign
Raouf Boutaba
Raphael M. Jungers, Unveristy of Illinois at Urbana-Champaign
Ravishankar Iyer, University of Illinois at Urbana-Champaign
Ravishankar K. Iyer, University of Illinois at Urbana-Champaign
Ray Essick, University of Illinois at Urbana-Champaig
Ross Koppel, University of Pennsylvania
Ross Koppel, University of Southern California
Sabita Maharjan
Samira Tasharofi, University of Illinois at Urbana-Champaign
Santhosh Prabhu, University of Illinois at Urbana-Champaign
Sayan Mitra
Sayan Mitra, University of Illinois at Urbana-Champaign
Sean Smith, Dar
Sean Smith, Dartmouth College
Sean W. Smith, Darthmouth Colleg
Sean W. Smith, Darthmouth College
Sean W. Smith, Dartmouth College
Sewoong Oh, University of at Urbana-Champaign
Sewoong Oh, University of Illinois at Urbana-Champaign
Shaileshh Bojja Venkatakrishnan, University of Illinois Urbana-Champaign
Shubham Goel, University of Illinois at Urbana-Champaign
Sihan Li, University of Illinois at Urbana-Champaign
Simon Kim, University of Illinois at Urbana-Champaign
Slagell, Adam J.
Smith, Sean
Soudeh Ghorbani, University of Illinois at Urbana-Champaign
Stanley Bak, University of Illinois at Urbana-Champaign
Stein Gjessing
Surya Bakshi, University of Illinois at Urbana-Champaign
Swarat Chaudhuri, Rice University
Tamer Başar, University of Illinois at Urbana-Champaign
Tansu Alpcan, University of Melbourne
Tao Xie, University of Illinois at Urbana-Champaign
Timothy Bretl, University of Illinois at Urbana-Champaign
Tong Meng, University of Illinois at Urbana-Champaign
Valerio Formicola, University of Illinois at Urbana-Champaign
Vijay Kothari, Dartmouth College
Vikash K. Mansinghka, Massachusetts Institute of Technology
Wei Yang, University of Illinois at Urbana-Champaign
Wenxuan Zhou, University of Illinois at Urbana-Champaign
William Enck
William Enck, North Carolina State University
William H. Sanders, University of Illinois at Urbana-Champaign
Wing Lam, University of Illinois at Urbana-Champaign
Wujie Zheng, Tencent, Inc.
Xia Zeng, Tencent, Inc.
Xian-He Sun, Illinois Institute of Technology
Xin Liu, Illinois Institute of Technology
Xinyu Zhou, University of Maryland at College Park
Xuan Lu, Peking University
Xuanzhe Liu, Peking University
Xueyan Mei, University of Illinois at Urbana-Champaign
Xun Gong, University of Illinois at Urbana-Champaign
Xusheng Xiao, Case Western Reserve University
Xusheng Xiao, NEC Laboratories America
Yan Zhang
Yi Ning, Illinois Institute of Technology
Yu Wang, University of Illinois at Urbana-Champaign
Yuan Yuan, Tsinghua University
Yuetang Deng, Tencent, Inc.
Zachary Estrada, University of Illinois at Urbana-Champaign
Zachary J. Estrada, University of Illinois at Urbana-Champaign
Zackary Estrada, University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign
Zhengkai Wu, University of Illinois at Urbana-Champaign
Zhenqi Huang, University of Illinois at Urbana-Champaign
Zoe McCarthy, University of Illinois at Urbana-Champaign
Book Chapter
Conference Paper
Journal Article
Presentation
Web Article
Report
Thesis
Journal
Conference Proceedings
Keywords - A Hypothesis Testing Framework for Network Security
Keywords - abstraction
Keywords - Access controls
Keywords - ACM CCS
Keywords - adversary
Keywords - algorithmic error correction
Keywords - algorithmic fault tolerance
Keywords - Algorithms
Keywords - android
Keywords - Android apps
Keywords - anonymous messaging
Keywords - app management
Keywords - app performance
Keywords - app popularity
Keywords - app stores
Keywords - architectural invariants
Keywords - architectureal invariants
Keywords - Architectures
Keywords - Attack detection
Keywords - attack graphs
Keywords - AttackTagger
Keywords - authentication
Keywords - automata
Keywords - availabiltiy modeling
Keywords - biological networks
Keywords - Blue Gene/Q
Keywords - Bro
Keywords - centralized networks
Keywords - circumvention
Keywords - Cloud Computing
Keywords - code coverage
Keywords - Code Hunt
Keywords - collaborative networks
Keywords - Communication networks
Keywords - competitive networks
Keywords - complex ntworked control sytems
Keywords - Compositional Verification
Keywords - computer access
Keywords - computer security
Keywords - computing methodologies
Keywords - consensus dynamics
Keywords - consistency
Keywords - constraint-based synthesis
Keywords - continouous time Markov Chain Model
Keywords - control decisions
Keywords - Controller Synthesis
Keywords - correctness
Keywords - coupled riccati differential equations
Keywords - CPS Domains
Keywords - CPS Technologies
Keywords - credential stealing attack
Keywords - critical infrastructure
Keywords - Cryptography
Keywords - cyber attack
Keywords - cyber awareness
Keywords - cyber physical systems
Keywords - cyber security
Keywords - cyber-physical security
Keywords - cyber-physical systems
Keywords - cyber-system
Keywords - cyberphysical systems
Keywords - Cybersecurity
Keywords - Data Driven Security Models and Analysis
Keywords - data flow security
Keywords - data fusion
Keywords - data rate
Keywords - Datacenter interconnection network
Keywords - decision/estimation theory
Keywords - deep learning
Keywords - defense
Keywords - deformable objects
Keywords - delayed dynamical systems
Keywords - demand response management
Keywords - dependability
Keywords - design
Keywords - design and control
Keywords - Differential Games
Keywords - differential privacy
Keywords - Discrete event
Keywords - discrete-time linear switching systems
Keywords - distributed
Keywords - distributed algorithms/control
Keywords - distributed control
Keywords - DNP3
Keywords - educational software engineering
Keywords - Electrical power system simulation
Keywords - electrical power systems simulation
Keywords - End-to-End Analysis of Side Channels
Keywords - Energy
Keywords - Energy Sector
Keywords - Entropy
Keywords - error localization
Keywords - error tolerance
Keywords - factor graph
Keywords - factor graphs
Keywords - Fat-tree networks
Keywords - fault diagnosis
Keywords - firewall
Keywords - foundations
Keywords - fowarding debugging
Keywords - game theory
Keywords - games-in-games
Keywords - Graphical Model
Keywords - guessing
Keywords - GUI testing
Keywords - health care
Keywords - Healthtech
Keywords - hierarchical architecture
Keywords - Human and Societal Aspects of Security and Privacy
Keywords - Human behavior
Keywords - Human Factors
Keywords - human influenced task oriented process
Keywords - human systems
Keywords - human-centric security systems
Keywords - hybrid systems
Keywords - hypervisor introspection
Keywords - hypervisor probes
Keywords - IDS
Keywords - incentive compatitility
Keywords - Industrial Control Systems
Keywords - information flow analysis
Keywords - Information Technology Sector
Keywords - Input-to-state Stability
Keywords - Interconnected Systems
Keywords - Intrusion Detection
Keywords - intrusion detection system
Keywords - Intrusion Detection Systems
Keywords - Intrusion/Anomaly Detection and Malware Mitigation
Keywords - invariants
Keywords - jamming and security
Keywords - keyloggers
Keywords - Linux Container
Keywords - Linux kernel
Keywords - location privacy
Keywords - log processing
Keywords - malware detection
Keywords - manipulation
Keywords - manipulation planning
Keywords - markov chain
Keywords - Markov Decision Process
Keywords - Mathematical Foundations of Cryptography
Keywords - mechanics
Keywords - medical devices
Keywords - Metrics
Keywords - microgrid
Keywords - Mininet
Keywords - Mobile Application
Keywords - Model Abstraction
Keywords - modeling
Keywords - monintoring
Keywords - Monitoring
Keywords - monitoring architecture
Keywords - multi-resolution games
Keywords - multiparty computation
Keywords - NetLearner
Keywords - Network
Keywords - network consistency
Keywords - network control systems
Keywords - network design principles
Keywords - Network Emulation
Keywords - network functions
Keywords - network intrusion detection systems
Keywords - network management
Keywords - network optimization
Keywords - network security
Keywords - network security and economics
Keywords - network security and privacy
Keywords - network simulation
Keywords - Network Troubleshooting
Keywords - network verification
Keywords - network virtualization
Keywords - networks
Keywords - NIDS
Keywords - NSA
Keywords - NSA SoS Lablets Materials
Keywords - numerical methods
Keywords - one big switch
Keywords - one-to-many mapping
Keywords - OpenFlow
Keywords - optimal control
Keywords - optimization
Keywords - pacemakers.
Keywords - parallel
Keywords - Parallel discrete event simulation
Keywords - partial recomputation
Keywords - password
Keywords - password use
Keywords - path planning for manipulators
Keywords - personalized
Keywords - perturbation theory
Keywords - planning motion and path planning
Keywords - Platform virtualization
Keywords - Power Grid
Keywords - predictive security metrics
Keywords - Privacy Control
Keywords - Probabilistic Graphical Models
Keywords - Probabilistic Model Checker
Keywords - Programming Abstraction
Keywords - q-learning
Keywords - quantitative analysis
Keywords - quantitative metrics
Keywords - quantitative security metrics
Keywords - Real Time
Keywords - relay networks
Keywords - Reliability
Keywords - reliability modeling
Keywords - reliable systems
Keywords - replications
Keywords - reserve power
Keywords - resilience
Keywords - resilience systems
Keywords - Resiliency
Keywords - resiliency metrics
Keywords - Resilient Control of Cyber-Physical Systems with Distributed Learning
Keywords - resilient control sytems
Keywords - Resilient Systems
Keywords - reslilient control
Keywords - revocation
Keywords - robotics
Keywords - routing algorithms
Keywords - saddle-point dynamics
Keywords - Safety
Keywords - SCADA
Keywords - scale-out
Keywords - Science of Human Circumvention of Security
Keywords - Science of Security
Keywords - SDN
Keywords - secure control
Keywords - Secure Platforms via Stochastic Computing
Keywords - security
Keywords - security incident
Keywords - security-sensitive behavior
Keywords - sensitivity analysis
Keywords - simulation
Keywords - simulation environments
Keywords - simulation tools
Keywords - Simulation-based Verification
Keywords - Smart Grid
Keywords - smart grid Stackelberg game
Keywords - software defined networking
Keywords - Software-De fined Networking
Keywords - software-defined networking
Keywords - Software-Defined Networks
Keywords - SoS Lablet
Keywords - sparse linear algebra
Keywords - specification-based intrusion detection system
Keywords - SQL Database
Keywords - Stability analysis
Keywords - Stackelberg equilibrium
Keywords - state estimation
Keywords - State-based reliability model Mobius Atomic Model Formalism
Keywords - static analysis
Keywords - Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
Keywords - suggestion
Keywords - Supercomputer interconnection networks
Keywords - switched systems
Keywords - system architecture
Keywords - system resilience
Keywords - system security
Keywords - Systems
Keywords - systems engineering
Keywords - tagging
Keywords - test generation
Keywords - Theoretical Foundations of Threat Assessment by Inverse Optimal Control
Keywords - theory
Keywords - threat model
Keywords - Time Dilation
Keywords - timeliness
Keywords - Toward a Theory of Resilience in Systems: A Game-Theoretic Approach
Keywords - Towards a Science of Securing Network Forwarding
Keywords - UIUC
Keywords - uncertainty analysis
Keywords - Usable Security
Keywords - User availability
Keywords - usuable security
Keywords - validation and verification
Keywords - verification
Keywords - Veriflow
Keywords - views
Keywords - virtual line
Keywords - virtual machine monitoring
Keywords - Virtual machine monitors
Keywords - virtual machines
Keywords - Virtual Time
Keywords - Virtualization
Keywords - weak causal consistency
Keywords - wireless security
Keywords - Workarounds
Keywords - workflow
Keywords - workflow resiliency
Keywords - Workflow Satisfiability Problem
SoS Documents: By Topic - ACM CCS
SoS Documents: By Topic - Cryptography
SoS Documents: By Topic - Cyber Attacks
SoS Documents: By Topic - Cyber Security
SoS Documents: By Topic - Human and Societal Aspects of Security and Privacy
SoS Documents: By Topic - Information Flow Control
SoS Documents: By Topic - Intrusion Detection Systems
SoS Documents: By Topic - Intrusion/Anomaly Detection and Malware Mitigation
SoS Documents: By Topic - Mathematical Foundations of Cryptography
SoS Documents: By Topic - Mobile Platform Security
SoS Documents: By Topic - Network Security
SoS Documents: By Topic - NSA
SoS Documents: By Topic - NSA SoS Lablets Materials
SoS Documents: By Topic - UIUC
SoS Lablet Universities & Projects - UIUC
SoS LR 3.0: Hard Problem - Metrics
SoS LR 3.0: Hard Problem - Resilient Architectures
SoS LR 3.0: Lablet - UIUC
SoS LR 3.0: Project - Automated Synthesis Framework for Network Security and Resilience
SoS LR 3.0: Project - Resilient Control of Cyber-Physical Systems with Distributed Learning
SoS LR 3.0: Quarter - 2019: October
Topics - Architectures
Topics - CPS Domains
Topics - CPS Technologies
Topics - Critical Infrastructure
Topics - Defense
Topics - Energy
Topics - Energy Sector
Topics - Foundations
Topics - Health Care
Topics - Information Technology Sector
Topics - Medical Devices
Topics - Modeling
Topics - Resilient Systems
Topics - Robotics
Topics - Science of Security
Topics - Simulation
Topics - Smart Grid
Topics - Systems Engineering
Topics - Validation and Verification
UIUC SoS Lablet: Projects - A Hypothesis Testing Framework for Network Security
UIUC SoS Lablet: Projects - A Monitoring, Fusion and Response Framework to Provide Cyber Resiliency
UIUC SoS Lablet: Projects - Anonymous Messaging
UIUC SoS Lablet: Projects - Classification of Cyber-Physical System Adversaries
UIUC SoS Lablet: Projects - Data Driven Security Models and Analysis
UIUC SoS Lablet: Projects - Data-Driven Model-Based Decision-Making
UIUC SoS Lablet: Projects - End-to-End Analysis of Side Channels
UIUC SoS Lablet: Projects - From Measurements to Security Science: Data-Driven Approach
UIUC SoS Lablet: Projects - Scalable Methods for Security Against Distributed Attacks
UIUC SoS Lablet: Projects - Science of Human Circumvention of Security
UIUC SoS Lablet: Projects - Secure Platforms via Stochastic Computing
UIUC SoS Lablet: Projects - Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
UIUC SoS Lablet: Projects - Theoretical Foundations of Threat Assessment by Inverse Optimal Control
UIUC SoS Lablet: Projects - Toward a Theory of Resilience in Systems: A Game-Theoretic Approach
UIUC SoS Lablet: Projects - Towards a Science of Securing Network Forwarding
2019
2018
2017
2016
2015
2014
2013
2012
2019: October
A Hypothesis Testing Framework for Network Security
A Monitoring, Fusion and Response Framework to Provide Cyber Resiliency
abstraction
Access controls
ACM CCS
adversary
algorithmic error correction
algorithmic fault tolerance
Algorithms
android
Android apps
anonymous messaging
app management
app performance
app popularity
app stores
architectural invariants
architectureal invariants
Architectures
attack detection
Attack Graphs
AttackTagger
authentication
Automata
Automated Synthesis Framework for Network Security and Resilience
availabiltiy modeling
biological networks
Blue Gene/Q
Bro
centralized networks
circumvention
Classification of Cyber-Physical System Adversaries
cloud computing
code coverage
Code Hunt
collaborative networks
Communication networks
competitive networks
complex ntworked control sytems
Compositional Verification
computer access
computer security
computing methodologies
consensus dynamics
consistency
constraint-based synthesis
continouous time Markov Chain Model
control decisions
controller synthesis
correctness
coupled riccati differential equations
CPS Domains
CPS Technologies
credential stealing attack
critical infrastructure
cryptography
cyber attack
Cyber Attacks
cyber awareness
cyber physical systems
cyber security
Cyber-physical security
Cyber-physical systems
cyber-system
cyberphysical systems
cybersecurity
Data Driven Security Models and Analysis
data flow security
data fusion
data rate
Data-Driven Model-Based Decision-Making
Datacenter interconnection network
decision/estimation theory
Deep Learning
defense
deformable objects
delayed dynamical systems
demand response management
Dependability
Design
design and control
differential games
Differential privacy
Discrete event
discrete-time linear switching systems
distributed
distributed algorithms/control
distributed control
DNP3
educational software engineering
Electrical power system simulation
electrical power systems simulation
End-to-End Analysis of Side Channels
energy
Energy Sector
Entropy
error localization
error tolerance
factor graph
factor graphs
Fat-tree networks
fault diagnosis
firewall
Foundations
fowarding debugging
From Measurements to Security Science: Data-Driven Approach
game theory
games-in-games
graphical model
guessing
GUI testing
Health Care
Healthtech
hierarchical architecture
Human and Societal Aspects of Security and Privacy
Human Behavior
human factors
human influenced task oriented process
human systems
human-centric security systems
hybrid systems
hypervisor introspection
hypervisor probes
IDS
incentive compatitility
industrial control systems
information flow analysis
Information Flow Control
Information Technology Sector
Input-to-state Stability
interconnected systems
Intrusion detection
intrusion detection system
Intrusion Detection Systems
Intrusion/Anomaly Detection and Malware Mitigation
invariants
jamming and security
keyloggers
Linux Container
Linux kernel
location privacy
log processing
malware detection
manipulation
manipulation planning
Markov chain
Markov Decision Process
Mathematical Foundations of Cryptography
mechanics
Medical Devices
Metrics
microgrid
Mininet
Mobile Application
Mobile Platform Security
Model Abstraction
Modeling
monintoring
Monitoring
monitoring architecture
multi-resolution games
multiparty computation
NetLearner
Network
network consistency
network control systems
network design principles
Network Emulation
network functions
network intrusion detection systems
network management
network optimization
Network security
network security and economics
network security and privacy
network simulation
Network Troubleshooting
network verification
network virtualization
networks
NIDS
NSA
NSA SoS Lablets Materials
numerical methods
one big switch
one-to-many mapping
OpenFlow
optimal control
Optimization
pacemakers.
parallel
Parallel discrete event simulation
partial recomputation
password
password use
path planning for manipulators
personalized
perturbation theory
planning motion and path planning
Platform virtualization
power grid
predictive security metrics
privacy control
probabilistic graphical models
Probabilistic Model Checker
Programming Abstraction
q-learning
quantitative analysis
quantitative metrics
quantitative security metrics
real time
relay networks
reliability
reliability modeling
reliable systems
replications
reserve power
resilience
resilience systems
Resiliency
Resiliency metrics
Resilient Architectures
Resilient Control of Cyber-Physical Systems with Distributed Learning
resilient control sytems
Resilient Systems
reslilient control
revocation
Robotics
routing algorithms
saddle-point dynamics
Safety
SCADA
Scalable Methods for Security Against Distributed Attacks
scale-out
Science of Human Circumvention of Security
science of security
SDN
secure control
Secure Platforms via Stochastic Computing
security
security incident
security-sensitive behavior
sensitivity analysis
simulation
simulation environments
simulation tools
Simulation-based Verification
Smart grid
smart grid Stackelberg game
software defined networking
Software-De fined Networking
software-defined networking
Software-Defined Networks
SoS Lablet
sparse linear algebra
specification-based intrusion detection system
SQL Database
Stability analysis
Stackelberg Equilibrium
state estimation
State-based reliability model Mobius Atomic Model Formalism
static analysis
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
suggestion
Supercomputer interconnection networks
switched systems
system architecture
system resilience
system security
Systems
Systems Engineering
tagging
test generation
Theoretical Foundations of Threat Assessment by Inverse Optimal Control
theory
threat model
Time Dilation
timeliness
Toward a Theory of Resilience in Systems: A Game-Theoretic Approach
Towards a Science of Securing Network Forwarding
UIUC
uncertainty analysis
usable security
User availability
usuable security
Validation and Verification
verification
Veriflow
Views
virtual line
virtual machine monitoring
Virtual machine monitors
virtual machines
Virtual Time
virtualization
weak causal consistency
wireless security
workarounds
workflow
workflow resiliency
Workflow Satisfiability Problem
Biblio