Follow
Thomas Given-Wilson
Title
Cited by
Cited by
Year
Pluginizing quic
Q De Coninck, F Michel, M Piraux, F Rochet, T Given-Wilson, A Legay, ...
Proceedings of the ACM Special Interest Group on Data Communication, 59-74, 2019
872019
A combinatory account of internal structure
B Jay, T Given-Wilson
The Journal of Symbolic Logic 76 (3), 807-826, 2011
352011
Effective, efficient, and robust packing detection and classification
F Biondi, MA Enescu, T Given-Wilson, A Legay, L Noureddine, V Verma
Computers & Security 85, 436-451, 2019
322019
Tutorial: An overview of malware detection and evasion techniques
F Biondi, T Given-Wilson, A Legay, C Puodzius, J Quilbeuf
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
322018
Optimizing symbolic execution for malware behavior classification
S Sebastio, E Baranov, F Biondi, O Decourbe, T Given-Wilson, A Legay, ...
Computers & Security 93, 101775, 2020
312020
An automated formal process for detecting fault injection vulnerabilities in binaries and case study on present
T Given-Wilson, N Jafri, JL Lanet, A Legay
2017 IEEE Trustcom/BigDataSE/ICESS, 293-300, 2017
302017
Detection of mirai by syntactic and behavioral analysis
NB Said, F Biondi, V Bontchev, O Decourbe, T Given-Wilson, A Legay, ...
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
272018
Combined software and hardware fault injection vulnerability detection
T Given-Wilson, N Jafri, A Legay
Innovations in Systems and Software Engineering 16 (2), 101-120, 2020
262020
Concurrent pattern calculus
T Given-Wilson, D Gorla, B Jay
IFIP International Conference on Theoretical Computer Science, 244-258, 2010
252010
The serums tool-chain: ensuring security and privacy of medical data in smart patient-centric healthcare systems
V Janjic, JKF Bowles, AF Vermeulen, A Silvina, M Belk, C Fidas, ...
2019 IEEE International Conference on Big Data (Big Data), 2726-2735, 2019
202019
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
T Given‐Wilson, A Heuser, N Jafri, A Legay
Concurrency and Computation: Practice and Experience 31 (23), e4794, 2019
162019
High performance static analysis for industry
M Bradley, F Cassez, A Fehnker, T Given-Wilson, R Huuck
Electronic Notes in Theoretical Computer Science 289, 3-14, 2012
142012
The state of fault injection vulnerability detection
T Given-Wilson, N Jafri, A Legay
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
112018
Packer classification based on association rule mining
KHT Dam, T Given-Wilson, A Legay, R Veroneze
Applied Soft Computing 127, 109373, 2022
102022
A concurrent pattern calculus
T Given-Wilson, D Gorla, B Jay
Logical Methods in Computer Science 10, 2014
102014
Pattern matching and bisimulation
T Given-Wilson, D Gorla
International Conference on Coordination Languages and Models, 60-74, 2013
102013
Concurrent Pattern Unification
TP Given-Wilson
102012
Formalising fault injection and countermeasures
T Given-Wilson, A Legay
Proceedings of the 15th International Conference on Availability …, 2020
92020
Detection of mirai by syntactic and semantic analysis
NB Said, F Biondi, V Bontchev, O Decourbe, T Given-Wilson, A Legay, ...
92017
Chaos duck: A tool for automatic iot software fault-tolerance analysis
I Zavalyshyn, T Given–Wilson, A Legay, R Sadre, E Rivière
2021 40th International Symposium on Reliable Distributed Systems (SRDS), 46-55, 2021
82021
The system can't perform the operation now. Try again later.
Articles 1–20