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
» 2021: OCTOBER
2021: October
tearline
Contextual Integrity for Computer Systems - October 2021
Submitted by Michael Tschantz on Wed, 04/27/2022 - 5:06pm
Project PI
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Contextual Integrity for Computer Systems
2021: October
biblio
AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
Submitted by Jamie Presken on Wed, 01/12/2022 - 3:02pm
CMU
2021: October
biblio
Self-Adaptation for Machine Learning Based Systems.
Submitted by Jamie Presken on Wed, 01/12/2022 - 2:55pm
machine learning
Model degradation
self-adaptive systems
CMU
2021: October
biblio
A Probabilistic Model for Personality Trait Focused Explainability
Submitted by Jamie Presken on Wed, 01/12/2022 - 2:50pm
explainable software
CMU
2021: October
biblio
Explaining Architectural Design Tradeoff Spaces: a Machine Learning Approach
Submitted by Jamie Presken on Wed, 01/12/2022 - 2:45pm
dimensionality reduction
Tradeoff analysis
uncertainty
CMU
2021: October
biblio
Six Software Engineering Principles for Smarter Cyber-Physical Systems
Submitted by Jamie Presken on Wed, 01/12/2022 - 2:37pm
CMU
2021: October
biblio
Consent as a Foundation for Responsible Autonomy
Submitted by mpsingh on Tue, 12/28/2021 - 10:03pm
Policy-Governed Secure Collaboration
NCSU
Reasoning about Accidental and Malicious Misuse via Formal Methods
2021: October
tearline
Operationalizing Contextual Integrity - October 2021
Submitted by Serge Egelman on Mon, 10/18/2021 - 2:11pm
NSA Program Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Scalability and Composability
ICSI
Operationalizing Contextual Data
2021: October
tearline
KU SoS Lablet Quarterly Executive Summary - 2021 Q3
Submitted by Warren Alexander on Mon, 10/18/2021 - 10:49am
Research Program Overview
NSA Program Manager
Human Behavior
Metrics
Policy-Governed Secure Collaboration
Resilient Architectures
Scalability and Composability
KU
Cloud-Assisted IoT Systems Privacy
Formal Approaches to the Ontology & Epistemology of Resilience
Scalable Trust Semantics & Infrastructure
Side-Channel Attack Resistance
Secure Native Binary Execution
2021: October
tearline
Scalable Trust Semantics & Infrastructure — 2021 Q3
Submitted by Warren Alexander on Mon, 10/18/2021 - 10:36am
NSA Program Manager
Policy-Governed Secure Collaboration
Scalability and Composability
KU
Scalable Trust Semantics & Infrastructure
2021: October
1
2
3
4
next ›
last »
