Collaborative Research

We have established scientific partnerships with some of the best research organizations, such as Inria and IMDEA sofwtare institute in Madrid (Spain). We also collaborate closely with researchers from Marigold, DaiLambda, Tarides, the OCaml Labs, Cryptonomic, Runtime Verification, Viable Systems, Segfault Systems and many developers from the Tezos ecosystem.

Scientific publications related to Tezos

The core community of Tezos was built from the start in close relationship to research on blockchains and related areas. As a result, the number of research works on Tezos has kept increasing ever since.

This page lists research papers, where Tezos is either part of the proposed contribution or an object of research. Papers where Tezos is just discussed as related work have not been included.

Not listed here ?

Write us at communication@nomadic-labs.com about any new paper corresponding to the above criteria, so we can share it!

All
General
Verification
Consensus
Governance
Programming languages
Finance
Robotic
PhD and Masters Theses
Miscellaneous

All

Victor Allombert, Mathias Bourgoin, and Julien Tesson. Introduction to the Tezos Blockchain. In 5th IEEE International Conference on High

Performance Computing and Simulation (HPCS‘19), July 15–19 2019.

L.M Goodman. Tezos A self-amending crypto-ledger . White Paper, September 2014.

Christopher Goes. Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix. In 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA‘20), October 20–30 2020.

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, and Julien Tesson. Making Tezos Smart Contracts More Reliable with Coq. In 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA‘20), October 20–30 2020.

Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, and Julien Tesson. Albert, an intermediate smart-contract language for the Tezos blockchain. In 4th Workshop on Trusted Smart Contracts, February 2020.

Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, and Julien Tesson. Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts. In 1st Workshop on Formal Methods for Blockchains (FMBC‘19), October 2019.

Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, and Mário Pereira. A tool for proving Michelson Smart Contracts in WHY3. In 2020 IEEE International Conference on Blockchain (Blockchain), November 2-6 2020.

João Reis, Paul Crocker and Simão Melo de Sousa. Tezla, an intermediate representation for static analysis of Michelson smart contracts. In 2nd International Workshop on Formal Methods for Blockchains (FMBC‘20), July 20-21 2020.

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li. A Survey of Smart Contract Formal Specification and Verification. arXiv preprint, 2020.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters. Extracting Smart Contracts Tested and Verified in Coq. In Certified Programs and Proofs (CPP‘21), 17-19 January 2021.

Lăcrămioara Astefănoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci, and Eugen Zălinescu. Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. In 4th International Symposium on Foundations and Applications of Blockchain (SCFAB) 2021.

Md Sadek Ferdous, Mohammad Jabed Morshed Chowdhury, Mohammad A. Hoque, and Alan Colman. Blockchain Consensus Algorithms: A Survey. arXiv Preprint, 2020.

Michael Neuder, Daniel J. Moroz, Rithvik Rao, and David C. Parkes. Defending Against Malicious Reorgs in Tezos Proof-of-Stake. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies (AFT‘20), October 2020.

Daniel Perez, Jiahua Xu, and Benjamin Livshits. Revisiting Transactional Statistics of High-scalability Blockchains. In Proceedings of the ACM Internet Measurement Conference (IMC ‘20), October 2020.

Michael Neuder, Daniel J. Moroz, Rithvik Rao, and David C. Parkes. Selfish Behavior in the Tezos Proof-of-Stake Protocol. In Cryptoeconomic Systems Conference ‘20, March 2020.

Andrey Sobol. Frontrunning on Automated Decentralized Exchange in Proof Of Stake Environment. Cryptology ePrint Archive, Report 2020/1206, October 2020.

Andrey Sobol and Anastasiia Kondaurova. Governance framework for Quipuswap - automated decentralized exchange. Cryptology ePrint Archive, Report 2020/1017, August 2020.

Rafael Ziolkowski, Gianluca Miscione, and Gerhard Schwabe. Exploring Decentralized Autonomous Organizations: Towards Shared Interests and ‘Code is Constitution’. In 41st International Conference on Information Systems (ICIS‘20), Virtual (India), 13-16 December 2020.

Víctor Pérez, Maximiliano Klemen, Pedro López-García, José Francisco Morales, and Manuel Hermenegildo. Cost Analysis of Smart Contracts Via Parametric Resource Analysis. In International Static Analysis Symposium (SAS‘20), 18-20 November 2020. (LNCS, volume 12389)

