| SoK: lending pools in decentralized finance M Bartoletti, JH Chiang, AL Lafuente Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021 | 79 | 2021 |
| A theory of Automated Market Makers in DeFi M Bartoletti, JH Chiang, A Lluch-Lafuente COORDINATION 2021, 2021 | 59 | 2021 |
| Maximizing Extractable Value from Automated Market Makers M Bartoletti, JH Chiang, A Lluch-Lafuente Financial Cryptography & Data Security 2022, 2021 | 35 | 2021 |
| SoK: Mitigation of Front-running in Decentralized Finance C Baum, JH Chiang, B David, TK Frederiksen, L Gentile 2nd Workshop on Decentralized Finance, 2021 | 33 | 2021 |
| Towards a theory of decentralized finance M Bartoletti, JH Chiang, AL Lafuente Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021 | 17 | 2021 |
| Eagle: Efficient Privacy Preserving Smart Contracts C Baum, JH Chiang, B David, TK Frederiksen Financial Cryptography & Data Security 2023, 2022 | 15 | 2022 |
| SoK: Privacy-Enhancing Technologies in Finance C Baum, JH Chiang, B David, TK Frederiksen Advances in Financial Technologies 2023, 2023 | 7 | 2023 |
| Fairpos: Input fairness in permissionless consensus JH Chiang, B David, I Eyal, T Gong Advances in Financial Technologies 2023, 2023 | 6* | 2023 |
| Formal analysis of lending pools in decentralized finance M Bartoletti, J Chiang, T Junttila, A Lluch Lafuente, M Mirelli, A Vandin International Symposium on Leveraging Applications of Formal Methods, 335-355, 2022 | 6 | 2022 |
| Correlated-Output Differential Privacy and Applications to Dark Pools JH Chiang, B David, M Gama, CJ Lebeda Advances in Financial Technologies 2023, 2023 | 2 | 2023 |
| Bitcoin Trace-Net: Formal Contract Verification at Signing Time JH Chiang Cryptoeconomic Systems 1 (2), 2021 | 1 | 2021 |
| Formal Security and Privacy in Cryptoeconomic Systems JH Chiang Technical University of Denmark, 2023 | | 2023 |
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
