Stefano Trevisani

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Interval Algebra

Qualitative Spatial Reasoning

Complete Picture

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy, Stefano Trevisani
On Efficient and Secure Compression Modes for Arithmetization-Oriented Hashing. IACR Cryptol. ePrint Arch. 2024 (2024)
Arnab Roy, Matthias Johann Steiner, Stefano Trevisani
Arion: Arithmetization-Oriented Permutation and Hashing from Generalized Triangular Dynamical Systems. CoRR (2023)
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
Branching interval algebra: An almost complete picture. Inf. Comput. 281 (2021)
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
The Horn Fragment of Branching Algebra. TIME (2020)
Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
On (Maximal, Tractable) Fragments of the Branching Algebra. CILC (2020)