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
» 2019: JULY
2019: July
tearline
Automated Synthesis Framework for Network Security and Resilience - July 2019
Submitted by awhitesell on Tue, 07/09/2019 - 5:03pm
Approved by NSA
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
UIUC
Automated Synthesis Framework for Network Security and Resilience
2019: July
tearline
Secure Native Binary Executions--2019 Q2
Submitted by prasadk on Tue, 07/09/2019 - 4:43pm
Approved by NSA
Metrics
Scalability and Composability
KU
Secure Native Binary Execution
2019: July
tearline
Foundations of a CPS Resilience - July 2019
Submitted by willirn1 on Tue, 07/09/2019 - 2:16pm
Approved by NSA
Resilient Architectures
VU
Foundations of a CPS Resilience
2019: July
biblio
A General Framework for Adversarial Examples with Objectives
Submitted by Jamie Presken on Mon, 07/08/2019 - 10:33am
2019: July
adversarial examples
CMU
face recognition
machine learning
Metrics
Neural networks
Resilient Architectures
Safety Critical ML
Metrics
Resilient Architectures
CMU
Securing Safety-Critical Machine Learning Algorithms
2019: July
biblio
Interactive Explanation for Planning-Based Systems
Submitted by Jamie Presken on Mon, 07/08/2019 - 10:24am
2019: July
CMU
Explainable Planning
Interactive Explanation
Markov Decision Process Planning
Metrics
Model-Based Explanation For Human-in-the-Loop Security
Resilient Architectures
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2019: July
tearline
Side-Channel Attack Resistance—2019Q2
Submitted by heechul on Sun, 07/07/2019 - 5:13pm
Approved by NSA
Resilient Architectures
KU
Side-Channel Attack Resistance
2019: July
tearline
Multi-model Testbed for the Simulation-based Evaluation of Resilience (July '19)
Submitted by volgy on Wed, 07/03/2019 - 9:21am
Architectures
Automotive
Multi-models
Modeling
Resilient Systems
Simulation
Approved by NSA
Metrics
Resilient Architectures
VU
Multi-model Test Bed for the Simulation-based Evaluation of Resilience
2019: July
tearline
Policy Analytics for Cybersecurity of Cyber-Physical Systems: July 2019 (Y2, Q1)
Submitted by Nazli Choucri on Wed, 06/26/2019 - 6:02pm
Critical Infrastructure
Vanderbilt
Approved by NSA
Policy-Governed Secure Collaboration
VU
Analytics for Cyber-Physical System Cybersecurity
2019: July
tearline
NCSU SoS Lablet Quarterly Executive Summary
Submitted by najmeri on Tue, 06/25/2019 - 10:57pm
Approved by NSA
NCSU
Coordinated Machine Learning-Based Vulnerability & Security Patching for Resilient Virtual Computing Infrastructure
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
Principles of Secure BootStrapping for IoT
Reasoning about Accidental and Malicious Misuse via Formal Methods
2019: July
tearline
Reasoning about Accidental and Malicious Misuse via Formal Methods
Submitted by najmeri on Tue, 06/25/2019 - 10:56pm
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Reasoning about Accidental and Malicious Misuse via Formal Methods
2019: July
« first
‹ previous
1
2
3
4
next ›
last »
