Benchmarks for cyber-physical systems: A modular model library for building automation systems
 Cauchi, N Abate, A IFAC-PapersOnLine volume 51 issue 16 49-54 (31 Aug 2018)
Efficient Octree-Based Volumetric SLAM Supporting Signed-Distance and Occupancy Mapping
 Vespa, E Nikolov, N Grimm, M Nardi, L Kelly, P Leutenegger, S IEEE Robotics and Automation Letters volume 3 issue 2 1144-1151 (08 Feb 2018)
Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games
without Discounting
 Abramsky, S Winschel, V (16 Oct 2012) http://arxiv.org/abs/1210.4537v3
Intensionality, Definability and Computation.
 Abramsky, S CoRR volume abs/1705.04744 (2017)
Wed, 25 Apr 2018
15:00
L4

Blockchain Technology: A Cryptographic Perspective

Ivan VISCONTI
(University of Salerno (ITALY))
Abstract


There is currently a large interest in the applications of the Blockchain technology. After the well known success of the cryptocurrency Bitcoin, several other real-world applications of Blockchain technology have been proposed, often raising privacy concerns. We will discuss the potential of advanced cryptographic tools in relaxing the tension between pros and cons of this technology.

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
 Abate, A Bessa, I Cattaruzza, D Cordeiro, L David, C Kesseli, P Kroening, D Polgreen, E CAV (1) volume 10426 462-482 (2017)
Logically-Correct Reinforcement Learning.
 Hasanbeig, M Abate, A Kroening, D CoRR (01 Jan 2018)
Subscribe to