add more news.

_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)

_posts/2016-11-14-jsposter.md

+---
+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)