6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LO2016★ 6 cited
Translating Scala Programs to Isabelle/HOL
Lars Hupel, Viktor Kuncak
We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a varie…
cs.CR2016
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Cornelius Diekmann, Lars Hupel, Georg Carle
The security provided by a firewall for a computer network almost completely depends on the rules it enforces. For over a decade, it has been a well-known and unsolved problem that…