From 855b06dad6d1993e6d2038eb75f72abb6e6e6060 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 22 Nov 2016 16:32:56 +0000
Subject: [PATCH] Update 2016-11-14-jsposter.md

---
 _posts/2016-11-14-jsposter.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/_posts/2016-11-14-jsposter.md b/_posts/2016-11-14-jsposter.md
index ece7873..6461f4d 100644
--- a/_posts/2016-11-14-jsposter.md
+++ b/_posts/2016-11-14-jsposter.md
@@ -1,7 +1,9 @@
 ---
-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.
 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
-- 
GitLab