Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
Caleiro, Carlos, Casal, Filipe, Mordido, AndreiaVolume:
781
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2019.02.021
Date:
August, 2019
File:
PDF, 794 KB
2019