Zobrazeno 1 - 10
of 153
pro vyhledávání: '"Gorla, Daniele"'
We continue the development of TinySol, a minimal object-oriented language based on Solidity, the standard smart-contract language used for the Ethereum platform. We first extend TinySol with exceptions and a gas mechanism, and equip it with a small-
Externí odkaz:
http://arxiv.org/abs/2407.15676
In this paper we focus on TinySol, a minimal calculus for Solidity smart contracts, introduced by Bartoletti et al. We start by rephrasing its syntax (to emphasise its object-oriented flavour) and give a new big-step operational semantics. We then us
Externí odkaz:
http://arxiv.org/abs/2405.12976
Autor:
Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Gorla, Daniele, Wagemaker, Jana
This paper focuses on the runtime verification of hyperproperties expressed in HypermuHML, an expressive yet simple logic for describing properties of sets of traces. To this end, we first consider a simple language of monitors that can observe sets
Externí odkaz:
http://arxiv.org/abs/2405.12882
We consider the problem of unfair discrimination between two groups and propose a pre-processing method to achieve fairness. Corrective methods like statistical parity usually lead to bad accuracy and do not really achieve fairness in situations wher
Externí odkaz:
http://arxiv.org/abs/2307.02891
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (June 18, 2024) lmcs:11103
In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In particular, we demonstrate the advantages of the stream IFT from a computa
Externí odkaz:
http://arxiv.org/abs/2303.11876
We analyze to what extent final users can infer information about the level of protection of their data when the data obfuscation mechanism is a priori unknown to them (the so-called ''black-box'' scenario). In particular, we delve into the investiga
Externí odkaz:
http://arxiv.org/abs/2208.14414
Autor:
Boreale, Michele, Gorla, Daniele
Publikováno v:
Proc. of CONCUR, LIPIcs, Volume 203, pp. 19:1-19:17, 2021
We study connections among polynomials, differential equations and streams over a field K, in terms of algebra and coalgebra. We first introduce the class of (F,G)-products on streams, those where the stream derivative of a product can be expressed a
Externí odkaz:
http://arxiv.org/abs/2107.04455
Autor:
Granese, Federica, Romanelli, Marco, Gorla, Daniele, Palamidessi, Catuscia, Piantanida, Pablo
Deep neural networks (DNNs) have shown to perform very well on large scale object recognition problems and lead to widespread use for real-world applications, including situations where DNN are implemented as "black boxes". A promising approach to se
Externí odkaz:
http://arxiv.org/abs/2106.02395
Publikováno v:
EPTCS 300, 2019, pp. 86-101
Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the literature. In this paper, we study how the spectrum of equivalences for La
Externí odkaz:
http://arxiv.org/abs/1908.08636
Autor:
Boreale, Michele, Gorla, Daniele
Publikováno v:
Lecture Notes in Computer Science, vol 11760, pp 363-378, 2019
The problem of counting the number of models of a given Boolean formula has numerous applications, including computing the leakage of deterministic programs in Quantitative Information Flow. Model counting is a hard, #P-complete problem. For this rea
Externí odkaz:
http://arxiv.org/abs/1907.05121