James Hsin-yu Chiang

Mariana Gama

Christian Janos Lebeda

IACR Cryptol. ePrint Arch., 2023

SoK: Privacy-Enhancing Technologies in Finance.

[BibT_eX]

[DOI]

Carsten Baum

Tore Kasper Frederiksen

IACR Cryptol. ePrint Arch., 2023

FairPoS: Input Fairness in Permissionless Consensus.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

2022

A theory of Automated Market Makers in DeFi.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

FairPoS: Input Fairness in Proof-of-Stake with Adaptive Security.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Eagle: Efficient Privacy Preserving Smart Contracts.

[BibT_eX]

[DOI]

Carsten Baum

Tore Kasper Frederiksen

IACR Cryptol. ePrint Arch., 2022

Formal Analysis of Lending Pools in Decentralized Finance.

[BibT_eX]

[DOI]

Tommi Junttila

Massimiliano Mirelli

Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Maximizing Extractable Value from Automated Market Makers.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2022

2021

SoK: Mitigation of Front-running in Decentralized Finance.

[BibT_eX]

[DOI]

Carsten Baum

Tore Kasper Frederiksen

Lorenzo Gentile

IACR Cryptol. ePrint Arch., 2021

SoK: Lending Pools in Decentralized Finance.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Towards a Theory of Decentralized Finance.

[BibT_eX]

[DOI]