9 citations · 37 across the 6 of their papers we have counts for
6 papers
Analysis of Machine Learning Approaches to Packing Detection
Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet +2
Packing is an obfuscation technique widely used by malware to hide the content and behavior of a program. Much prior research has explored how to detect whether a program is packed…
Quantitative Information Flow for Scheduler-Dependent Systems
Yusuke Kawamoto, Thomas Given-Wilson
Quantitative information flow analyses measure how much information on secrets is leaked by publicly observable outputs. One area of interest is to quantify and estimate the inform…
On the Expressiveness of Joining
Thomas Given-Wilson, Axel Legay
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…
On the Expressiveness of Intensional Communication
Thomas Given-Wilson
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…
Expressiveness via Intensionality and Concurrency
Thomas Given-Wilson
Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computat…
An Intensional Concurrent Faithful Encoding of Turing Machines
Thomas Given-Wilson
The benchmark for computation is typically given as Turing computability; the ability for a computation to be performed by a Turing Machine. Many languages exploit (indirect) encod…