… mix provable protections and heuristic protections. We finally propose two new block ciphers
… research is moving towards a mature state where we can give results on provable security. …

… essentially no provable-security results about SPNs. In this work, we initiate a comprehensive
study of the provable security of SPNs as (possibly tweakable) wn-bit block ciphers, when …

… method for obtaining provably secure and practical block ciphers against differential and …
enables their parallel computation without losing provable security. Next, we construct the …

… constructs a theoretically provably secure block cipher (PSBC) … Section 6 proposes four
concrete block ciphers based on … for security, optimal transformations and super-security are …

… ciphers. This paper settles the problem in the reduction-… provable security paradigm.
We show the first design of quantum-secure tweakable block ciphers based on quantum-secure …

… far is a means of building a block cipher out of a stream cipher. In this paper, we show
provably secure ways to construct a block cipher from a stream cipher and a hash function. Given …

… Block ciphers like the DES are the most ubiquitous tool in … block ciphers into the fabric
of provable security. On the one hand we analyze existing schemes that use block ciphers to …

… on block ciphers implementations provably secure against 2O-SCA. We first introduce in
Sect. 2 notions about block ciphers. … the security model. We show that in this model, the whole …

… 2 an, where n is the length of the plaintext block. We also show a prototype of an iterated
block cipher, which is compatible with DES and has proven security against differential attack. …

… Block ciphers like the DES are the most ubiquitous tool in … block ciphers into the fabric
of provable security. On the one hand we analyze existing schemes that use block ciphers to …