Johannes Kinder
High System-Code Security with Low Overhead
Tomáš Vojnar
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
Evgenij Thorstensen
Self join elimination and new notions of query containment
High System-Code Security with Low Overhead
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
Self join elimination and new notions of query containment