Keyword:security analysis

Papers
Development of Algorithm for Improving Accuracy of Probability Coefficient of Threat Implementation in Personal Data Information Systems Sergey Verevkin, Ksenia Naumova, Tatiana Tatarnikova, Pavel Bogdanov and Ekaterina Kraeva EasyChair Preprint no. 4580
Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs Nils Wisiol, Christoph Graebnitz, Marian Margraf, Manuel Oswald, Tudor Soroceanu and Benjamin Zengin In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes Inès Ben El Ouahma, Quentin Meunier, Karine Heydemann and Emmanuelle Encrenaz In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems