Joanne Fuller

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 7

Top Topics

Abductive Inference

Virtual Machine

Formal Verification

Highly Expressive

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive verification of smart contracts with Dafny. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. CoRR (2023)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM (2023)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive Verification of Smart Contracts with Dafny. FMICS (2022)
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
Deductive Verification of Smart Contracts with Dafny. CoRR (2022)
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
Formal Verification of the Ethereum 2.0 Beacon Chain. TACAS (1) (2022)
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
Formal Verification of the Ethereum 2.0 Beacon Chain. CoRR (2021)
Joanne Fuller, William Millan, Ed Dawson
Multi-objective Optimisation of Bijective S-Boxes. New Gener. Comput. 23 (3) (2005)
William Millan, Joanne Fuller, Ed Dawson
New Concepts in Evolutionary Search for Boolean Functions in Cryptology. Comput. Intell. 20 (3) (2004)
Kevin Chen, Matthew Henricksen, William Millan, Joanne Fuller, Leonie Ruth Simpson, Ed Dawson, Hoon-Jae Lee, Sang-Jae Moon
Dragon: A Fast Word Based Stream Cipher. ICISC (2004)
Joanne Fuller, William Millan, Ed Dawson
Multi-objective optimisation of bijective s-boxes. IEEE Congress on Evolutionary Computation (2004)
Joanne Fuller, Ed Dawson, William Millan
Evolutionary generation of bent functions for cryptography. IEEE Congress on Evolutionary Computation (2003)
Joanne Fuller, William Millan
Linear Redundancy in S-Boxes. FSE (2003)
William Millan, Joanne Fuller, Ed Dawson
New concepts in evolutionary search for Boolean functions in cryptology. IEEE Congress on Evolutionary Computation (2003)
Joanne Fuller, William Millan
On Linear Redundancy in the AES S-Box. IACR Cryptol. ePrint Arch. 2002 (2002)
Andrew J. Clark, Ed Dawson, Joanne Fuller, Jovan Dj. Golic, Hoon-Jae Lee, William Millan, Sang-Jae Moon, Leonie Simpson
The LILI-II Keystream Generator. ACISP (2002)