SMT

file

Visible to the public Thwarting Themida: Unpacking Malware with SMT Solvers

Submitted by TimTh on Tue, 05/14/2013 - 12:02pm. Contributors:

Presented as part of the 2013 HCSS conference.

ABSTRACT

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 Dependent Types for JavaScript

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

Presented as part of the 2013 HCSS conference.

ABSTRACT