… in cryptography (and more generally in computer science), … both “abstract cryptography” and
“constructive cryptography” have … R into another resource which we denote by \(\alpha ^i R\), …

… Maurer and Renner accepted the award on his behalf. The … For running the conference
itself, we are very grateful to … , both “abstract cryptography” and “constructive cryptography” …

… Maurer and Renner accepted the award on his behalf. The … , both “abstract cryptography”
and “constructive cryptography” have … i transforms a resource R into another resource which we …

… for public-key encryption with honest A and B where we want … SECA,B from authenticated
channels AUTB,A and AUTA,B in … with r, πRO B outputs the bitwise XOR of r and the second …

… Abstract … Second, we apply our approach to revisit the analysis of password-based message
… by the following notion of construction, as introduced by Maurer and Renner [19, 20]. To be …

… cryptography paradigm by Maurer and Renner (ICS 2011). The … This concept, which we refer
to as abstract systems, captures … one connects to I.1 of R and the second one connects to I.2 …

… Abstract. The security of public-key … I-interface of [R, S] has two inside subinterfaces, denoted
by in.1 and in.2, where the first one connects to I.1 of R and the second one connects to I.2 …

… Abstract—The one-time pad, the mother of all encryption … In this paper, we focus on
another, completely different aspect … We use the constructive cryptography framework to make …

… Abstract Motivated by the wide adoption of authenticated encryption and TLS, we suggest a
… The insecure channel \(\mathbf {IC}\) allows messages to be input repeatedly at interface \(\…

… The simulator is modeled as a PPT algorithm, guaranteeing that the … As another consequence,
we also obtain the irreducibility of … of abstract cryptography (AC) of Maurer and Renner. …