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 - 2025/06/21 ER -