Shaping the Glitch: Optimizing Voltage Fault Injection Attacks
Claudio Bozzato, Riccardo Focardi, Francesco Palmarini
Published in IACR transactions on cryptographic hardware and embedded systems (01.02.2019)
Published in IACR transactions on cryptographic hardware and embedded systems (01.02.2019)
Get full text
Journal Article
Usable security for QR code
Focardi, Riccardo, Luccio, Flaminia L., Wahsheh, Heider A.M.
Published in Journal of information security and applications (01.10.2019)
Published in Journal of information security and applications (01.10.2019)
Get full text
Journal Article
Bridging the Gap: Automated Analysis of Sancus
Busi, Matteo, Focardi, Riccardo, Luccio, Flaminia
Published in 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (08.07.2024)
Published in 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (08.07.2024)
Get full text
Conference Proceeding
Gathering of robots in a ring with mobile faults
Das, Shantanu, Focardi, Riccardo, Luccio, Flaminia L., Markou, Euripides, Squarcina, Marco
Published in Theoretical computer science (11.04.2019)
Published in Theoretical computer science (11.04.2019)
Get full text
Journal Article
CookiExt: Patching the browser against session hijacking attacks
Bugliesi, Michele, Calzavara, Stefano, Focardi, Riccardo, Khan, Wilayat
Published in Journal of computer security (16.09.2015)
Published in Journal of computer security (16.09.2015)
Get full text
Journal Article
Run-Time Attack Detection in Cryptographic APIs
Focardi, Riccardo, Squarcina, Marco
Published in 2017 IEEE 30th Computer Security Foundations Symposium (CSF) (01.08.2017)
Published in 2017 IEEE 30th Computer Security Foundations Symposium (CSF) (01.08.2017)
Get full text
Conference Proceeding
Formal methods for web security
Bugliesi, Michele, Calzavara, Stefano, Focardi, Riccardo
Published in Journal of logical and algebraic methods in programming (01.02.2017)
Published in Journal of logical and algebraic methods in programming (01.02.2017)
Get full text
Journal Article
FWS: Analyzing, maintaining and transcompiling firewalls
Bodei, Chiara, Ceragioli, Lorenzo, Degano, Pierpaolo, Focardi, Riccardo, Galletta, Letterio, Luccio, Flaminia, Tempesta, Mauro, Veronese, Lorenzo
Published in Journal of computer security (01.01.2021)
Published in Journal of computer security (01.01.2021)
Get full text
Journal Article
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
Calzavara, Stefano, Focardi, Riccardo, Nemec, Matus, Rabitti, Alvise, Squarcina, Marco
Published in 2019 IEEE Symposium on Security and Privacy (SP) (01.05.2019)
Published in 2019 IEEE Symposium on Security and Privacy (SP) (01.05.2019)
Get full text
Conference Proceeding
Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs
Veronese, Leonardo, Palmarini, Francesco, Focardi, Riccardo, Luccio, Flaminia L.
Published in SN computer science (01.07.2023)
Published in SN computer science (01.07.2023)
Get full text
Journal Article
Shaping the Glitch: Optimizing Voltage Fault Injection Attacks
Bozzato, Claudio, Focardi, Riccardo, Palmarini, Francesco
Published in IACR transactions on cryptographic hardware and embedded systems (28.02.2019)
Published in IACR transactions on cryptographic hardware and embedded systems (28.02.2019)
Get full text
Journal Article
Automated Analysis of PUF-based Protocols
Focardi, Riccardo, Luccio, Flaminia L.
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Get full text
Conference Proceeding
Language-Based Web Session Integrity
Calzavara, Stefano, Focardi, Riccardo, Grimm, Niklas, Maffei, Matteo, Tempesta, Mauro
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Get full text
Conference Proceeding
Static Evidences for Attack Reconstruction
Bodei, Chiara, Brodo, Linda, Focardi, Riccardo
Published in Programming Languages with Applications to Biology and Security (01.01.2015)
Published in Programming Languages with Applications to Biology and Security (01.01.2015)
Get full text
Book Chapter
Micro-policies for Web Session Security
Calzavara, Stefano, Focardi, Riccardo, Grimm, Niklas, Maffei, Matteo
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01.06.2016)
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01.06.2016)
Get full text
Conference Proceeding
Journal Article
Channel abstractions for network security
BUGLIESI, MICHELE, FOCARDI, RICCARDO
Published in Mathematical structures in computer science (01.02.2010)
Published in Mathematical structures in computer science (01.02.2010)
Get full text
Journal Article