@inproceedings{inproceedings, title  = {{Bounded-deducibility security}},

 publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik}},

 url = {{https://eprints.whiterose.ac.uk/191501/ }},

 year = {{2021}},

 month = {{6}},

 author = {{Popescu A and Bauereiss T and Lammich P}},

 doi = {{10.4230/LIPIcs.ITP.2021.3}},

 isbn = {{9783959771887}},

 volume = {{193}},

 journal = {{12th International Conference on Interactive Theorem Proving (ITP 2021)}},

 pages = {{3:1-3:20}},

 note = {{Accessed on 2024/09/19}}}