Joanne Fuller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2002–2023
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | 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 |
| 2022 | FMICS | Deductive Verification of Smart Contracts with Dafny. | Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
| 2022 | TACAS | Formal Verification of the Ethereum 2.0 Beacon Chain. | Franck Cassez, Joanne Fuller, Aditya Asgaonkar |
| 2004 | CEC | Multi-objective optimisation of bijective s-boxes. | Joanne Fuller, William Millan, Ed Dawson |
| 2004 | ICISC | 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 |
| 2003 | CEC | Evolutionary generation of bent functions for cryptography. | Joanne Fuller, Ed Dawson, William Millan |
| 2003 | CEC | New concepts in evolutionary search for Boolean functions in cryptology. | William Millan, Joanne Fuller, Ed Dawson |
| 2003 | FSE | Linear Redundancy in S-Boxes. | Joanne Fuller, William Millan |
| 2002 | ACISP | 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 |