Inferring secrets by guided experiments
From MaRDI portal
Publication:1675815
DOI10.1007/978-3-319-67729-3_16zbMath1444.68048OpenAlexW2755626311MaRDI QIDQ1675815
Quoc Huy Do, Reiner Hähnle, Richard Bubel
Publication date: 3 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_16
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)