?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
2
Maximizing Extractable Value from Automated Market Makers:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
3
Formal Analysis of Lending Pools in Decentralized Finance:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
7
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
9
A Theory of Automated Market Makers in DeFi:
, In:
?
Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops ,
10
SoK: Lending Pools in Decentralized Finance:
, In:
?
Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops ,
11
Towards a Theory of Decentralized Finance:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
12
Computationally sound Bitcoin tokens:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
15