Anonymised during the research-fish submission (2023)
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://www.dropbox.com/s/r65ke9fs10631st/revised-75.pdf?dl=0
Type: Working Paper
Volume: -
Issue: -
ISBN: -