diff --git a/_posts/2016-10-12-talk.md b/_posts/2016-10-12-talk.md
index 7cf53f21f03e35cc30c534c853014ece9c8066a4..fccc98c358f5dbd12fcba45effad296baacfaa48 100644
--- a/_posts/2016-10-12-talk.md
+++ b/_posts/2016-10-12-talk.md
@@ -6,4 +6,6 @@ Philippa Gardner was one of the keynote speakers at the 11th System Safety and C
 Philippa’s talk, on Verified Trustworthy Software Systems was part of a panel discussion on the future of UK’s National Cyber Security Strategy. 
 The audience included academics, civil servants, safety and security engineers and leading technology companies such as Intel Security and QinetiQ. 
 Other sessions at the conference included topics on integrating safety and cyber security, legal and moral issues, implementing and adopting security approaches, system safety, software safety and transport.
-You can find the video of the talk [here](http://cf-media.mp.streamamg.com/kaltura/2000369/20161020/2000/0_t778nckb_0_pvs9kz3y_2.mp4?Policy=eyJTdGF0ZW1lbnQiOlt7IlJlc291cmNlIjoiaHR0cDovL2NmLW1lZGlhLm1wLnN0cmVhbWFtZy5jb20va2FsdHVyYS8yMDAwMzY5LzIwMTYxMDIwLzIwMDAvKiIsIkNvbmRpdGlvbiI6eyJEYXRlTGVzc1RoYW4iOnsiQVdTOkVwb2NoVGltZSI6MTQ3OTgzMjE3NH19fV19&Signature=Dk5mD0lxRsocv62rE2OgJsKtxF3MVopqsTP2ygoZTfsHEe0NvPdPe7oinQYlWWP74ASeasPzL0TgunYVLYzo92bWlh8TAehRhkHw3hLPpLbfiNJC7wbJCBxaJq78Yga2WTMVryMO7CVPEgg9StU3xJzowM78IcfQYrDzQFNVeEoTvvmIARhu8UYefO2GVV~oC3Pzgtw0FH12I9b7eIL95SGecFqbaz3tFkWZQJyvMQl-5xKwNIYZbQk40H2vcRNptLo0adRhCLuBk74m0GNOl22rb7d-S5eKc2Q7g33CeXtkaZSw7mC4US-rJehepQHagkFXBk~qtZEvCw-90lBF~w__&Key-Pair-Id=APKAJVKZD2WR75FL2ZUQ).
\ No newline at end of file
+You can find the video of the talk [here](http://cf-media.mp.streamamg.com/kaltura/2000369/20161020/2000/0_t778nckb_0_pvs9kz3y_2.mp4?Policy=eyJTdGF0ZW1lbnQiOlt7IlJlc291cmNlIjoiaHR0cDovL2NmLW1lZGlhLm1wLnN0cmVhbWFtZy5jb20va2FsdHVyYS8yMDAwMzY5LzIwMTYxMDIwLzIwMDAvKiIsIkNvbmRpdGlvbiI6eyJEYXRlTGVzc1RoYW4iOnsiQVdTOkVwb2NoVGltZSI6MTQ3OTgzMjE3NH19fV19&Signature=Dk5mD0lxRsocv62rE2OgJsKtxF3MVopqsTP2ygoZTfsHEe0NvPdPe7oinQYlWWP74ASeasPzL0TgunYVLYzo92bWlh8TAehRhkHw3hLPpLbfiNJC7wbJCBxaJq78Yga2WTMVryMO7CVPEgg9StU3xJzowM78IcfQYrDzQFNVeEoTvvmIARhu8UYefO2GVV~oC3Pzgtw0FH12I9b7eIL95SGecFqbaz3tFkWZQJyvMQl-5xKwNIYZbQk40H2vcRNptLo0adRhCLuBk74m0GNOl22rb7d-S5eKc2Q7g33CeXtkaZSw7mC4US-rJehepQHagkFXBk~qtZEvCw-90lBF~w__&Key-Pair-Id=APKAJVKZD2WR75FL2ZUQ).
+
+[![video-shot](/images/posts/sscs-conference-video-shot.png)](http://cf-media.mp.streamamg.com/kaltura/2000369/20161020/2000/0_t778nckb_0_pvs9kz3y_2.mp4?Policy=eyJTdGF0ZW1lbnQiOlt7IlJlc291cmNlIjoiaHR0cDovL2NmLW1lZGlhLm1wLnN0cmVhbWFtZy5jb20va2FsdHVyYS8yMDAwMzY5LzIwMTYxMDIwLzIwMDAvKiIsIkNvbmRpdGlvbiI6eyJEYXRlTGVzc1RoYW4iOnsiQVdTOkVwb2NoVGltZSI6MTQ3OTgzMjE3NH19fV19&Signature=Dk5mD0lxRsocv62rE2OgJsKtxF3MVopqsTP2ygoZTfsHEe0NvPdPe7oinQYlWWP74ASeasPzL0TgunYVLYzo92bWlh8TAehRhkHw3hLPpLbfiNJC7wbJCBxaJq78Yga2WTMVryMO7CVPEgg9StU3xJzowM78IcfQYrDzQFNVeEoTvvmIARhu8UYefO2GVV~oC3Pzgtw0FH12I9b7eIL95SGecFqbaz3tFkWZQJyvMQl-5xKwNIYZbQk40H2vcRNptLo0adRhCLuBk74m0GNOl22rb7d-S5eKc2Q7g33CeXtkaZSw7mC4US-rJehepQHagkFXBk~qtZEvCw-90lBF~w__&Key-Pair-Id=APKAJVKZD2WR75FL2ZUQ)
diff --git a/_posts/2016-11-14-jsposter.md b/_posts/2016-11-14-jsposter.md
new file mode 100644
index 0000000000000000000000000000000000000000..ece787391702e5354b82c712658cb32b3c624344
--- /dev/null
+++ b/_posts/2016-11-14-jsposter.md
@@ -0,0 +1,12 @@
+---
+title: New poster An Infrastructure for Tractable Verification of JavaScript
+---
+
+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
+correct with respect to a fragment of the ES5 Strict operational semantics.
+We develop JSIL logic, a separation logic for JSIL that we prove sound with respect to its operational semantics, and a semiautomatic verification tool based on this logic.
+Together, these results allow us to verify Hoare triples for JavaScript using JSIL logic and JS-2-JSIL.
+
+[![Poster](/images/posts/CSR-Conference-poster-JavaScript.pdf)](/images/posts/CSR-Conference-poster-JavaScript.pdf)
diff --git a/images/posts/CSR-Conference-poster-JavaScript.pdf b/images/posts/CSR-Conference-poster-JavaScript.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..95dc5a8ffb141bc0f329aec3bb61eb38f266dc08
Binary files /dev/null and b/images/posts/CSR-Conference-poster-JavaScript.pdf differ
diff --git a/images/posts/sscs-conference-video-shot.png b/images/posts/sscs-conference-video-shot.png
new file mode 100644
index 0000000000000000000000000000000000000000..0b492be7a3d9782d9b30fd37bedb33e76f4cc694
Binary files /dev/null and b/images/posts/sscs-conference-video-shot.png differ