Publications

• SandTrap: Securing JavaScript-driven Trigger-Action Platforms
  Published on 2021-05-28
• A comprehensive study of bloated dependencies in the Maven ecosystem
  Published on 2021-04-26
• CROW: Code Diversification for WebAssembly
  Published on 2021-04-11
• Automated patch assessment for program repair at scale
  Published on 2021-04-06
• Browser Fingerprinting : A Survey
  Published on 2021-03-15
• PomCho : Atool chain for choreographic design
  Published on 2021-01-20
• InSpectre : Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
  Published on 2021-01-11
• SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web
  Published on 2021-01-07
• Friendly Fire: Cross-App Interactions in IoT Platforms
  Published on 2021-01-04
• mCoq: Mutation Analysis for Coq Verification Projects
  Published on 2020-11-24
• Trustworthy isolation of DMA devices
  Published on 2020-10-07
• Hoare-Style Logic for Unstructured Programs
  Published on 2020-09-21
• Java decompiler diversity and its application to meta-decompilation
  Published on 2020-09-15
• Superoptimization of WebAssembly bytecode
  Published on 2020-09-02
• Deep Generation of Coq Lemma Names Using Elaborated Terms
  Published on 2020-08-26
• Practical Machine-Checked Formalization of Change Impact Analysis
  Published on 2020-08-26
• Towards a Verified Model of the Algorand Consensus Protocol in Coq
  Published on 2020-08-26
• FixMiner : Mining relevant fix patterns for automated program repair
  Published on 2020-06-05
• An Analysis of 35+ Million Jobs of Travis CI
  Published on 2020-05-13
• Clockwork: Tracking Remote Timing Attacks
  Published on 2020-05-08