Joanne Fuller

According to our database, Joanne Fuller authored at least 10 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Deductive verification of smart contracts with Dafny.

Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles

Int. J. Softw. Tools Technol. Transf., April, 2024

2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.

Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Formal Verification of the Ethereum 2.0 Beacon Chain.

Franck Cassez, Joanne Fuller, Aditya Asgaonkar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2005

Multi-objective Optimisation of Bijective S-Boxes.

Joanne Fuller, William Millan, Ed Dawson

New Gener. Comput., 2005

2004

New Concepts in Evolutionary Search for Boolean Functions in Cryptology.

William Millan, Joanne Fuller, Ed Dawson

Comput. Intell., 2004

Dragon: A Fast Word Based Stream Cipher.

Kevin Chen, Matthew Henricksen, William Millan, Joanne Fuller, Leonie Ruth Simpson, Ed Dawson, Hoon-Jae Lee, Sang-Jae Moon

Proceedings of the Information Security and Cryptology, 2004

2003

Linear Redundancy in S-Boxes.

Joanne Fuller, William Millan

Proceedings of the Fast Software Encryption, 10th International Workshop, 2003

Evolutionary generation of bent functions for cryptography.

Joanne Fuller, Ed Dawson, William Millan

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002

On Linear Redundancy in the AES S-Box.

Joanne Fuller, William Millan

IACR Cryptol. ePrint Arch., 2002

The LILI-II Keystream Generator.

Andrew J. Clark, Ed Dawson, Joanne Fuller, Jovan Dj. Golic, Hoon-Jae Lee, William Millan, Sang-Jae Moon, Leonie Simpson

Proceedings of the Information Security and Privacy, 7th Australian Conference, 2002