Publications in Analysis of Smart Contracts, Blockchain
Books and Monographs:
- 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.
- 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:
- 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.
Last updated on Wed Nov 20 12:41:10 PM CET 2024