Using SAT-Solvers to Compute Inference-Proof Database Instances. - Cornelia Tadros; Lena Wiese (DPM/SETOP, 2009)

Towards Controlled Query Evaluation for Incomplete First-Order Databases. - Joachim Biskup; Cornelia Tadros; Lena Wiese (FoIKS, 2010)

Policy-Based Secrecy in the Runs & Systems Framework and Controlled Query Evaluation. - Joachim Biskup; Cornelia Tadros (IWSEC (Short Papers), 2010)

Inference-Proof View Update Transactions with Minimal Refusals. - Joachim Biskup; Cornelia Tadros (DPM/SETOP, 2011)

Revising Belief without Revealing Secrets. - Joachim Biskup; Cornelia Tadros (FoIKS, 2012)

Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services. - Joachim Biskup; Cornelia Tadros (ESSoS, 2014)

Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. - Joachim Biskup; Gabriele Kern-Isberner; Patrick Krümpelmann; Cornelia Tadros (FoIKS, 2014)

Belief change operations under confidentiality requirements in multiagent systems. - Cornelia Tadros (2014)

Constructing Inference-Proof Belief Mediators. - Joachim Biskup; Cornelia Tadros (DBSec, 2015)

Preserving confidentiality while reacting on iterated queries and belief revisions. - Joachim Biskup; Cornelia Tadros (Ann. Math. Artif. Intell., 2015)

On the Simulation Assumption for Controlled Interaction Processing. - Joachim Biskup; Cornelia Tadros (Computational Models of Rationality, 2016)

Confidentiality enforcement by hybrid control of information flows. - Joachim Biskup; Cornelia Tadros; Jaouad Zarouali (CoRR, 2017)