@InProceedings{NP99,
author={Chris Novakovic and David Parker},
title={Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems},
booktitle={Proc. 24th European Symposium on Research in Computer Security (ESORICS'19)},
year={2019},

editors={},
pages={319-337},
organization={},
publisher={Springer},
series={LNCS},
volume={11735},
address={},
month={},
note={},
key={}
}