| 2022 | ISoLA | Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. | Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay |
| 2021 | SAC | Unsupervised behavioural mining and clustering for malware family identification. | Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay |
| 2021 | SRDS | Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. | Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivire |
| 2020 | ISoLA | Improving Secure and Robust Patient Service Delivery. | Eduard Baranov, Thomas Given-Wilson, Axel Legay |
| 2020 | SSS | Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. | Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre |
| 2019 | SIGCOMM | Pluginizing QUIC. | Quentin De Coninck, Franois Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure |
| 2018 | ISoLA | Tutorial: An Overview of Malware Detection and Evasion Techniques. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf |
| 2018 | ISoLA | X-by-C: Non-functional Security Challenges. | Thomas Given-Wilson, Axel Legay |
| 2018 | ISSRE | Detection of Mirai by Syntactic and Behavioral Analysis. | Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf |
| 2018 | TrustCom | Universal Optimality of Apollonian Cell Encoders. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
| 2018 | VECoS | The State of Fault Injection Vulnerability Detection. | Thomas Given-Wilson, Nisrine Jafri, Axel Legay |
| 2017 | FMICS | Information Leakage as a Scheduling Resource. | Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay |
| 2017 | HCI | Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. | Thomas Given-Wilson, Axel Legay, Sean Sedwards |
| 2017 | TrustCom | An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. | Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay |
| 2016 | ICTAC | On the Expressiveness of Symmetric Communication. | Thomas Given-Wilson, Axel Legay |
| 2015 | TrustCom | Attainable Unconditional Security for Shared-Key Cryptosystems. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
| 2014 | ICTAC | Expressiveness via Intensionality and Concurrency. | Thomas Given-Wilson |
| 2013 | Coordination | Pattern Matching and Bisimulation. | Thomas Given-Wilson, Daniele Gorla |
| 2013 | ICFP | Multi-polymorphic programming in bondi. | Thomas Given-Wilson, Freeman Huang, Barry Jay |