Sfoglia per Autore
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis
In corso di stampa Smuseva, Daria; Marin, Andrea; Rossi, Sabina; van Moorsel, Aad
Smart contract languages: A comparative analysis
2024-01-01 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto
Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains
2024-01-01 Malakhov, Ivan; Marin, Andrea; Rossi, Sabina; Menasché, Daniel Sadoc
AI-enhanced blockchain technology: A review of advancements and opportunities
2024-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
Compressing neural networks via formal methods
2024-01-01 Ressi, D.; Romanello, R.; Rossi, S.; Piazza, C.
A product-form network for systems with job stealing policies
2024-01-01 Olliaro, Diletta; Casale, Giuliano; Marin, Andrea; Rossi, Sabina
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains
2024-01-01 Piazza, C.; Rossi, S.; Smuseva, D.
Selfish Mining in Public Blockchains: A Quantitative Analysis
2023-01-01 Smuseva, Daria; Marin, Andrea; Rossi, Sabina
Reverse Bisimilarity vs. Forward Bisimilarity
2023-01-01 Bernardo, M.; Rossi, S.
Causal Reversibility Implies Time Reversibility
2023-01-01 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
Analysis of the confirmation time in proof-of-work blockchains
2023-01-01 Malakhov, I.; Marin, A.; Rossi, S.
A product-form network for systems with job stealing policies
2023-01-01 Marin, A.; Rossi, S.; Olliaro, D.
Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain
2023-01-01 Smuseva, Daria; Malakhov, Ivan; Marin, Andrea; Rossi, Sabina
ALGOMOVE – A Move Embedding for Algorand
2023-01-01 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise
Neural Networks Reduction via Lumping
2023-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis
2022-01-01 Smuseva, D.; Malakhov, I.; Marin, A.; van Moorsel, A.; Rossi, S.
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness
2022-01-01 Malakhov, I.; Marin, A.; Rossi, S.; Smuseva, D.
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation
2021-01-01 Malakhov, I; Gaetan, C; Marin, A; Rossi, S
Frequency scaling in multilevel queues
2021-01-01 Elahi, M.; Marin, A.; Rossi, S.; Williamson, C.
D_PSNI: Delimited persistent stochastic non-interference
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile