Popescu, A., Bauereiss, T. , & Lammich, P. (2021). Bounded-Deducibility Security (Invited Paper). In L. Cohen, & C. Kaliszyk (Eds.), 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference) (pp. 3:1-3:20). Dagstuhl. https://doi.org/10.4230/LIPIcs.ITP.2021.3
Haslbeck, M. P. L. , & Lammich, P. (2021). For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. In N. Yoshida (Ed.), Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (pp. 292-319). (Lecture Notes in Computer Science). Springer Gabler. https://doi.org/10.1007/978-3-030-72019-311
Popescu, A. , Lammich, P., & Hou, P. (2021). CoCon: A Conference Management System with Formally Verified Document Confidentiality. Journal of automated reasoning, 65(2), 321-356. https://doi.org/10.1007/s10817-020-09566-9
Courses Academic Year 2022/2023
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.