Send email Copy Email Address
2013-11-04

Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties

Tags
Trustworthy Information Processing
Conference / Medium

Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13)

Date published

2013-11-04

Date last modified

2019-07-18 12:09:27

Authors
Download