title:New poster An Infrastructure for Tractable Verification of JavaScript
title: New poster:An Infrastructure for Tractable Verification of JavaScript
---
---
Petar Maksimovic presented a poster at the UK Cyber Security Research Conference in London on the group's work on the JSCert project.
The dynamic nature of JavaScript and its complex semantics make it a difficult target for verification.
The dynamic nature of JavaScript and its complex semantics make it a difficult target for verification.
To address this issue, we develop JS-2-JSIL, a compiler from JavaScript (ECMAScript 5 strict) to a simple intermediate goto language, JSIL.
To address this issue, we develop JS-2-JSIL, a compiler from JavaScript (ECMAScript 5 strict) to a simple intermediate goto language, JSIL.
We design JS-2-JSIL to be step-by-step faithful to the ECMAScript standard, systematically testing it against the official ECMAScript conformance test suite, and proving it
We design JS-2-JSIL to be step-by-step faithful to the ECMAScript standard, systematically testing it against the official ECMAScript conformance test suite, and proving it
