ProfessorsProfessors of Macquarie UniversityFranck Cassez

Franck Cassez

Macquarie University

H-index: 30

Oceania-Australia

About Franck Cassez

Franck Cassez, With an exceptional h-index of 30 and a recent h-index of 15 (since 2020), a distinguished researcher at Macquarie University, specializes in the field of Computer Science, Distributed Systems, Blockchain, Formal Methods, Static Analysis.

His recent articles reflect a diverse array of research interests and contributions to the field:

EVM-Vale: Formal Verification of EVM Bytecode Using Vale

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

Deductive verification of smart contracts with Dafny

Formal Verification of the Ethereum 2.0 Beacon Chain

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction

Verification of the Incremental Merkle Tree Algorithm with Dafny.

Franck Cassez Information

University	Macquarie University
Position	ConsenSys Software Inc. &
Citations(all)	3204
Citations(since 2020)	832
Cited By	2714
hIndex(all)	30
hIndex(since 2020)	15
i10Index(all)	59
i10Index(since 2020)	24
Email	Access Email
University Profile Page	Macquarie University
Google Scholar	View Google Scholar Profile

Franck Cassez Skills & Research Interests

Computer Science

Distributed Systems

Blockchain

Formal Methods

Static Analysis

Top articles of Franck Cassez

Title	Journal	Author(s)	Publication Date
EVM-Vale: Formal Verification of EVM Bytecode Using Vale		Daniel Cumming Mark Utting Franck Cassez Naipeng Dong Sadra Bayat Tork ...	2023/11/30
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny		Franck Cassez Joanne Fuller Milad K Ghale David J Pearce Horacio MA Quiles	2023/3/3
Deductive verification of smart contracts with Dafny		Franck Cassez Joanne Fuller Horacio Mijail Antón Quiles	2022/9/5
Formal Verification of the Ethereum 2.0 Beacon Chain		Franck Cassez Joanne Fuller Aditya Asgaonkar	2022
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction	Fundamenta Informaticae	Franck Cassez Peter Gjøl Jensen Kim Guldstrand Larsen	2021/1/1
Verification of the Incremental Merkle Tree Algorithm with Dafny.		Franck Cassez	2021