Results 21 to 30 of about 1,931,179 (234)
Interpreting Hash Function Security Proofs [PDF]
, 2010 We provide a concrete security treatment of several "provably secure" hash functions. Interpreting arguments behind MQ-HASH, FSB, SWIFFTX and VSH we identify similar lines of reasoning. We aim to formulate the main security claims in a language closer to
Sarinay, Juraj, Juraj Šarinay
core +2 more sources
Provable Security Analysis of FIDO2 [PDF]
, 2022 We carry out the first provable security analysis of the new FIDO2 protocols, the promising FIDO Alliance\u27s proposal for a standard for passwordless user authentication.
Shan Chen +3 more
core +1 more source
Provable security for cryptographic protocols - exact analysis and engineering applications
, 1997 We develop an approach to deriving concrete engineering advice for cryptographic protocols from provable-security-style proofs of security. The approach is illustrated with a simple, yet useful protocol. Our main result provides the first published proof
Epsilon Ip, Kin Fai +2 more
core +3 more sources
Provably Secure Masking of AES [PDF]
, 2004 A general method to secure cryptographic algorithms against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking, using random values unknown to an adversary one masks the input to a cryptographic algorithm.
Johannes Blömer +2 more
openaire +2 more sources
, 2019 This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019.
core +1 more source
On Provable White-Box Security in the Strong Incompressibility Model
Transactions on Cryptographic Hardware and Embedded Systems, 2023 Incompressibility is a popular security notion for white-box cryptography and captures that a large encryption program cannot be compressed without losing functionality. Fouque, Karpman, Kirchner and Minaud (FKKM) defined strong incompressibility, where
Estuardo Alpirez Bock +2 more
doaj +1 more source
An efficient conditional privacy-preserving authentication scheme for vehicular ad hoc networks using online/offline certificateless aggregate signature [PDF]
13th International Conference on Provable Security, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019202405 bcchAccepted ManuscriptSelf-fundedPublishedGreen ...
Ho, WH, Au, MH, Li, K, Wang, YL
core +1 more source
Reconfigurable Security (poster) [PDF]
, 2007 The goal of the Reconfigurable Security project is to devise a run-time management system that will provide for the provable adaptable compartmentalization within reconfigurable devices such as FPGAs. This research, which NPS is conducting in conjunction
Irvine, Cynthia +4 more
core +2 more sources
On Large Tweaks in Tweakable Even-Mansour with Linear Tweak and Key Mixing
IACR Transactions on Symmetric Cryptology, 2023 In this paper, we provide the first analysis of the Iterated Tweakable Even-Mansour cipher with linear tweak and key (or tweakey) mixing, henceforth referred as TEML, for an arbitrary tweak(ey) size kn for all k ≥ 1, and arbitrary number of rounds r ≥ 2.
Benoît Cogliati +3 more
doaj +1 more source
On the Provable Security of the Dragonfly Protocol [PDF]
, 2015 Dragonfly is a password-authenticated key exchange protocol that was proposed by Harkinsi¾ź[11] in 2008. It is currently a candidate for standardization by the Internet Engineering Task Force, and would greatly benefit from a security proof. In this paper, we prove the security of a very close variant of Dragonfly in the random oracle model.
Jean Lancrenon, Marjan Skrobot
openaire +3 more sources