Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
» HCSS 2016
HCSS 2016
file
Formal Modeling and Analysis of Hierarchical Path Planning
Submitted by tinelli on Wed, 05/25/2016 - 11:24am. Contributor:
Cesare Tinelli
Presented as part of the
2016 HCSS conference
.
Modeling
Foundations
hierarchical planning
Path Planning
The University of Iowa
High Confidence Software and Systems Conference 2016
Academia
Presentation
HCSS 2016
file
New Perspectives on Automated Vulnerability Discovery
Submitted by Katie Dey on Tue, 02/16/2016 - 4:53pm. Contributor:
Artem Dinaburg
Presented as part of the
2016 HCSS conference
.
analysis boosting
automated bug finding
automated vulnerability discovery
Trail of Bits
Presentation
HCSS 2016
file
Data and Decision Analytics
Submitted by Katie Dey on Tue, 02/16/2016 - 4:48pm. Contributor:
Robert Bonneau
Presented as part of the
2016 HCSS conference
.
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Moving Hardware from “Security through Obscurity” to “Secure by Design”
Submitted by Katie Dey on Tue, 02/16/2016 - 4:47pm. Contributor:
Ryan Kastner
Presented as part of the
2016 HCSS conference
.
Hardware Security
information flow tracking
secure design
High Confidence Software and Systems Conference 2016
Academia
Presentation
HCSS 2016
file
Verification across Intellectual Property Boundaries
Submitted by akarns on Fri, 01/29/2016 - 12:53pm. Contributor:
Sagar Chaki
Presented as part of the
2016 HCSS conference
.
Validation and Verification
Foundations
intellectual property
protocol
High Confidence Software and Systems Conference 2016
Presentation
Reasoning / IP
HCSS 2016
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
1
2
next ›
last »
