Systematic classification of attackers via bounded model checking

DOI10.1007/978-3-030-39322-9_11MaRDI QIDQ784132

D. Kharzeev

Publication date: 5 August 2020

Full work available at URL: https://arxiv.org/abs/1911.05808

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)