Stefano Trevisani

According to our database, Stefano Trevisani authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Efficient and Secure Compression Modes for Arithmetization-Oriented Hashing.

Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy, Stefano Trevisani

IACR Cryptol. ePrint Arch., 2024

2023

Arion: Arithmetization-Oriented Permutation and Hashing from Generalized Triangular Dynamical Systems.

Arnab Roy, Matthias Johann Steiner, Stefano Trevisani

CoRR, 2023

2021

Branching interval algebra: An almost complete picture.

Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani

Inf. Comput., 2021

2020

The Horn Fragment of Branching Algebra.

Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

On (Maximal, Tractable) Fragments of the Branching Algebra.

Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani

Proceedings of the 35th Italian Conference on Computational Logic, 2020