Sean Heelan
University of Edinburgh(GB)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Security and Verification in Computing, Software Engineering Research, Surgical site infection prevention
Most-Cited Works
- → Remote diagnosis of surgical-site infection using a mobile digital intervention: a randomised controlled trial in emergency surgery patients(2021)60 cited
- → Gollum(2019)34 cited
- → Vulnerability Detection Systems: Think Cyborg, Not Robot(2011)34 cited
- SMT solvers for software security(2012)
- MSc Computer Science Dissertation Automatic Generation of Control Flow Hijacking Exploits for Software Vulnerabilities(2009)
- → Augmenting vulnerability analysis of binary code(2012)14 cited
- → Multimodal machine learning to predict surgical site infection with healthcare workload impact assessment(2025)13 cited
- → Automatic Heap Layout Manipulation for Exploitation(2018)10 cited
- → Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE(2018)4 cited
- → Greybox automatic exploit generation for heap overflows in language interpreters(2020)