The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos

Lecture notes in networks and systems 2026

View at publisher
Authors: Larissa P. V. Randow, Karin S. Komati, Jefferson O. Andrade
DOI: 10.1007/978-3-032-01234-0_11
Cited by: 1
References: 9

Fields of Study & Subjects

Blockchain Technology Applications and Security Security and Verification in Computing Advanced Authentication Protocols Security

Publication details

Journal / source
Lecture notes in networks and systems
Publisher
Springer Nature Switzerland
Pages
119–127
Publication date
1 January 2026
Language
EN