Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
CPS-VO
»
Science of Security VO
»
Science of Security and Privacy: Lablet Program Management
» RESILIENT ARCHITECTURES
Resilient Architectures
tearline
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Submitted by
najmeri
on Tue, 03/24/2020 - 4:50pm
Project PI
Resilient Architectures
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
2020: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2020
Submitted by
Jamie Presken
on Sun, 03/15/2020 - 6:16pm
Business Manager
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Obsidian Language for Blockchain
2020: April
tearline
Model-Based Explanation For Human-in-the-Loop Security - April 2020
Submitted by
Jamie Presken
on Sun, 03/15/2020 - 6:15pm
Business Manager
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: April
tearline
Securing Safety-Critical Machine Learning Algorithms - April 2020
Submitted by
Jamie Presken
on Sun, 03/15/2020 - 6:14pm
Business Manager
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2020: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2020
Submitted by
Jamie Presken
on Sun, 03/15/2020 - 6:13pm
Business Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
CMU
Model-Based Explanation For Human-in-the-Loop Security
Obsidian Language for Blockchain
Securing Safety-Critical Machine Learning Algorithms
2020: April
biblio
Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats
Submitted by
Jamie Presken
on Tue, 03/10/2020 - 9:00am
Metrics
Resilient Architectures
CMU
2020: January
biblio
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 7:10pm
cyber-physical systems
formal verification
safety-critical software
software fault tolerance
Safety-Critical Systems
Security analysis
railway signaling system
cyber-physical system safety
parameterizable state automaton templates
Safety
Rail transportation
Servers
automata
security
Communication system signaling
tracking
cyber-physical system
safety analysis
attacker model
timed automata
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
biblio
Developing Models for Physical Attacks in Cyber-Physical Systems
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:58pm
Human behavior
Monitoring, Fusion, and Response for Cyber Resilience
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
biblio
An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:52pm
A Human-Agent-Focused Approach to Security Modeling
Human behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
biblio
Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:50pm
A Human-Agent-Focused Approach to Security Modeling
Human behavior
Policy-Governed Secure Collaboration
Resilient Architectures
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
1
2
3
4
5
6
7
8
9
…
next ›
last »
