TY  - CONF

T1  - Bounded-deducibility security

JO  - 12th International Conference on Interactive Theorem Proving (ITP 2021)

UR  - https://eprints.whiterose.ac.uk/191501/

PY  - 2021/06/21

AU  - Popescu A

AU  - Bauereiss T

AU  - Lammich P

ED  - 

DO  - DOI: 10.4230/LIPIcs.ITP.2021.3

PB  - Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

SN  - 9783959771887

VL  - 193

SP  - 3:1

EP  - 3:20

Y2  - 2024/12/23

ER  -