Joanne Fuller

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deductive verification of smart contracts with Dafny.
Int. J. Softw. Tools Technol. Transf., April, 2024

2023
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022
Formal Verification of the Ethereum 2.0 Beacon Chain.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2005
Multi-objective Optimisation of Bijective S-Boxes.
New Gener. Comput., 2005

2004
New Concepts in Evolutionary Search for Boolean Functions in Cryptology.
Comput. Intell., 2004

Dragon: A Fast Word Based Stream Cipher.
Proceedings of the Information Security and Cryptology, 2004

2003
Linear Redundancy in S-Boxes.
Proceedings of the Fast Software Encryption, 10th International Workshop, 2003

Evolutionary generation of bent functions for cryptography.
Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002
On Linear Redundancy in the AES S-Box.
IACR Cryptol. ePrint Arch., 2002

The LILI-II Keystream Generator.
Proceedings of the Information Security and Privacy, 7th Australian Conference, 2002


  Loading...