Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
security analysis
Papers
CheckMate: Automated Game-Theoretic Security Reasoning
Lea Salome Brugger
,
Laura Kovács
,
Anja Petković Komel
,
Sophie Rain
and
Michael Rawson
EasyChair Preprint no. 10853
Recent Advances of Captcha Security Analysis: a Short Literature Review
Nghia Trong Dinh
and
Vinh Truong Hoang
EasyChair Preprint no. 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 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
Copyright © 2012-2023 easychair.org. All rights reserved.