Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» JAN'15
Jan'15
biblio
Statically typed string sanitation inside a python
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:47pm
CMU
extensible languages
input sanitation
Jan'15
Regular expressions
string sanitation
type systems
web security
CMU
Jan'15
biblio
Wyvern: Impacting Software Security via Programming Language Design
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:41pm
CMU
Jan'15
CMU
Jan'15
biblio
Considering Productivity Effects of Explicit Type Declarations
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:29am
CMU
Jan'15
Programmer productivity
type declarations
type inference
CMU
Jan'15
biblio
Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:31am
CMU
Jan'15
Session types; Linear logic; Process calculi; Strong normalization; Confluence; Logical relations; Observational equivalences
CMU
Jan'15
tearline
SoS Quarterly Summary Report - CMU - January 2015
Submitted by scherlis on Thu, 01/15/2015 - 1:19pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Epistemic Models for Security
Geo-Temporal Characterization of Security Threats
Highly Configurable Systems
Multi-Model Run-Time Security Analysis
Race Vulnerability Study and Hybrid Race Detection
Science of Secure Frameworks
Secure Composition of Systems and Policies
Security Reasoning for Distributed Systems with Uncertainty
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
USE: User Security Behavior
FY14-18
Jan'15
biblio
Wyvern: Impacting Software Security via Programming Language Design.
Submitted by Jamie Presken on Mon, 01/12/2015 - 1:04pm
CMU
Jan'15
Scalability and Composability
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Jan'15
biblio
Statically Typed String Sanitation Inside a Python
Submitted by Jamie Presken on Mon, 01/12/2015 - 1:02pm
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Jan'15
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Jamie Presken on Mon, 01/12/2015 - 12:50pm
and empirical study
concurrency faults
multithreading
regression testing
Software dependability
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Jan'15
biblio
Moving Target Defense for Hardening the Security of the Power System State Estimation
Submitted by drwright on Sun, 01/11/2015 - 4:54pm
Automated Synthesis of Resilient Architectures
false data injection attack
Jan'15
moving target defense
NCSU
Power Grid
Resilient Architectures
state estimation
Resilient Architectures
NCSU
Automated Synthesis of Resilient Architectures
Jan'15
biblio
A survey of common security vulnerabilities and corresponding countermeasures for SaaS
Submitted by drwright on Sun, 01/11/2015 - 4:27pm
Jan'15
NCSU
Resilience Requirements, Design, and Testing
Resilient Architectures
Resilient Architectures
NCSU
Resilience Requirements, Design, and Testing
Jan'15
1
2
3
4
5
next ›
last »
