Publications in Analysis of Smart Contracts, Blockchain

Books and Monographs:

1. Pérez Carrasco, Víctor. Improvements to Parametric Cost Analysis and its Application to Smart Contracts. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 63 pages, July 2021. MSc Thesis.

2. Pérez Carrasco, Víctor. Analysis of Smart Contracts using Horn Clauses. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 76 pages, June 2020. BSc Thesis.

Invited Papers and Tutorials:

1. V. Perez-Carrasco, M. Klemen, P. Lopez-Garcia, J.F. Morales, M. V. Hermenegildo. Cost Analysis of Smart Contracts via Parametric Resource Analysis. Proceedings of the 27th Static Analysis Symposium (SAS 2020), LNCS, Vol. 12389, pages 7-31, Springer, November 2020. Keynote at SAS'2022. Video available at https://conf.researchr.org/details/sas-2020/sas-2020-papers/3/Cost-Analysis-of-Smart-Contracts-via-Parametric-Resource-AnalysisSPLASH site.