Luca Crocetti

Dr. Luca Crocetti

Department of Information Engineering, University of Pisa, Pisa, Tuscany, Italy
+1
orcid
Assistant Professor at Dept. of Information Engineering (Uni...

Research Focus & Metrics

Academic Career Length

12Years (2015-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
7 April 2021 in Applied Sciences
Verified
Journal Article
Open access
PDF file
Pietro NannipieriPietro Nannipieri
Pietro Nannipieri
SMStefano Di Matteo
Stefano Di Matteo
LBluca baldanzi
luca baldanzi
Luca CrocettiLuca Crocetti
Luca Crocetti
JBJacopo Belli
Jacopo Belli
Sergio SaponaraSergio Saponara
Sergio Saponara
Random numbers are widely employed in cryptography and security applications. If the generation process is weak, the whole chain of security can be compromised: these weaknesses could be exploited by an attacker to retrieve the information, breaking even the most robust implementation of a cipher. Due to their intrinsic close relationship with analogue parameters of the circuit, True Random Number Generators are usually tailored on specific silicon technology and are not easily scalable on programmable hardware, without affecting their entropy. On the other hand, programmable hardware and programmable System on Chip are gaining large adoption rate, also in security critical application, where high quality random number generation is mandatory. The work presented herein describes the design and the validation of a digital True Random Number Generator for cryptographically secure applications on Field Programmable Gate Array. After a preliminary study of literature and standards specifying requirements for random number generation, the design flow is illustrated, from specifications definition to the synthesis phase. Several solutions have been studied to assess their performances on a Field Programmable Gate Array device, with the aim to select the highest performance architecture. The proposed designs have been tested and validated, employing official test suites released by NIST standardization body, assessing the independence from the place and route and the randomness degree of the generated output. An architecture derived from the Fibonacci-Galois Ring Oscillator has been selected and synthesized on Intel Stratix IV, supporting throughput up to 400 Mbps. The achieved entropy in the best configuration is greater than 0.995.

1 August 2021 in Energies
Verified
Journal Article
Open access
PDF file
SMStefano Di Matteo
Stefano Di Matteo
LBluca baldanzi
luca baldanzi
Luca CrocettiLuca Crocetti
Luca Crocetti
Pietro NannipieriPietro Nannipieri
Pietro Nannipieri
LFLuca Fanucci
Luca Fanucci
Sergio SaponaraSergio Saponara
Sergio Saponara
Cybersecurity is a critical issue for Real-Time IoT applications since high performance and low latencies are required, along with security requirements to protect the large number of attack surfaces to which IoT devices are exposed. Elliptic Curve Cryptography (ECC) is largely adopted in an IoT context to provide security services such as key-exchange and digital signature. For Real-Time IoT applications, hardware acceleration for ECC-based algorithms can be mandatory to meet low-latency and low-power/energy requirements. In this paper, we propose a fast and configurable hardware accelerator for NIST P-256/-521 elliptic curves, developed in the context of the European Processor Initiative. The proposed architecture supports the most used cryptography schemes based on ECC such as Elliptic Curve Digital Signature Algorithm (ECDSA), Elliptic Curve Integrated Encryption Scheme (ECIES), Elliptic Curve Diffie-Hellman (ECDH) and Elliptic Curve Menezes-Qu-Vanstone (ECMQV). A modified version of Double-And-Add-Always algorithm for Point Multiplication has been proposed, which allows the execution of Point Addition and Doubling operations concurrently and implements countermeasures against power and timing attacks. A simulated approach to extract power traces has been used to assess the effectiveness of the proposed algorithm compared to classical algorithms for Point Multiplication. A constant-time version of the Shamir’s Trick has been adopted to speed-up the Double-Point Multiplication and modular inversion is executed using Fermat’s Little Theorem, reusing the internal modular multipliers. The accelerator has been verified on a Xilinx ZCU106 development board and synthesized on both 45 nm and 7 nm Standard-Cell technologies.

1 February 2023 in Electronics
Verified
Journal Article
Open access
PDF file
Luca CrocettiLuca Crocetti
Luca Crocetti
Pietro NannipieriPietro Nannipieri
Pietro Nannipieri
SMStefano Di Matteo
Stefano Di Matteo
LFLuca Fanucci
Luca Fanucci
Sergio SaponaraSergio Saponara
Sergio Saponara
Random number generators are a key element for various applications, such as computer simulation, statistical sampling, and cryptography. They are used to generate/derive cryptographic keys and non-repeating values, e.g., for symmetric or public key cyphers. The strength of a data protection system against cyber attacks corresponds to the strength of the weakest point in the security chain. Therefore, from a mathematical point of view, the security chain can be compromised even if the strongest algorithm is implemented. In fact, if the system requires keys or other random values and the generation process shows a certain vulnerability, the security of the system itself can be compromised. In this article, we present the most reliable tools and methodologies and the main standardisation efforts in the field of computer security to assess the quality of random number generators and ensure that they can be applied to computer security applications by offering adequate security strength. We offer a comprehensive guide that can be used as a quick and practical reference by developers of random number generators of any type to evaluate the random bit streams generated by implemented modules and determine whether or not they can be used in cybersecurity applications. Finally, we also present some use cases to which we applied the presented approach.

27 March 2020 in Sensors
Verified
Journal Article
Open access
PDF file
LBluca baldanzi
luca baldanzi
Luca CrocettiLuca Crocetti
Luca Crocetti
FFFrancesco Falaschi
Francesco Falaschi
MBMatteo Bertolucci
Matteo Bertolucci
JBJacopo Belli
Jacopo Belli
Sergio SaponaraSergio Saponara
Sergio Saponara
In the context of growing the adoption of advanced sensors and systems for active vehicle safety and driver assistance, an increasingly important issue is the security of the information exchanged between the different sub-systems of the vehicle. Random number generation is crucial in modern encryption and security applications as it is a critical task from the point of view of the robustness of the security chain. Random numbers are in fact used to generate the encryption keys to be used for ciphers. Consequently, any weakness in the key generation process can potentially leak information that can be used to breach even the strongest cipher. This paper presents the architecture of a high performance Random Number Generator (RNG) IP-core, in particular a Cryptographically Secure Pseudo-Random Number Generator (CSPRNG) IP-core, a digital hardware accelerator for random numbers generation which can be employed for cryptographically secure applications. The specifications used to develop the proposed project were derived from dedicated literature and standards. Subsequently, specific architecture optimizations were studied to achieve better timing performance and very high throughput values. The IP-core has been validated thanks to the official NIST Statistical Test Suite, in order to evaluate the degree of randomness of the numbers generated in output. Finally the CSPRNG IP-core has been characterized on relevant Field Programmable Gate Array (FPGA) and ASIC standard-cell technologies.

1 December 2021 in IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Verified
Journal Article
Closed access
Pietro NannipieriPietro Nannipieri
Pietro Nannipieri
SMStefano Di Matteo
Stefano Di Matteo
LBLuca Baldanzi
Luca Baldanzi
Luca CrocettiLuca Crocetti
Luca Crocetti
LZLuca Zulberti
Luca Zulberti
LFLuca Fanucci
Luca Fanucci
This article presents a cryptographic hardware (HW) accelerator supporting multiple advanced encryption standard (AES)-based block cipher modes, including the more advanced cipher-based MAC (CMAC), counter with CBC-MAC (CCM), Galois counter mode (GCM), and XOR-encrypt-XOR-based tweaked-codebook mode with ciphertext stealing (XTS) modes. The proposed design implements advanced and innovative features in HW, such as AES key secure management, on-chip clock randomization, and access privilege mechanisms. The system has been tested in a RISC-V-based system-on-chip (SoC), specifically designed for this purpose, on an Ultrascale + Xilinx FPGA, analyzing resource and power consumption, together with system performances. The cryptoprocessor has been then synthesized on a 7-nm CMOS standard-cells technology; performances, complexity, and power consumption information are analyzed and compared with the state of the art. The proposed cryptoprocessor is ready to be embedded within the innovative European Processor Initiative (EPI) chip.

1 November 2021 in Microprocessors and Microsystems
Verified
Journal Article
Closed access
Pietro NannipieriPietro Nannipieri
Pietro Nannipieri
MBMatteo Bertolucci
Matteo Bertolucci
LBluca baldanzi
luca baldanzi
Luca CrocettiLuca Crocetti
Luca Crocetti
SMStefano Di Matteo
Stefano Di Matteo
Sergio SaponaraSergio Saponara
Sergio Saponara