1.9k citations · 2.3k across the 9 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2017★ 1 cited
Towards Automated Network Mitigation Analysis (extended)
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann +2
Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit. Pr…
cs.CR2015
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law
Michael Backes, Fabian Bendun, Joerg Hoffmann +1
We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expr…