Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is C and Author is P. Lammich  [Clear All Filters]
2014
S. Kanav, Lammich, P., and Popescu, A., “A Conference Management System with Verified Document Confidentiality”, in Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014), 2014.
2013
P. Lammich, Müller-Olm, M., Seidl, H., and Wenner, A., “Contextual Locking for Dynamic Pushdown Networks”, in Proceedings of the 20th International Symposium on Static Analysis (SAS 2013), 2013.