Automated Analysis of PUF-based Protocols

Riccardo Focardi, Flaminia L. Luccio. Automated Analysis of PUF-based Protocols. In 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020. pages 304-317, IEEE, 2020. [doi]

Authors

Riccardo Focardi

This author has not been identified. Look up 'Riccardo Focardi' in Google

Flaminia L. Luccio

This author has not been identified. Look up 'Flaminia L. Luccio' in Google