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