1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2024
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…
cs.PL2012★ 1 cited
Secure the Clones
Thomas Jensen, Florent Kirchner, David Pichardie
Exchanging mutable data objects with untrusted code is a delicate matter because of the risk of creating a data space that is accessible by an attacker. Consequently, secure progra…