130 citations · 588 across the 59 of their papers we have counts for
4 papers · 1 filter
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi +2
Recent developments in cloud storage architectures have originated new models of online storage as cooperative storage systems and interconnected clouds. Such distributed environme…
Soft McEliece: MDPC code-based McEliece cryptosystems with very compact keys through real-valued intentional errors
Marco Baldi, Paolo Santini, Franco Chiaraluce
We propose to use real-valued errors instead of classical bit flipping intentional errors in the McEliece cryptosystem based on moderate-density parity-check (MDPC) codes. This all…
On the Error Detection Capability of Combined LDPC and CRC Codes for Space Telecommand Transmissions
Marco Baldi, Nicola Maturo, Giacomo Ricciutelli +1
We present a method for estimating the undetected error rate when a cyclic redundancy check (CRC) is performed on the output of the decoder of short low-density parity-check (LDPC)…
Time-Invariant Spatially Coupled Low-Density Parity-Check Codes with Small Constraint Length
Marco Baldi, Massimo Battaglioni, Franco Chiaraluce +1
We consider a special family of SC-LDPC codes, that is, time-invariant LDPCC codes, which are known in the literature for a long time. Codes of this kind are usually designed by st…