James Hsin-yu Chiang

James Hsin-yu Chiang

 https://orcid.org/0000-0002-5126-9494

  • Richard Petersens Plads, 321, 020

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
  • 5 Article in proceedings
  • 1 Journal article

Search results

  • 2022

    A theory of Automated Market Makers in DeFi

    Bartoletti, M., Chiang, J. H. & Lluch-Lafuente, A., 2022, In: Logical Methods in Computer Science. 18, 4, 46 p., 12.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • Formal Analysis of Lending Pools in Decentralized Finance

    Bartoletti, M., Chiang, J., Junttila, T., Lluch Lafuente, A., Mirelli, M. & Vandin, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Margaria, T. & Steffen, B. (eds.). Springer, p. 335-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13703 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • Maximizing Extractable Value from Automated Market Makers

    Bartoletti, M., Chiang, J. H. Y. & Lluch Lafuente, A., 2022, Financial Cryptography and Data Security. Eyal, I. & Garay, J. (eds.). Springer, p. 3-19 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13411 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    5 Downloads (Pure)
  • 2021

    A Theory of Automated Market Makers in DeFi

    Bartoletti, M., Chiang, J. H. Y. & Lluch-Lafuente, A., 2021, Coordination Models and Languages. Damiani, F. & Dardha, O. (eds.). Springer, p. 168-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    208 Downloads (Pure)

  • SoK Lending Pools in Decentralized Finance

    Bartoletti, M., Chiang, J. H. Y. & Lafuente, A. L., 2021, Financial Cryptography and Data Security. Bernhard, M., Bracciali, A., Gudgeon, L., Haines, T., Klages-Mundt, A., Matsuo, S., Perez, D., Sala, M. & Werner, S. (eds.). Springer, p. 553-578 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12676 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    212 Downloads (Pure)

  • Towards a Theory of Decentralized Finance

    Bartoletti, M., Chiang, J. H. Y. & Lafuente, A. L., 2021, Financial Cryptography and Data Security. Bernhard, M., Bracciali, A., Gudgeon, L., Haines, T., Klages-Mundt, A., Matsuo, S., Perez, D., Sala, M. & Werner, S. (eds.). Springer, p. 227-232 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12676 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    545 Downloads (Pure)