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
» HUMAN BEHAVIOR
Human Behavior
biblio
“Won’t Somebody Think of the Children?” Examining COPPA Compliance at Scale
Submitted by Heather Lucas on Tue, 03/31/2020 - 10:25am
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
Operationalizing Contextual Data
tearline
Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:17pm
Approved by NSA
Human Behavior
CMU
Security Behavior Observatory
2020: April
tearline
Obsidian: A Language for Secure-By-Construction Blockchain Programs - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:16pm
Approved by NSA
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 - 5:15pm
Approved by NSA
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: April
tearline
CMU SoS Lablet Quarterly Executive Summary - April 2020
Submitted by Jamie Presken on Sun, 03/15/2020 - 5:13pm
Approved by NSA
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 - 8:00am
2020: January
CMU
Metrics
Resilient Architectures
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: January
biblio
Privacy Controls for Always-Listening Devices
Submitted by Serge Egelman on Wed, 02/05/2020 - 4:34pm
ICSI
January 2020
Operationalizing Contextual Integrity
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
tearline
Operationalizing Contextual Integrity - January 2020
Submitted by Serge Egelman on Wed, 02/05/2020 - 4:22pm
Approved by NSA
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
2020: January
tearline
Designing for Privacy - January 2020
Submitted by Serge Egelman on Wed, 02/05/2020 - 4:04pm
Approved by NSA
Human Behavior
Policy-Governed Secure Collaboration
ICSI
Designing for Privacy
2020: January
biblio
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems
Submitted by Heather Lucas on Wed, 01/29/2020 - 6:10pm
Rail transportation
timed automata
attacker model
safety analysis
cyber-physical system
tracking
Communication system signaling
security
automata
Servers
cyber-physical systems
Safety
parameterizable state automaton templates
cyber-physical system safety
railway signaling system
Security analysis
Safety-Critical Systems
software fault tolerance
safety-critical software
formal verification
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
« first
‹ previous
…
7
8
9
10
11
12
13
14
15
…
next ›
last »
