Thomas Given-Wilson

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