Martin Bodin — Research

Martin Bodin — Esplorado

Martin Bodin — Travaux de recherche

I am a PhD student at INRIA Rennes under the supervision of Alan Schmitt and Thomas Jensen. I work on formal analysis of JavaScript.

Mi estas doktoriĝanto ĉe INRIA Rennes superrigardate de Alan Schmitt kaj Thomas Jensen. Mi laboras pri formalaj analizoj de Javaskripto.

Je suis doctorant à l’INRIA de Rennes sous la supervision d’Alan Schmitt et de Thomas Jensen. Je travaille sur des analyses formelles de JavaScript.

I am part of the JSCert and the SecCloud projects. The the JSCert project aims to build models of JavaScript in the Coq proof assistant and to design automated tools based on those semantics. The the SecCloud project aims to provide a comprehensive language-based approach to the definition, analysis and implementation of secure applications developed using JavaScript and similar languages.

Mi estas parton de la projektoj JSCert kaj SecCloud. La projekto JSCert celas al konstrui modelojn de Javaskripto en la pruvhelpilo Coq kaj konstrui aŭtomatajn ilojn purvatajn per tiuj semantikoj. La projekto SecCloud celas ellabori lingvaĵbazajn laborgvidojn por la difino, analizo kaj realigo de sekuraj programaĵoj ellaboritaj per Javaskripto aŭ similaj lingvaĵoj.

Je fais partie des projets JSCert et SecCloud. Le projet JSCert a pour but de construire des modèles de JavaScript en Coq et de concevoir des outils d’analyses automatiques basés sur ces modèles formels. Le projet SecCloud a pour but de concevoir une approche orientée langages de programation pour la définition, l’analyse et l’implémentation d’applications sécurisées développées en JavaScript ou en des langages similaires.


Publications

Eldonaĵoj

Publications


Workshops

Babilkongresoj

Ateliers


Thesis

Doktoriĝo

Thèse


Website created by Martin Bodin. In case of issues with this website, do not hesitate to contact me.

Retejo kreita per Martin Bodin. Se vi renkontas ian ajn problemon kun ĝi, bonvolu kontakti min.

Site conçu par Martin Bodin. En cas de problème avec ce site, n’hésitez pas à me contacter.