HCSS'13

file

Visible to the public Cyber Defense Strategy

Submitted by TimTh on Tue, 05/14/2013 - 11:42am. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

The briefing presents a strategy for analyzing and changing how we deal with defense of the nation's cyber assets.

file

Visible to the public Techniques for Scalable Symbolic Simulation

Submitted by TimTh on Mon, 05/13/2013 - 4:00pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

Symbolic simulation is a powerful technique for building mathematical models describing a program's results by simulating execution while interpreting inputs as symbolic variables. Such models can then be used to prove properties about the corresponding source program, including equivalence against a reference implementation.

file

Visible to the public Automatic Theorem Proving and SMT

Submitted by TimTh on Mon, 05/13/2013 - 3:24pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public Verifying JavaScript and Creating Foundations for the Web

Submitted by TimTh on Mon, 05/13/2013 - 2:02pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public JSCert: Certifying JavaScript

Submitted by TimTh on Mon, 05/13/2013 - 1:42pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Visible to the public Dependent Types for JavaScript

Submitted by TimTh on Mon, 05/13/2013 - 1:21pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT