A Better Composition Operator for Quantitative Information Flow Analyses.

Kai Engelhardt

Browse the full ESORICS paper archive.