Proceedings 16th IEEE Computer Security Foundations Workshop | IEEE Conference Publication | IEEE Xplore