Schett, M. (2021). Cost Reduction With Guarantees: Formal Reasoning Applied To Blockchain Technologies (Doctoral dissertation). UCL (University College London).

Schett, M. A., & Danezis, G. (2021). Embedding a Deterministic BFT Protocol in a Block DAG. Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. ACM. doi:10.1145/3465084.3467930

Albert, E., Gordillo, P., Rubio, A., & Schett, M. A. (2020). Synthesis of Super-Optimized Smart Contracts Using Max-SMT. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12224 LNCS, 177-200. doi:10.1007/978-3-030-53288-8_10

Nagele, J., & Schett, M. A. (2019). Blockchain Superoptimizer. Preproceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019), pp. 166-180, 2019.

García-Pérez, Á., & Schett, M. A. (2019). Deconstructing Stellar Consensus (Extended Version). .