Machine-Checked Proofs of Accountability: How to sElect Who is to Blame
Attributed to:
AP4L: Adaptive PETs to Protect & emPower People during Life Transitions
funded by
SPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-51479-1_24
Publication URI: http://dx.doi.org/10.1007/978-3-031-51479-1_24
Type: Book Chapter
Book Title: Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III (2024)
Page Reference: 471-491