Riccardo Focardi
Università Ca' Foscari di Venezia
H-index: 35
Europe-Italy
Top articles of Riccardo Focardi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Bridging the Gap: Automated Analysis of Sancus | arXiv preprint arXiv:2404.09518 | Matteo Busi Riccardo Focardi Flaminia Luccio | 2024/4/15 |
Automated Learning and Verification of Embedded Security Architectures | Matteo Busi Riccardo Focardi Flaminia Luccio | 2023 | |
A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study | Francesco Palmarini Leonardo Veronese Matteo Busi Riccardo Focardi Flaminia Luccio | 2023/7/31 | |
Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs | SN Computer Science | Leonardo Veronese Francesco Palmarini Riccardo Focardi Flaminia L Luccio | 2023/4/15 |
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces | Matteo Busi Riccardo Focardi Flaminia Luccio | 2023 | |
The revenge of password crackers: Automated training of password cracking tools | Alessia Michela Di Campi Riccardo Focardi Flaminia L Luccio | 2022/9/22 | |
A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs. | Leonardo Veronese Francesco Palmarini Riccardo Focardi Flaminia L Luccio | 2022 | |
Firmware Extraction from Real IoT Devices through Power Analysis of AES. | Francesco Benvenuto Francesco Palmarini Riccardo Focardi Flaminia L Luccio | 2021 | |
FWS: Analyzing, maintaining and transcompiling firewalls | Journal of Computer Security | Chiara Bodei Lorenzo Ceragioli Pierpaolo Degano Riccardo Focardi Letterio Galletta | 2021/1/1 |
A formally verified configuration for hardware security modules in the cloud | Riccardo Focardi Flaminia L Luccio | 2021/11/12 | |
Secure Key Management Policies in Strand Spaces | Riccardo Focardi Flaminia L Luccio | 2021 | |
Automated analysis of PUF-based protocols | Riccardo Focardi Flaminia L Luccio | 2020/6/22 | |
Language-based web session integrity | Stefano Calzavara Riccardo Focardi Niklas Grimm Matteo Maffei Mauro Tempesta | 2020/6/22 | |
Machine learning for web vulnerability detection: the case of cross-site request forgery | IEEE Security & Privacy | Stefano Calzavara Mauro Conti Riccardo Focardi Alvise Rabitti Gabriele Tolomei | 2020/1/22 |