← authors · overview

• Concolic Testing for Deep Neural Networks
  2018 · 327 citations
• A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
  2023 · 30 citations
• VeriFi: Towards Verifiable Federated Unlearning
  2022 · 15 citations
• Tutorials on Testing Neural Networks
  2021 · 2 citations
• Ranking Policy Decisions
  2020 · 1 citations
• Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning
  2024 · 1 citations
• Was it Slander? Towards Exact Inversion of Generative Language Models
  2024 · 1 citations
• The 4/$ẹlta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
  2025
• Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
  2025
• Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
  2025
• Defending the Edge: Representative-Attention Defense against Backdoor Attacks in Federated Learning
  2025
• AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
  2022
• VPN: Verification of Poisoning in Neural Networks
  2022