Deductive verification of smart contracts with Dafny.

Joanne Fuller

Franck Cassez Joanne Fuller Horacio Mijail Anton Quiles Deductive verification of smart contracts with Dafny. 131-145 2024 April 26 Int. J. Softw. Tools Technol. Transf. 2 https://doi.org/10.1007/s10009-024-00738-1 db/journals/sttt/sttt26.html#CassezFQ24

Franck Cassez Joanne Fuller Milad K. Ghale David J. Pearce 0001 Horacio Mijail Anton Quiles Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. 571-583 2023 FM https://doi.org/10.1007/978-3-031-27481-7_32 conf/fm/2023 db/conf/fm/fm2023.html#CassezFGPQ23

Franck Cassez Joanne Fuller Milad K. Ghale David J. Pearce 0001 Horacio Mijail Anton Quiles Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. 2023 abs/2303.00152 CoRR https://doi.org/10.48550/arXiv.2303.00152 db/journals/corr/corr2303.html#abs-2303-00152

Franck Cassez Joanne Fuller Horacio Mijail Anton Quiles Deductive Verification of Smart Contracts with Dafny. 50-66 2022 FMICS https://doi.org/10.1007/978-3-031-15008-1_5 conf/fmics/2022 db/conf/fmics/fmics2022.html#CassezFQ22 Franck Cassez Joanne Fuller Aditya Asgaonkar Formal Verification of the Ethereum 2.0 Beacon Chain. 167-182 2022 TACAS (1) https://doi.org/10.1007/978-3-030-99524-9_9 conf/tacas/2022-1 db/conf/tacas/tacas2022-1.html#CassezFA22

Franck Cassez Joanne Fuller Horacio Mijail Anton Quiles Deductive Verification of Smart Contracts with Dafny. 2022 abs/2208.02920 CoRR https://doi.org/10.48550/arXiv.2208.02920 db/journals/corr/corr2208.html#abs-2208-02920

Franck Cassez Joanne Fuller Aditya Asgaonkar Formal Verification of the Ethereum 2.0 Beacon Chain. 2021 abs/2110.12909 CoRR https://arxiv.org/abs/2110.12909 db/journals/corr/corr2110.html#abs-2110-12909

Joanne Fuller William Millan Ed Dawson Multi-objective Optimisation of Bijective S-Boxes. 2005 23 New Gener. Comput. 3 https://doi.org/10.1007/BF03037655 https://www.wikidata.org/entity/Q114233706 db/journals/ngc/ngc23.html#FullerMD05 201-218

William Millan Joanne Fuller Ed Dawson New Concepts in Evolutionary Search for Boolean Functions in Cryptology. 463-474 2004 20 Comput. Intell. 3 https://doi.org/10.1111/j.0824-7935.2004.00246.x db/journals/ci/ci20.html#MillanFD04

Joanne Fuller William Millan Ed Dawson Multi-objective optimisation of bijective s-boxes. 1525-1532 2004 conf/cec/2004 IEEE Congress on Evolutionary Computation https://doi.org/10.1109/CEC.2004.1331077 db/conf/cec/cec2004.html#FullerMD04 Kevin Chen Matthew Henricksen William Millan Joanne Fuller Leonie Ruth Simpson Ed Dawson Hoon-Jae Lee 0001 Sang-Jae Moon Dragon: A Fast Word Based Stream Cipher. 33-50 2004 conf/icisc/2004 ICISC https://doi.org/10.1007/11496618_5 db/conf/icisc/icisc2004.html#ChenHMFSDLM04 Joanne Fuller Ed Dawson William Millan Evolutionary generation of bent functions for cryptography. 1655-1661 2003 IEEE Congress on Evolutionary Computation https://doi.org/10.1109/CEC.2003.1299871 conf/cec/2003 db/conf/cec/cec2003.html#FullerDM03 William Millan Joanne Fuller Ed Dawson New concepts in evolutionary search for Boolean functions in cryptology. 2157-2164 2003 IEEE Congress on Evolutionary Computation https://doi.org/10.1109/CEC.2003.1299939 conf/cec/2003 db/conf/cec/cec2003.html#MillanFD03 Joanne Fuller William Millan Linear Redundancy in S-Boxes. 74-86 https://doi.org/10.1007/978-3-540-39887-5_7 2003 conf/fse/2003 FSE db/conf/fse/fse2003.html#FullerM03 Andrew J. Clark Ed Dawson Joanne Fuller Jovan Dj. Golic Hoon-Jae Lee 0001 William Millan Sang-Jae Moon Leonie Simpson The LILI-II Keystream Generator. 25-39 2002 conf/acisp/2002 ACISP https://doi.org/10.1007/3-540-45450-0_3 db/conf/acisp/acisp2002.html#ClarkDFGLMMS02

Joanne Fuller William Millan On Linear Redundancy in the AES S-Box. 111 2002 2002 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2002/111 db/journals/iacr/iacr2002.html#FullerM02

Aditya Asgaonkar Franck Cassez Kevin Chen Andrew J. Clark Ed Dawson Milad K. Ghale Jovan Dj. Golic Matt HenricksenMatthew Henricksen Hoonjae Lee 0001Hoon-Jae Lee 0001 William Millan Sang-Jae Moon David J. Pearce 0001 Horacio Mijail Anton Quiles Leonie Ruth SimpsonLeonie Simpson