2 datasets found

We design an efficient probabilistic attack against the Augot-Finiasz cryptosystem presented at Eurocrypt 2003 enabling an attacker to recover the plaintext of the...

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of...