A combinatory account of internal structure. - Thomas Given-Wilson; Barry Jay (J. Symb. Log., 2011)

High Performance Static Analysis for Industry. - Mark Bradley; Franck Cassez; Ansgar Fehnker; Thomas Given-Wilson; Ralf Huuck (TAPAS@SAS, 2012)

Concurrent pattern unification - Thomas Given-Wilson (2012)

Pattern Matching and Bisimulation. - Thomas Given-Wilson; Daniele Gorla (COORDINATION, 2013)

Multi-polymorphic programming in bondi. - Thomas Given-Wilson; Freeman Huang; Barry Jay (WGP@ICFP, 2013)

Expressiveness via Intensionality and Concurrency. - Thomas Given-Wilson (ICTAC, 2014)

An Intensional Concurrent Faithful Encoding of Turing Machines. - Thomas Given-Wilson (ICE, 2014)

On the Expressiveness of Intensional Communication. - Thomas Given-Wilson (EXPRESS/SOS, 2014)

A Concurrent Pattern Calculus. - Thomas Given-Wilson; Daniele Gorla; Barry Jay (Log. Methods Comput. Sci., 2014)

On the Expressiveness of Joining. - Thomas Given-Wilson; Axel Legay (ICE, 2015)

Quantitative Information Flow for Scheduler-Dependent Systems. - Yusuke Kawamoto 001; Thomas Given-Wilson (QAPL, 2015)

On the Expressiveness of Symmetric Communication. - Thomas Given-Wilson; Axel Legay (ICTAC, 2016)

Attainable unconditional security for shared-key cryptosystems. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (Inf. Sci., 2016)

Information Leakage as a Scheduling Resource. - Fabrizio Biondi; Mounir Chadli; Thomas Given-Wilson; Axel Legay (FMICS-AVoCS, 2017)

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. - Thomas Given-Wilson; Axel Legay; Sean Sedwards (HCI (22), 2017)

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 (TrustCom/BigDataSE/ICESS, 2017)

On the Expressiveness of Joining and Splitting. - Thomas Given-Wilson; Axel Legay (Models, Mindsets, Meta, 2018)

Tutorial: An Overview of Malware Detection and Evasion Techniques. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (ISoLA (1), 2018)

X-by-C: Non-functional Security Challenges. - Thomas Given-Wilson; Axel Legay (ISoLA (1), 2018)

Detection of Mirai by Syntactic and Behavioral Analysis. - Najah Ben Said; Fabrizio Biondi; Vesselin Bontchev; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Jean Quilbeuf (ISSRE, 2018)

Universal Optimality of Apollonian Cell Encoders. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (TrustCom/BigDataSE, 2018)

The State of Fault Injection Vulnerability Detection. - Thomas Given-Wilson; Nisrine Jafri; Axel Legay (VECoS, 2018)

Group abstraction for assisted navigation of social activities in intelligent environments. - Thomas Given-Wilson; Axel Legay; Sean Sedwards; Olivier Zendra (J. Reliab. Intell. Environ., 2018)

The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. - Vladimir Janjic; Michael Vinov; Thomas Given-Wilson; Axel Legay; Euan Blackledge; R. Arredouani; George Stylianou; Wanting Huang; Juliana Küster Filipe Bowles; Andreas Francois Vermeulen; Agastya Silvina; Marios Belk; et al. (IEEE BigData, 2019)

Pluginizing QUIC. - Quentin De Coninck; François Michel; Maxime Piraux; Florentin Rochet; Thomas Given-Wilson; Axel Legay; Olivier Pereira; Olivier Bonaventure (SIGCOMM, 2019)

Effective, efficient, and robust packing detection and classification. - Fabrizio Biondi; Michael A. Enescu; Thomas Given-Wilson; Axel Legay; Lamine Noureddine; Vivek Verma (Comput. Secur., 2019)

An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. - Thomas Given-Wilson; Annelie Heuser; Nisrine Jafri; Axel Legay (Concurr. Comput. Pract. Exp., 2019)

Formalising fault injection and countermeasures. - Thomas Given-Wilson; Axel Legay (ARES, 2020)

Building User Trust of Critical Digital Technologies. - Thomas Given-Wilson; Eduard Baranov; Axel Legay (ICIT, 2020)

Improving Secure and Robust Patient Service Delivery. - Eduard Baranov; Thomas Given-Wilson; Axel Legay (ISoLA (1), 2020)

Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. - Igor Zavalyshyn; Thomas Given-Wilson; Axel Legay; Ramin Sadre (SSS, 2020)

Optimizing symbolic execution for malware behavior classification. - Stefano Sebastio; Eduard Baranov; Fabrizio Biondi; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (Comput. Secur., 2020)

Combined software and hardware fault injection vulnerability detection. - Thomas Given-Wilson; Nisrine Jafri; Axel Legay (Innov. Syst. Softw. Eng., 2020)

Introduction to the special issue for SPIN 2019. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2020)

Expressiveness of concurrent intensionality. - Ioana Cristescu; Thomas Given-Wilson; Axel Legay (Theor. Comput. Sci., 2020)

A Secure User-Centred Healthcare System: Design and Verification. - Eduard Baranov; Juliana Bowles; Thomas Given-Wilson; Axel Legay; Thais Webber (DataMod, 2021)

Unsupervised behavioural mining and clustering for malware family identification. - Khanh-Huu-The Dam; Thomas Given-Wilson; Axel Legay (SAC, 2021)

C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. - Antoine Chenoy; Fabien Duchene 001; Thomas Given-Wilson; Axel Legay (SPIN, 2021)

Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. - Igor Zavalyshyn; Thomas Given-Wilson; Axel Legay; Ramin Sadre; Etienne Rivière (SRDS, 2021)

Analysis of Machine Learning Approaches to Packing Detection. - Charles-Henry Bertrand Van Ouytsel; Thomas Given-Wilson; Jeremy Minet; Julian Roussieau; Axel Legay (CoRR, 2021)

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. - Khanh-Huu-The Dam; Fabien Duchene 001; Thomas Given-Wilson; Maxime Cordy; Axel Legay (ISoLA (1), 2022)

Packer classification based on association rule mining. - Khanh-Huu-The Dam; Thomas Given-Wilson; Axel Legay; Rosana Veroneze (Appl. Soft Comput., 2022)