2 citations · 2 across the 3 of their papers we have counts for
3 papers
Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos
Mathias Bourgoin, Arthur Breitman, Pierrick Couderc +5
Canonical LST (sTEZ) is an enshrined, protocol-native mechanism designed to mitigate the centralization risks associated with liquid staking intermediaries. Intended to complement…
Towards Secure and Trusted-by-Design Smart Contracts
Zaynah Dargaye, Önder Gürcan, Florent Kirchner +1
Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve th…
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
Zaynah Dargaye, Antonella Pozzo, Sara Tucci-Piergiovanni
The paper presents Pluralize a formal logical framework able to extend the execution of blockchain transactions to events coming from external oracles, like external time, sensor d…