Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.

Chris Novakovic, David Parker

Browse the full ESORICS paper archive.