External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formally Verified Configuration for Hardware Security Modules in the Cloud

Riccardo Focardi, Flaminia L. Luccio. A Formally Verified Configuration for Hardware Security Modules in the Cloud. In Yongdae Kim, Jong Kim 0001, Giovanni Vigna, Elaine Shi, editors, CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021. pages 412-428, ACM, 2021. [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
runs on