Pubblicazioni

Immunization against complete subversion without random oracles

2021 - THEORETICAL COMPUTER SCIENCE
Ateniese, G.; Francati, D.; Magri, B.; Venturi, D.

A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting

2021 - THEORETICAL COMPUTER SCIENCE
Bottoni, P.; Labella, A.

Transactions and contracts based on reaction systems

2021 - THEORETICAL COMPUTER SCIENCE
Bottoni, P; Labella, A

A compiler for multi-key homomorphic signatures for Turing machines

2021 - THEORETICAL COMPUTER SCIENCE
Dolatnezhad Samarin, S.; Fiore, D.; Venturi, D.; Amini, M.

Maximum Nash welfare and other stories about EFX

2021 - THEORETICAL COMPUTER SCIENCE
Amanatidis, G.; Birmpas, G.; Filos-Ratsikas, A.; Hollender, A.; Voudouris, A. A.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma