Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs.

Alexander Weigl

Browse the full ESORICS paper archive.