The LILI-II Keystream Generator. - Andrew J. Clark; Ed Dawson; Joanne Fuller; Jovan Dj. Golic; Hoon-Jae Lee 001; William Millan; Sang-Jae Moon; Leonie Simpson (ACISP, 2002)

On Linear Redundancy in the AES S-Box. - Joanne Fuller; William Millan (IACR Cryptol. ePrint Arch., 2002)

Evolutionary generation of bent functions for cryptography. - Joanne Fuller; Ed Dawson; William Millan (IEEE Congress on Evolutionary Computation, 2003)

Linear Redundancy in S-Boxes. - Joanne Fuller; William Millan (FSE, 2003)

Dragon: A Fast Word Based Stream Cipher. - Kevin Chen; Matthew Henricksen; William Millan; Joanne Fuller; Leonie Ruth Simpson; Ed Dawson; Hoon-Jae Lee 001; Sang-Jae Moon (ICISC, 2004)

New Concepts in Evolutionary Search for Boolean Functions in Cryptology. - William Millan; Joanne Fuller; Ed Dawson (Comput. Intell., 2004)

Multi-objective Optimisation of Bijective S-Boxes. - Joanne Fuller; William Millan; Ed Dawson (New Gener. Comput., 2005)

Formal Verification of the Ethereum 2.0 Beacon Chain. - Franck Cassez; Joanne Fuller; Aditya Asgaonkar (TACAS (1), 2022)

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. - Franck Cassez; Joanne Fuller; Milad K. Ghale; David J. Pearce 001; Horacio Mijail Anton Quiles (FM, 2023)

Deductive verification of smart contracts with Dafny. - Franck Cassez; Joanne Fuller; Horacio Mijail Anton Quiles (Int. J. Softw. Tools Technol. Transf., 2024)