Keyword:security analysis

Publications
CheckMate: Automated Game-Theoretic Security Reasoning Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson EasyChair Preprint 10853
Recent Advances of Captcha Security Analysis: a Short Literature Review Nghia Trong Dinh and Vinh Truong Hoang EasyChair Preprint 8745
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 4580
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
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