Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies

Project Period: 2019-06-01 – 2021-11-30
Externally Funded
Principal Investigator
Amir Goharshady
Chatterjee Group
Funding Organisation

2 Publications

2019 | Journal Article | IST-REx-ID: 7014
Non-polynomial worst-case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
View | DOI | arXiv
2019 | Conference Paper | IST-REx-ID: 6056   OA
Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019.
View | DOI | Download (ext.) | arXiv