Thomas Given-Wilson

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 31

Top Topics

Information Leakage

Countermeasures

Fault Injection

Top Venues

Publications

Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) (2022)
Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay, Rosana Veroneze
Packer classification based on association rule mining. Appl. Soft Comput. 127 (2022)
Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay
Analysis of Machine Learning Approaches to Packing Detection. CoRR (2021)
Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivière
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. SRDS (2021)
Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. SPIN (2021)
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber
A Secure User-Centred Healthcare System: Design and Verification. DataMod (2021)
Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay
Unsupervised behavioural mining and clustering for malware family identification. SAC (2021)
Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS (2020)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Thomas Given-Wilson, Axel Legay
Formalising fault injection and countermeasures. ARES (2020)
Thomas Given-Wilson, Nisrine Jafri, Axel Legay
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16 (2) (2020)
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Optimizing symbolic execution for malware behavior classification. Comput. Secur. 93 (2020)
Ioana Cristescu, Thomas Given-Wilson, Axel Legay
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837 (2020)
Eduard Baranov, Thomas Given-Wilson, Axel Legay
Improving Secure and Robust Patient Service Delivery. ISoLA (1) (2020)
Thomas Given-Wilson, Eduard Baranov, Axel Legay
Building User Trust of Critical Digital Technologies. ICIT (2020)
Vladimir Janjic, Michael Vinov, Thomas Given-Wilson, Axel Legay, Euan Blackledge, R. Arredouani, George Stylianou, W. Huang, Juliana Küster Filipe Bowles, Andreas Francois Vermeulen, Agastya Silvina, Marios Belk, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData (2019)
Fabrizio Biondi, Michael A. Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma
Effective, efficient, and robust packing detection and classification. Comput. Secur. 85 (2019)
Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Axel Legay
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurr. Comput. Pract. Exp. 31 (23) (2019)
Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure
Pluginizing QUIC. SIGCOMM (2019)
Thomas Given-Wilson, Nisrine Jafri, Axel Legay
The State of Fault Injection Vulnerability Detection. VECoS (2018)
Thomas Given-Wilson, Axel Legay
On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta (2018)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) (2018)
Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra
Group abstraction for assisted navigation of social activities in intelligent environments. J. Reliab. Intell. Environ. 4 (2) (2018)
Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE (2018)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE (2018)
Thomas Given-Wilson, Axel Legay
X-by-C: Non-functional Security Challenges. ISoLA (1) (2018)
Thomas Given-Wilson, Axel Legay, Sean Sedwards
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HCI (22) (2017)
Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. TrustCom/BigDataSE/ICESS (2017)
Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
Information Leakage as a Scheduling Resource. FMICS-AVoCS (2017)
Thomas Given-Wilson, Axel Legay
On the Expressiveness of Symmetric Communication. ICTAC (2016)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Attainable unconditional security for shared-key cryptosystems. Inf. Sci. 369 (2016)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA (1) (2015)
Yusuke Kawamoto, Thomas Given-Wilson
Quantitative Information Flow for Scheduler-Dependent Systems. QAPL (2015)
Thomas Given-Wilson, Axel Legay
On the Expressiveness of Joining. ICE (2015)
Thomas Given-Wilson, Daniele Gorla, Barry Jay
A Concurrent Pattern Calculus. Log. Methods Comput. Sci. 10 (3) (2014)
Thomas Given-Wilson
Expressiveness via Intensionality and Concurrency. ICTAC (2014)
Thomas Given-Wilson
An Intensional Concurrent Faithful Encoding of Turing Machines. ICE (2014)
Thomas Given-Wilson
On the Expressiveness of Intensional Communication. EXPRESS/SOS (2014)
Thomas Given-Wilson
Expressiveness via Intensionality and Concurrency. CoRR (2014)
Thomas Given-Wilson, Freeman Huang, Barry Jay
Multi-polymorphic programming in bondi. WGP@ICFP (2013)
Thomas Given-Wilson, Daniele Gorla
Pattern Matching and Bisimulation. COORDINATION (2013)
Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
High Performance Static Analysis for Industry. Electron. Notes Theor. Comput. Sci. 289 (2012)
Thomas Given-Wilson, Barry Jay
A combinatory account of internal structure. J. Symb. Log. 76 (3) (2011)
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent Pattern Calculus. IFIP TCS (2010)