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

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is M. Koleini and First Letter Of Title is T  [Clear All Filters]
2014
M. R. Clarkson, Finkbeiner, B., Koleini, M., Micinski, K. K., Rabe, M. N., and Sánchez, C., “Temporal Logics for Hyperproperties”, in Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.