I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Home
 Contact
 Teaching
 People
Publications
Student Projects
Research
Tools
 Help

































Thesis Details

Thesis:Language-based techniques
Language-based techniques
  • runtime monitoring for JavaScript
  • checking quantitative information flow properties for JavaScript/OCaml
AvailableStatus: Available
Contact: rybal@in.tum.de