Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D G I J K L M R S T V Z

B
Bartoletti, Massimo	A Formal Model of Algorand Smart Contracts Formal Methods in Decentralized Finance
Bistarelli, Stefano	A Technique For Analysing Permissionless Blockchain Protocols
Bozman, Çagdas	Formally Documenting Tenderbake
Bracciali, Andrea	A Formal Model of Algorand Smart Contracts
Britten, Daniel	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts
C
Chiang, James Hsin-Yu	Formal Methods in Decentralized Finance
Conchon, Sylvain	Formally Documenting Tenderbake
D
Dave, Kinnari	Towards Verified Price Oracles
De Nicola, Rocco	A Technique For Analysing Permissionless Blockchain Protocols
Dill, David	Formal verification of Move programs for the Diem blockchain
Doan, Thi Thu Ha	Towards Contract Modules for the Tezos Blockchain
G
Gabbay, Murdoch	Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard
Galletta, Letterio	A Technique For Analysing Permissionless Blockchain Protocols
I
Iguernlala, Mohamed	Formally Documenting Tenderbake
J
Jakobsson, Arvid	Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard
K
Korneva, Alexandrina	Formally Documenting Tenderbake
L
Laneve, Cosimo	A Technique For Analysing Permissionless Blockchain Protocols
Lepore, Cristian	A Formal Model of Algorand Smart Contracts
Lluch-Lafuente, Alberto	Formal Methods in Decentralized Finance
M
Mebsout, Alain	Formally Documenting Tenderbake
Mercanti, Ivan	A Technique For Analysing Permissionless Blockchain Protocols
R
Reeves, Steve	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts
S
Scalas, Alceste	A Formal Model of Algorand Smart Contracts
Sjöberg, Vilhelm	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts Towards Verified Price Oracles
Sojakova, Kristina	Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard
Sun, Xinyuan	Towards Verified Price Oracles
T
Thiemann, Peter	Towards Contract Modules for the Tezos Blockchain
V
Veschetti, Adele	A Technique For Analysing Permissionless Blockchain Protocols
Z
Zunino, Roberto	A Formal Model of Algorand Smart Contracts