Publications

• Enclave-Based Secure Programming with JE
  Published on 2021-09-10
• Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
  Published on 2021-09-03
• A Software-Repair Robot Based on Continual Learning
  Published on 2021-08-05
• 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
• Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks
  Published on 2020-12-01
• 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