-
Client-server Web applications with Ocsigen
International audience -
A Certified JavaScript Interpreter
International audience -
Embedding of Security Components in Untrusted Third-Party Websites
Security-sensitive components, such as single sign-on APIs, need to be safely deployed on untrusted webpages. We present several new attacks on security components... -
From Bytecode to JavaScript: the Js_of_ocaml Compiler
International audience -
h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaSc...
Industrial track: Effective Industry Use of Software-Engineering Tools -
SafeJS: Hermetic Sandboxing for JavaScript
Isolating programs is an important mechanism to support more secure applications. Isolating program in dynamic languages such as JavaScript is even more challenging... -
Flexible access control for JavaScript
International audience -
A Simulation Framework for the Validation of Event-B Specifications
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular, with Event-B. We assessed the...
