Items where Author is "Kovács, Máté"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Finkbeiner, Bernd and Seidl, Helmut and Kovács, Máté
(2013) Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties.
In: Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS '13).
Conference: CCS ACM Conference on Computer and Communications Security

Kovács, Máté and Seidl, Helmut and Finkbeiner, Bernd
(2013) Relational abstract interpretation for the verification of 2-hypersafety properties.
In: Proc. of the 20th ACM Conference on Computer and Communication Security (CCS 2013).
Conference: CCS ACM Conference on Computer and Communications Security

Dimitrova, Rayna and Finkbeiner, Bernd and Kovács, Máté and Rabe, Markus N. and Seidl, Helmut
(2012) Model Checking Information Flow in Reactive Systems.
In: Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).

This list was generated on Thu Mar 28 03:26:43 2024 CET.