@ARTICLE {29491,
author={C. Caleiro and F. Casal and A. Mordido },
doi={10.1016/j.tcs.2019.02.021},
journal={Theoretical Computer Science},
title={Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities},
year={2019},
month={August},
volume={781},
number={1},
pages={39-62},
ISSN={0304-3975}
}