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

Export 2 results:
[ Author(Desc)] Title Type Year
Filters: Author is M. Kovács  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
K
M. Kovács and Seidl, H., “Runtime Enforcement of Information Flow Security in Tree Manipulating Processes”, in Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012), 2012.
M. Kovács, Seidl, H., and Finkbeiner, B., “Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties”, in Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013), 2013.