Abraham Sutherland. Cryptocurrency Economics and the Taxation of Block Rewards. 165 Tax Notes 749, November 2019.

Mattia Landoni and Abraham Sutherland. Dilution and True Economic Gain From Cryptocurrency Block Rewards. 168 Tax Notes 1189, August 2020.

Shaanan Cohney, David Hoffman, Jeremy Sklaroff, and David Wishnick. Coin-Operated Capitalism. Columbia Law Review, Vol. 119, p. 591, 2019.

Stéphane Blemus and Dominique Guégan. Initial Crypto-Asset Offerings (ICOs), Tokenization and Corporate Governance. Available at SSRN, 2019.

Chen Peng and Guo Yichao. Cryptocurrency Price Analysis and Time Series Forecasting. ISSS608 Visual Analytics and Applications, April 2020.

María de la O. González, Francisco Jareño, and Frank S. Skinner. Portfolio effects of Cryptocurrencies during the Covid 19 Crisis. In Billio, M & S. Varotto (eds.). A New World Post COVID-19. Venice, Italy : Edizioni Ca’ Foscari - Digital Publishing, 2020.

Najaf Iqbal, Zeeshan Fareed, Guangcai Wan, and Farrukh Shahzad. Asymmetric nexus between COVID-19 outbreak in the world and cryptocurrency market. International Review of Financial Analysis 73, 2021.

Miguel Fernandes and Luís A Alexandre. Robotchain: Using Tezos Technology for Robot Event Management. In First Symposium on Blockchain and Robotics, MIT Media Lab, 5 December 2018.

Vasco Lopes and Luis A. Alexandre. Detecting Robotic Anomalies using RobotChain. In IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC), 2019.

Vasco Lopes, Nuno Pereira, and Luís A. Alexandre. Robot Workspace Monitoring Using a Blockchain-Based 3D Vision Approach. In 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), June 16-17 2019.

Benjamin Leiding and William V. Vorobev. Tezos-based Vehicular Ad Hoc Blockchains. White Paper, September 2018.

Andrew Miranti. SEMANTICS OF LOW-LEVEL LANGUAGES. Master’s thesis, University of Illinois at Urbana-Champaign, 2020.

Darcy W. E. Allen and Chris Berg. Blockchain Governance: What We Can Learn from the Economics of Corporate Governance. The Journal of the British Blockchain Association, Available at SSRN, 2020.

Florian Gräbe, Niclas Kannengießer, Sebastian Lins, and Ali Sunyaev. Do Not Be Fooled: Toward a Holistic Comparison of Distributed Ledger Technology Designs. In Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020.

General

Victor Allombert, Mathias Bourgoin, and Julien Tesson.Introduction to the Tezos Blockchain. In 5th IEEE International Conference on High

Performance Computing and Simulation (HPCS‘19), July 15–19 2019.

L.M Goodman. Tezos A self-amending crypto-ledger . White Paper, September 2014.

Verification

Christopher Goes. Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix. In 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA‘20), October 20–30 2020.

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, and Julien Tesson. Making Tezos Smart Contracts More Reliable with Coq. In 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA‘20), October 20–30 2020.

Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, and Julien Tesson. Albert, an intermediate smart-contract language for the Tezos blockchain. In 4th Workshop on Trusted Smart Contracts, February 2020.

Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, and Julien Tesson. Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts. In 1st Workshop on Formal Methods for Blockchains (FMBC‘19), October 2019.

Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, and Mário Pereira. A tool for proving Michelson Smart Contracts in WHY3. In 2020 IEEE International Conference on Blockchain (Blockchain), November 2-6 2020.

João Reis, Paul Crocker and Simão Melo de Sousa. Tezla, an intermediate representation for static analysis of Michelson smart contracts. In 2nd International Workshop on Formal Methods for Blockchains (FMBC‘20), July 20-21 2020.

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li. A Survey of Smart Contract Formal Specification and Verification. arXiv preprint, 2020.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters. Extracting Smart Contracts Tested and Verified in Coq. In Certified Programs and Proofs (CPP‘21), 17-19 January 2021.

Consensus

Lăcrămioara Astefănoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci, and Eugen Zălinescu. Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. In 4th International Symposium on Foundations and Applications of Blockchain (SCFAB) 2021.

Md Sadek Ferdous, Mohammad Jabed Morshed Chowdhury, Mohammad A. Hoque, and Alan Colman. Blockchain Consensus Algorithms: A Survey. arXiv Preprint, 2020.

