7 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.MS2014★ 5 cited
Interactive Simplifier Tracing and Debugging in Isabelle
Lars Hupel
The Isabelle proof assistant comes equipped with a very powerful tactic for term simplification. While tremendously useful, the results of simplifying a term do not always match th…
cs.CR2014★ 7 cited
Directed Security Policies: A Stateful Network Implementation
Cornelius Diekmann, Lars Hupel, Georg Carle
Large systems are commonly internetworked. A security policy describes the communication relationship between the networked entities. The security policy defines rules, for example…