8 citations · 14 across the 4 of their papers we have counts for
3 papers · 1 filter
Automated Reasoning with Restricted Intensional Sets
Maximiliano Cristiá, Gianfranco Rossi
Intensional sets, i.e., sets given by a property rather than by enumerating elements, are widely recognized as a key feature to describe complex problems (see, e.g., specification…
Set-Based Models for Cryptocurrency Software
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2
Emin Gün Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power react…
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2
MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we…