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…