RESEARCH PROJECTS & ACTIVITIES

  • RESEARCH-BASED DEGREE SUPERVISION
    Automatic Data Repair without Format Specifications
  • RESEARCH-BASED DEGREE SUPERVISION
    End-to-End Encrypted Google Docs with Verifiable Integrity: Secure Tables, Comments, and Cryptographically Signed Edit Histories by Overlay-Based Editors
  • RESEARCH-BASED DEGREE SUPERVISION
    Fast Fuzzing Frameworks for Developing Secure Software
  • RESEARCH-BASED DEGREE SUPERVISION
    FutureSeed: Active Discovery of High-Potential Coverage-Neutral Inputs with Adaptive Tiny Models
  • RESEARCH-BASED DEGREE SUPERVISION
    Improving prompt management in AI-Assisted Software Development
  • RESEARCH-BASED DEGREE SUPERVISION
    Protecting Critical Agritech DevOps Pipelines with State-full Fuzzing
  • RESEARCH-BASED DEGREE SUPERVISION
    Supporting Developer Vulnerability Analysis through Multi-Modal Sensemaking
  • RESEARCH-BASED DEGREE SUPERVISION
    The Next Generation of Anonymous Credentials and Zero-Knowledge Proofs of Knowledge for Private Digital Identity
  • RESEARCH-BASED DEGREE SUPERVISION
    TOWARDS MORE RELIABLE AUTOMATED VULNERABILITY EXPLOIT AND REPAIR WITH HUMAN-GUIDED AGENTIC AI