12 citations · 16 across the 7 of their papers we have counts for
7 papers
A bootstrap proof of Bohr's theorem
Ole Fredrik Brevig
Let be an analytic function in the unit disc whose modulus is bounded by . We present a new proof of Bohr's theorem, which asserts that its majorant function is boun…
A Study of Parallel Continuous Local Search
Cody J Christopher, Charles Gretton
We study parallel Continuous Local Search (CLS) as a solution approach for Boolean satisfiability problems with symmetric pseudo-Boolean (PB) constraints. Here, the -variable PB…
Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver
Cody J Christopher, Charles Gretton
We present Accelerated Fourier SAT (AFSAT), a GPU-accelerated solver for pseudo-Boolean satisfiability based on continuous local search (CLS). AFSAT realises the proof-of-concept a…
TempoNet: Learning Realistic Communication and Timing Patterns for Network Traffic Simulation
Kristen Moore, Diksha Goel, Cody James Christopher +5
Realistic network traffic simulation is critical for evaluating intrusion detection systems, stress-testing network protocols, and constructing high-fidelity environments for cyber…
Deception for Cyber Defence: Challenges and Opportunities
David Liebowitz, Surya Nepal, Kristen Moore +6
Deception is rapidly growing as an important tool for cyber defence, complementing existing perimeter security measures to rapidly detect breaches and data theft. One of the factor…
SchemaDB: Structures in Relational Datasets
Cody James Christopher, Kristen Moore, David Liebowitz
In this paper we introduce the SchemaDB data-set; a collection of relational database schemata in both sql and graph formats. Databases are not commonly shared publicly for reasons…
Modelling Direct Messaging Networks with Multiple Recipients for Cyber Deception
Kristen Moore, Cody J. Christopher, David Liebowitz +2
Cyber deception is emerging as a promising approach to defending networks and systems against attackers and data thieves. However, despite being relatively cheap to deploy, the gen…