Items where authors include "Bauereiss, T."

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Proceedings Paper
Number of items: 1.

Proceedings Paper

Popescu, A., Bauereiss, T. and Lammich, P. (2021) Bounded-deducibility security. In: Cohen, L. and Kaliszyk, C., (eds.) 12th International Conference on Interactive Theorem Proving (ITP 2021). 12th International Conference on Interactive Theorem Proving (ITP 2021), 29 Jun - 01 Jul 2021, Online. Leibniz International Proceedings in Informatics (LIPIcs), 193 . Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik , 3:1-3:20. ISBN 9783959771887

This list was generated on Sat May 4 06:32:49 2024 BST.