Joanne Fuller

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