Franck Cassez
- Formal Verification of the Ethereum 2.0 Beacon Chain
2021/10/22 by Franck Cassez, Cassez, Franck, Joanne Fuller +3 · 1 voice · 2 citations
Computer Science · Decision Sciences · #Digital and Cyber Forensics #F.2.2 #F.4.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Scientific Computing and Data Management #Security and Verification in Computing #cs.LO #cs.PL
- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
2023/03/01 by Franck Cassez, Cassez, Franck, Joanne Fuller +7 · 3 citations
Computer Science · Social Sciences · #Access Control and Trust #Advanced Data Storage Technologies #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Control and Synthesis of Non-Interferent Timed Systems
2012/07/11 by Gilles Benattar, Benattar, Gilles, Franck Cassez +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Security and Verification in Computing #Systems and Control (eess.SY) #electronic engineering #information engineering
- Predictability of Event Occurrences in Timed Systems
2013/06/04 by Franck Cassez, Cassez, Franck, Alban Grastien +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC) #Petri Nets in System Modeling #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Verification of the Incremental Merkle Tree Algorithm with Dafny
2021/05/13 by Franck Cassez, Cassez, Franck · 1 citation
Computer Science · #Blockchain Technology Applications and Security #D.2.4 #Distributed systems and fault tolerance #F.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Security and Verification in Computing
- Deductive Verification of Smart Contracts with Dafny
2022/08/04 by Franck Cassez, Cassez, Franck, Joanne Fuller +3 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #D.2.4 #Digital Rights Management and Security #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Security and Verification in Computing