Publications

• Dynamic Policies Revisited
  Published on 2022-03-07
• Automated Classification of Overfitting Patches with Statically Extracted Code Features
  Published on 2022-02-16
• Security-Aware Multi-User Architecture for IoT
  Published on 2021-11-24
• Refinement-Based Verification of Device-to-Device Information Flow
  Published on 2021-10-29
• 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