activity
20042026
most citedPELCR: Parallel Environment for Optimal Lambda-Calculus Reduction

2 citations · 3 across the 9 of their papers we have counts for

collaborators

10 papers

cs.CR2026

Thresholding Post-Quantum Signatures

Francesco De Sclavis, Matteo Nardelli, Marco Pedicini

Threshold signature schemes distribute the signing process among parties out of . They enable a variety of applications and their research is also motivated by a recent NIST…

cs.CR2026

Portable Acceleration of Learning With Errors KEMs for Post-Quantum Cryptography

Tiziana Liberati, Nitin Shukla, Simone Rizzo +5

The transition to post-quantum cryptography (PQC) is driving demand for implementations that can meet the computational requirements of real-world applications. Among the proposed…

cs.CR2026

GPU Acceleration of Learning With Errors KEMs Using OpenACC for Post-Quantum Cryptography

Tiziana Liberati, Nitin Shukla, Matteo Barbieri +5

Shor's algorithm proved that asymmetric cryptographic protocols based on the integer factorization and discrete logarithm problems are no longer safe in a world with large-scale qu…

math.NT2016

Critical bases for ternary alphabets

Vilmos Komornik, Marco Pedicini

Glendinning and Sidorov discovered an important feature of the Komornik-Loreti constant in non-integer base expansions on two-letter alphabets: in bases …

quant-ph2015

Quantum entanglement and the Bell Matrix

Anna Chiara Lai, Marco Pedicini, Silvia Rognone

We present a class of maximally entangled states generated by a high-dimensional generalisation of the \textsc{cnot} gate. The advantage of our approach is the simple algebraic str…

cs.LO2011★ 1 cited

Typing a Core Binary Field Arithmetic in a Light Logic

Emanuele Cesena, Marco Pedicini, Luca Roversi

We design a library for binary field arithmetic and we supply a core API which is completely developed in DLAL, extended with a fix point formula. Since DLAL is a restriction of li…