Patrik Keller, MSc
Former Member

E-mailpatrik@pkel.dev
Patrik Keller, MSc

Research Interests

  • Consensus protocols
  • Decentralized cryptographic currencies
  • Smart legal contracts

Positions

11/2018 – 02/2022 Research Assistant, Department of Computer Science, University of Innsbruck, Austria
06/2020 – 08/2020 Intern, Webassembly backend for Ergo smart contracts, Google Summer of Code
08/2018 – 10/2018 Intern, OCaml runtime types as syntactic preprocessor, LexiFi, Paris, France
06/2017 – 07/2018 Student Assistant, Department of Computer Science, University of Innsbruck, Austria
05/2016 – 07/2018 Technical Assistant, Journal of Statistical Software, University of Innsbruck, Austria

Education

since 11/2018 Ph.D. studies in Computer Science, University of Innsbruck, Austria
2016 – 2018 M.Sc. studies in Computer Science, University of Innsbruck, Austria
2015 – 2016 Actuarial and Financial Mathematics, student exchange, Taras Shevchenko National University, Kiev, Ukraine
2011 – 2015 B.Sc. studies in Mathematics, University of Ulm, Germany

Publications

  • Keller, P. and Bissias, G. Generic Selfish Mining MDP for DAG Protocols. 2023. [Preprint]
  • Keller, P., Glickenhaus, B., Bissias, G., and Griffith, G. Tailstorm: A Secure and Fair Blockchain for Cash Transactions. In Conference on Advances in Financial Technologies (AFT). LIPIcs, Princeton, MA, 2023. [Publisher]
  • Keller, P. and Böhme, R. Parallel Proof-of-Work with Concrete Bounds. In Conference on Advances in Financial Technologies (AFT). ACM, Cambridge, MA, 2022. [Publisher] [Preprint]
  • Keller, P., Florian, M., and Böhme, R. Collaborative Deanonymization. In Workshop on Coordination of Decentralized Finance (CoDecFin). 2021. [Publisher] [Preprint] [Video]
  • Keller, P. and Böhme, R. HotPoW: Finality from Proof-of-Work Quorums. 2019. [Preprint]

Presentations

  • Keller, P. and Lasson, M. LexiFi Runtime Types. In OCaml Users and Developers Workshop. 2020. [PDF] [Video]

Projects