Michael Neuder, Daniel J. Moroz, Rithvik Rao, and David C. Parkes. Defending Against Malicious Reorgs in Tezos Proof-of-Stake. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies (AFT‘20), October 2020.

Michael Neuder, Daniel J. Moroz, Rithvik Rao, and David C. Parkes. Selfish Behavior in the Tezos Proof-of-Stake Protocol. In Cryptoeconomic Systems Conference ‘20, March 2020.

Andrey Sobol. Frontrunning on Automated Decentralized Exchange in Proof Of Stake Environment. Cryptology ePrint Archive, Report 2020/1206, October 2020.

Governance

Andrey Sobol and Anastasiia Kondaurova. Governance framework for Quipuswap - automated decentralized exchange. Cryptology ePrint Archive, Report 2020/1017, August 2020.

Rafael Ziolkowski, Gianluca Miscione, and Gerhard Schwabe. Exploring Decentralized Autonomous Organizations: Towards Shared Interests and ‘Code is Constitution’. In 41st International Conference on Information Systems (ICIS‘20), Virtual (India), 13-16 December 2020.

Darcy W. E. Allen and Chris Berg. Blockchain Governance: What We Can Learn from the Economics of Corporate Governance. The Journal of the British Blockchain Association, Available at SSRN, 2020.

Programming languages

Víctor Pérez, Maximiliano Klemen, Pedro López-García, José Francisco Morales, and Manuel Hermenegildo. Cost Analysis of Smart Contracts Via Parametric Resource Analysis. In International Static Analysis Symposium (SAS‘20), 18-20 November 2020. (LNCS, volume 12389)

Finance

Abraham Sutherland. Cryptocurrency Economics and the Taxation of Block Rewards. 165 Tax Notes 749, November 2019.

Mattia Landoni and Abraham Sutherland. Dilution and True Economic Gain From Cryptocurrency Block Rewards. 168 Tax Notes 1189, August 2020.

Shaanan Cohney, David Hoffman, Jeremy Sklaroff, and David Wishnick. Coin-Operated Capitalism. Columbia Law Review, Vol. 119, p. 591, 2019.

Stéphane Blemus and Dominique Guégan. Initial Crypto-Asset Offerings (ICOs), Tokenization and Corporate Governance. Available at SSRN, 2019.

Chen Peng and Guo Yichao. Cryptocurrency Price Analysis and Time Series Forecasting. ISSS608 Visual Analytics and Applications, April 2020.

María de la O. González, Francisco Jareño, and Frank S. Skinner. Portfolio effects of Cryptocurrencies during the Covid 19 Crisis. In Billio, M & S. Varotto (eds.). A New World Post COVID-19. Venice, Italy : Edizioni Ca’ Foscari - Digital Publishing, 2020.

Najaf Iqbal, Zeeshan Fareed, Guangcai Wan, and Farrukh Shahzad. Asymmetric nexus between COVID-19 outbreak in the world and cryptocurrency market. International Review of Financial Analysis 73, 2021.

Robotic

Miguel Fernandes and Luís A Alexandre. Robotchain: Using Tezos Technology for Robot Event Management. In First Symposium on Blockchain and Robotics, MIT Media Lab, 5 December 2018.

Vasco Lopes and Luis A. Alexandre. Detecting Robotic Anomalies using RobotChain. In IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC), 2019.

Vasco Lopes, Nuno Pereira, and Luís A. Alexandre. Robot Workspace Monitoring Using a Blockchain-Based 3D Vision Approach. In 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), June 16-17 2019.

Benjamin Leiding and William V. Vorobev. Tezos-based Vehicular Ad Hoc Blockchains. White Paper, September 2018.

PhD and Master’s Theses

Andrew Miranti. SEMANTICS OF LOW-LEVEL LANGUAGES. Master’s thesis, University of Illinois at Urbana-Champaign, 2020.

Miscellaneous

Daniel Perez, Jiahua Xu, and Benjamin Livshits. Revisiting Transactional Statistics of High-scalability Blockchains. In Proceedings of the ACM Internet Measurement Conference (IMC ‘20), October 2020.

Florian Gräbe, Niclas Kannengießer, Sebastian Lins, and Ali Sunyaev. Do Not Be Fooled: Toward a Holistic Comparison of Distributed Ledger Technology Designs. In Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020.