JavaScript (HCSS'13)

file

Taming JavaScript with F*

Submitted by TimTh on Tue, 05/28/2013 - 12:47pm. Contributor:

Nikhil Swamy

Presented as part of the 2013 HCSS conference.

ABSTRACT:

file

Security Analysis of LLVM Bitcode Files for Mobile

Submitted by TimTh on Tue, 05/28/2013 - 12:12pm. Contributor:

Vivek Sarkar

Presented as part of the 2013 HCSS conference.

ABSTRACT:

file

You Can't Touch This

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

Peter Thiemann

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Verifying JavaScript and Creating Foundations for the Web

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

Shriram Krishnamurthi

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

JSCert: Certifying JavaScript

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

Philippa Gardner

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Dependent Types for JavaScript

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

Ravi Chugh

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection

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

Jan Vitek

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Protecting Sensitive Data in Web Browsers with ScriptPolice

Submitted by Katie Dey on Thu, 05/09/2013 - 11:39am. Contributor:

Brad Karp

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection

Submitted by Katie Dey on Thu, 05/09/2013 - 11:15am. Contributor:

Jan Vitek

ABSTRACT