Cornelia Tadros

According to our database, Cornelia Tadros authored at least 12 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Confidentiality enforcement by hybrid control of information flows.

Joachim Biskup, Cornelia Tadros, Jaouad Zarouali

CoRR, 2017

2016

On the Simulation Assumption for Controlled Interaction Processing.

Joachim Biskup, Cornelia Tadros

Proceedings of the Computational Models of Rationality, 2016

2015

Preserving confidentiality while reacting on iterated queries and belief revisions.

Joachim Biskup, Cornelia Tadros

Ann. Math. Artif. Intell., 2015

Constructing Inference-Proof Belief Mediators.

Joachim Biskup, Cornelia Tadros

Proceedings of the Data and Applications Security and Privacy XXIX, 2015

2014

Belief change operations under confidentiality requirements in multiagent systems.

Cornelia Tadros

PhD thesis, 2014

Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.

Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros

Proceedings of the Foundations of Information and Knowledge Systems, 2014

Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services.

Joachim Biskup, Cornelia Tadros

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2012

Revising Belief without Revealing Secrets.

Joachim Biskup, Cornelia Tadros

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

Inference-Proof View Update Transactions with Minimal Refusals.

Joachim Biskup, Cornelia Tadros

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

2010

Policy-Based Secrecy in the Runs & Systems Framework and Controlled Query Evaluation.

Joachim Biskup, Cornelia Tadros

Proceedings of the Advances in Information and Computer Security, 2010

Towards Controlled Query Evaluation for Incomplete First-Order Databases.

Joachim Biskup, Cornelia Tadros, Lena Wiese

Proceedings of the Foundations of Information and Knowledge Systems, 2010

2009

Using SAT-Solvers to Compute Inference-Proof Database Instances.

Cornelia Tadros, Lena Wiese

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009