Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
2016
High Confidence Software and Systems Conference 2016
file
An Assessment Methodology, Models for National Security Systems
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributor:
Jennifer Guild
Abstract:
Robustness
mathematical
models
objective
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Combinatorial Coverage as an Estimator of Residual Risk after Testing
Submitted by Anonymous on Fri, 01/29/2016 - 12:50pm. Contributors:
Dimitris E. Simos
Kristoffer Kleine
Rick Kuhn
Raghu Kacker
Abstract:
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Towards a Process to Forecast Vulnerability in Systems of Systems
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Joseph Natarian
Bruce Howard
Marvin Worst
ABSTRACT
System Engineering
system of systems
Vulnerability
Digital Thread
system security
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Verifying programs with complex data structures using Coq
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributor:
Kenneth Roe
Abstract:
CoqPIE
heart bleed
proofs
Theorem Proving
High Confidence Software and Systems Conference 2016
Academia
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Applying User Sessions to Detect SQL Injection Vulnerabilities in Web Applications
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Sreedevi Sampath
Mengzi Du
Isaiah Yoon
Abstract:
security
SQL injection
web applications
user sessions
testing
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Gradual Information Flow Control
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
Peter Thiemann
Luminous Fennell
Presented as part of the
2016 HCSS conference
.
gradual typing
Information Flow
Java
High Confidence Software and Systems Conference 2016
Academia
Presentation
HCSS 2016
file
TQL-1 Qualification of a Model-Based Code Generator
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
S Tucker Taft
Presented as part of the
2016 HCSS conference
.
Modeling
Foundations
DO-178C
DO-330
Model-Based Development
Simulink Code Generator
tool qualification
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
Eric W. Smith
Alessandro Coglio
Presented as part of the
2016 HCSS conference
.
ABSTRACT
Modeling
Validation and Verification
Foundations
ACL2
android
Android formal model
app verification
mobile app verification
High Confidence Software and Systems Conference 2016
Research Organization
Presentation
HCSS 2016
file
Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
Dimitris Simos
Kristoffer Kleine
Rich Kuhn
Raghu Kacker
Presented as part of the
2016 HCSS conference
.
Cipher Suites
Combinatorial Coverage
TLS
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Build It Break It Fix It: Measuring Secure Development
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
Andrew Ruef
Michael Hicks
Dave Levin
Jandelyn Plane
Piotr Mardziel
Atif Memom
Michelle Mazurek
James Parker
Presented as part of the
2016 HCSS conference
.
ABSTRACT
data
empirical
programming
security
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
« first
‹ previous
1
2
3
4
next ›
last »
