I am a PostDoc member of the Aarhus Crypto Group.

My PhD at the Technical University of Denmark (DTU) was awarded the DTU Compute fellowship. I hold a BSc from UCLA with distinction.

Prior to my PhD in computer science, I designed flight hardware for Mars missions at JPL NASA in Pasadena, advised global technology clients at the Boston Consulting Group, co-founded data-science startups in Switzerland Eturnity, Siroop and contributed to open-source libraries implementing the original Bitcoin protocol.

Research Interests

Google Scholar / DBLP

I am interested in Privacy-Enhancing Technologies and Cryptographic Protocols for all domains.

During my PhD, I studied a class of smart contract applications called Decentralized Finance and characterized their economic security properties with formal verification techniques, identifying (front-running) vulnerabilities due to a lack of privacy. In response, my collaborators and I deployed advanced cryptography to design novel protocols which deliver input fairness in the permissionless setting and general, privacy-preserving smart contracts in the presence of static committees.

Academic Service

PC: Program Committee , SR: Subreviewer

Cryptography & Security
FC'24, PC
DeFi'23 (CCS'23), PC
CBT'23 (ESORICS'23), PC
DeFi'23 (FC'23), PC
DeFi'22 (CCS'22), PC
CBT'22 (ESORICS'22), PC
DeFi'22 (FC'22), PC

Eurocrypt'22, SR
Asiacrypt'22, SR
CCS'22, SR

Formal Methods
WRLA'22, SR
FM'21, SR
TACAS'21, SR
JLAMP, Vol. 121, SR

Research Manuscripts

Peer-reviewed

Correlated-Output Differential Privacy and Applications to Dark Pools (ePrint)

James Hsin-yu Chiang, Bernardo David, Mariana Gama, Christian Janos Lebeda
Advances in Financial Technologies, Princeton University, 2023

FairPoS: Input Fairness in Permissionless Consensus (ePrint)

James Hsin-yu Chiang, Bernardo David, Ittay Eyal, Tiantian Gong
Advances in Financial Technologies, Princeton University, 2023

SoK: Privacy-Enhancing Technologies in Finance (ePrint)

Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen
Advances in Financial Technologies, Princeton University, 2023

Eagle: Efficient Privacy Preserving Smart Contracts (ePrint)

Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen
Financial Cryptography and Data Security, Bol, Croatia, 2023

SoK: Mitigation of Front-running in Decentralized Finance (ePrint)

Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen, Lorenzo Gentile
Workshop on Decentralized Finance (FC'22), Grenada, 2022 (doi)

Maximizing Extractable Value from Automated Market Makers (arXiv)

Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Financial Cryptography and Data Security, Grenada, 2022 (doi)

Formal analysis of lending pools in decentralized finance (arXiv)

Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch Lafuente, Massimiliano Mirelli, Andrea Vandin
International Symposium on Leveraging Applications of Formal Methods, 2022 (doi)

A theory of Automated Market Makers in DeFi (arXiv)

Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Coordination Models and Languages, 2021 (doi)
Logical Methods in Computer Science, Vol 18, Issue 4, 2022 (doi)

SoK: Lending Pools in Decentralized Finance (arXiv)

Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Workshop on Trusted Smart Contracts (FC'21), 2021 (doi)

Bitcoin Trace-Net: Formal Contract Verification at Signing Time (arXiv)

James Hsin-yu Chiang
MIT Press Cryptoeconomic Systems, Vol 1, Issue 2, 2021 (doi)

Other

Full course materials from my course on Bitcoin programming.
I contributed to cryptoeconomics authored by Eric Voskuil.