ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE (2020)
Attributed to:
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://link.springer.com/content/pdf/10.1007/978-3-030-66504-3.pdf
Type: Book
Edition: Lecture Notes in Computer Science
ISBN: 0302-9743