default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Given-Wilson

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/au/GivenWilson12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/au/GivenWilson12
Thomas Given-Wilson:
Concurrent pattern unification. University of Technology Sydney, Australia, 2012

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/DamGLV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/DamGLV22
Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay, Rosana Veroneze:
Packer classification based on association rule mining. Appl. Soft Comput. 127: 109373 (2022)
2020
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/SebastioBBDGLPQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/SebastioBBDGLPQ20
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: 101775 (2020)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/Given-WilsonJL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Given-WilsonJL20
Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16(2): 101-120 (2020)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BiondiGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BiondiGL20
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. 22(5): 563-564 (2020)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CristescuGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CristescuGL20
Ioana Cristescu, Thomas Given-Wilson, Axel Legay:
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837: 54-83 (2020)
2019
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/BiondiEGLNV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/BiondiEGLNV19
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: 436-451 (2019)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/Given-WilsonHJL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/Given-WilsonHJL19
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)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jrie/Given-WilsonLSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jrie/Given-WilsonLSZ18
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): 107-120 (2018)
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/BiondiGL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/BiondiGL16
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Attainable unconditional security for shared-key cryptosystems. Inf. Sci. 369: 80-99 (2016)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Given-WilsonGJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-WilsonGJ14
Thomas Given-Wilson, Daniele Gorla, Barry Jay:
A Concurrent Pattern Calculus. Log. Methods Comput. Sci. 10(3) (2014)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Given-WilsonJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Given-WilsonJ11
Thomas Given-Wilson, Barry Jay:
A combinatory account of internal structure. J. Symb. Log. 76(3): 807-826 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DamDGCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DamDGCL22
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: 279-298
2021
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/datamod/BaranovBGLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datamod/BaranovBGLW21
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber:
A Secure User-Centred Healthcare System: Design and Verification. DataMod 2021: 44-60
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/DamGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DamGL21
Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay:
Unsupervised behavioural mining and clustering for malware family identification. SAC 2021: 374-383
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChenoyDGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChenoyDGL21
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: 101-119
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/ZavalyshynGLSR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/ZavalyshynGLSR21
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: 46-55
2020
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Given-WilsonL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Given-WilsonL20
Thomas Given-Wilson, Axel Legay:
Formalising fault injection and countermeasures. ARES 2020: 22:1-22:11
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/Given-WilsonBL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/Given-WilsonBL20
Thomas Given-Wilson, Eduard Baranov, Axel Legay:
Building User Trust of Critical Digital Technologies. ICIT 2020: 1199-1204
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BaranovGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BaranovGL20
Eduard Baranov, Thomas Given-Wilson, Axel Legay:
Improving Secure and Robust Patient Service Delivery. ISoLA (1) 2020: 404-418
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/ZavalyshynGLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/ZavalyshynGLS20
Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre:
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS 2020: 317-322
2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/bigdataconf/JanjicVGLBASHBV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bigdataconf/JanjicVGLBASHBV19
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:
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData 2019: 2726-2735
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/ConinckMPRGLPB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/ConinckMPRGLPB19
Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure:
Pluginizing QUIC. SIGCOMM 2019: 59-74
2018
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Given-WilsonL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Given-WilsonL97
Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta 2018: 326-355
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Given-WilsonL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Given-WilsonL18
Thomas Given-Wilson, Axel Legay:
X-by-C: Non-functional Security Challenges. ISoLA (1) 2018: 486-501
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BiondiGLPQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BiondiGLPQ18
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf:
Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) 2018: 565-586
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SaidBBDGLQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SaidBBDGLQ18
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: 224-235
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/BiondiGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/BiondiGL18
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE 2018: 424-435
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/Given-WilsonJL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/Given-WilsonJL18
Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
The State of Fault Injection Vulnerability Detection. VECoS 2018: 3-21
2017
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BiondiCGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BiondiCGL17
Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay:
Information Leakage as a Scheduling Resource. FMICS-AVoCS 2017: 83-99
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/Given-WilsonLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/Given-WilsonLS17
Thomas Given-Wilson, Axel Legay, Sean Sedwards:
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HCI (22) 2017: 90-109
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/Given-WilsonJLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/Given-WilsonJLL17
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: 293-300
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Given-WilsonL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Given-WilsonL16
Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Symmetric Communication. ICTAC 2016: 139-157
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/BiondiGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/BiondiGL15
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA (1) 2015: 159-166
[c9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KawamotoG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KawamotoG15
Yusuke Kawamoto, Thomas Given-Wilson:
Quantitative Information Flow for Scheduler-Dependent Systems. QAPL 2015: 48-62
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Given-WilsonL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-WilsonL15
Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining. ICE 2015: 99-113
2014
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Given-Wilson14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Given-Wilson14
Thomas Given-Wilson:
Expressiveness via Intensionality and Concurrency. ICTAC 2014: 206-223
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Given-Wilson14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-Wilson14
Thomas Given-Wilson:
An Intensional Concurrent Faithful Encoding of Turing Machines. ICE 2014: 21-37
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Given-Wilson14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-Wilson14b
Thomas Given-Wilson:
On the Expressiveness of Intensional Communication. EXPRESS/SOS 2014: 30-46
2013
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/Given-WilsonG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Given-WilsonG13
Thomas Given-Wilson, Daniele Gorla:
Pattern Matching and Bisimulation. COORDINATION 2013: 60-74
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Given-WilsonHJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Given-WilsonHJ13
Thomas Given-Wilson, Freeman Huang, Barry Jay:
Multi-polymorphic programming in bondi. WGP@ICFP 2013: 53-60
2012
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BradleyCFGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BradleyCFGH12
Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck:
High Performance Static Analysis for Industry. TAPAS@SAS 2012: 3-14
2010
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/Given-WilsonGJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/Given-WilsonGJ10
Thomas Given-Wilson, Daniele Gorla, Barry Jay:
Concurrent Pattern Calculus. IFIP TCS 2010: 244-258

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2019
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11636, Springer 2019, ISBN 978-3-030-30922-0 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-00473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-00473
Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay:
Analysis of Machine Learning Approaches to Packing Detection. CoRR abs/2105.00473 (2021)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Given-Wilson14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-Wilson14a
Thomas Given-Wilson:
Expressiveness via Intensionality and Concurrency. CoRR abs/1404.0956 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.