4 citations · 4 across the 3 of their papers we have counts for
3 papers
Specification languages for computational laws versus basic legal principles
Petia Guintchev, Joost J. Joosten, Sofia Santiago Fernández +3
We speak of a \textit{computational law} when that law is intended to be enforced by software through an automated decision-making process. As digital technologies evolve to offer…
Bridging Sapling: Private Cross-Chain Transfers
Aleixo Sanchez, Alistair Stewart, Fatemeh Shirazi
Interoperability is one of the main challenges of blockchain technologies, which are generally designed as self-contained systems. Interoperability schemes for privacy-focused bloc…
When logic lays down the law
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz +5
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. W…