Export Citations
1 Results for: Book/Issue: PLDI '08: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,784,777 records)|Limit your search to The ACM Full-Text Collection (765,874 records)
Showing 1 - 1of1 Results
- research-articleJune 2008
Quantitative information flow as network flow capacity
PLDI '08: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 193–205https://doi.org/10.1145/1375581.1375606We present a new technique for determining how much information about a program's secret inputs is revealed by its public outputs. In contrast to previous techniques based on reachability from secret inputs (tainting), it achieves a more precise ...
Also Published in:
ACM SIGPLAN Notices: Volume 43 Issue 6