Caleiro, Carlos; Casal, Filipe; Mordido, Andreia Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. (English) Zbl 1423.68440 Theor. Comput. Sci. 781, 39-62 (2019). MSC: 68T20 68Q17 68Q25 68Q87 90C11 94A60 PDFBibTeX XMLCite \textit{C. Caleiro} et al., Theor. Comput. Sci. 781, 39--62 (2019; Zbl 1423.68440) Full Text: DOI
Caleiro, Carlos; Casal, Filipe; Mordido, Andreia Generalized probabilistic satisfiability. (English) Zbl 1401.68113 Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 39-56 (2017). MSC: 68Q25 68Q17 68T20 90C11 90C15 PDFBibTeX XMLCite \textit{C. Caleiro} et al., Electron. Notes Theor. Comput. Sci. 332, 39--56 (2017; Zbl 1401.68113) Full Text: DOI