Search
Now showing items 1-1 of 1
Quantitative Information-Flow Tracking for C and Related Languages
(2006-11-17)
We present a new approach for tracking programs' use of data througharbitrary calculations, to determine how much information about secretinputs is revealed by public outputs. Using a fine-grained dynamicbit-tracking ...