Speaker
Ludovico Fusco
University of Urbino
Talks at this conference:
Friday, 14:50, J222 
Modeling hyperproperties for RFID systems 
Authors: Alessandro Aldini and Ludovico Fusco Since its official patenting in the 1980s, the RadioFrequency Identification (RFID) technology has experienced relentless advancement due to its extreme versatility and usability in a wide range of contexts. Moreover, as an enabling technology for the IoT computing paradigm, RFID today underpins new tools for object identification/data acquisition in smart environments. Although there have been many contributions to the formal description and verification of RFIDbased systems and protocols, there has yet to be much progress toward an explicit modeling of information flow policies for RFID systems in terms of hyperproperties [1]. In this work, we initiate a taxonomy of hyperproperties for RFID systems, laying the foundation for a general framework for their formalization. To this end, we introduce a lowlevel, tracebased model suitable for representing RFID systems implementing tree protocols for tag collision arbitration [3]. Our model features a componentoriented, eventbased notion of state allowing us to express hyperproperties in terms of event satisfaction by component configurations. In this context, we introduce and discuss three classes of hyperproperties for the analysis of treebased anticollision protocols for RFID tags: hyperreachability, hyperadaptivity, and generalized noninterference. For each of them, we provide a classical definition in the style of [1] and a formalization in a suitable hyperlogic [2]. Finally, we propose some insights about decidability issues. Bibliography


Tuesday, 17:45, J330 
Multirelation Agassiz sums of algebras 
Authors: Ludovico Fusco and Francesco Paoli Płonka sums are a simple yet powerful technique for building new algebras out of semilattice direct systems of algebras of a fixed type. First introduced by J. Płonka [2] in 1967, this construction immediately proved to be essential for the representation of algebras in regular varieties [3]. The aptness of Płonka sums to this purpose can be seen, at the same time, as a shortcoming, since this construction is of little avail outside this particular domain of application. Remarkably, however, the literature teems with ‘Płonkatype’ constructions used for the representation of algebras in irregular varieties, or in varieties having certain properties stronger than regularity. All these constructions bear striking similarities to Płonka sums, but differ from them in some important respects. Examples include the representation of Polin algebras [4], T. Katriňák and J. Guričan’s representation of pseudocomplemented semilattices [1], or the recently introduced De MorganPł,onka sums [5]. We aim at finding a convenient umbrella under which all these constructions can be subsumed. We introduce a multirelation variant of G. Grätzer and J. Sichler’s sums over Agassiz systems of algebras (Agassiz sums) [6] that encompasses Płonka sums as a special case. We prove that the abovementioned representations of Polin algebras and pseudocomplemented semilattices, as well as De MorganPłonka sums, can be recast in terms of sums over appropriate birelation Agassiz systems. Finally, we investigate the problem as to which identities are preserved by the construction. Bibliography
