Iliana M. Petrova

11 papers A* 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2023 A* conf
Optimizing the Computation of Overriding in DLN (Extended Abstract).
IJCAI
Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2020 J jnl
Defeasible reasoning in Description Logics: an overview on DL
CoRR
Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2020 J jnl
Fast Compliance Checking with General Vocabularies.
CoRR
Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro
2020 J jnl
Machine Understandable Policies and GDPR Compliance Checking.
CoRR
Piero A. Bonatti, Sabrina Kirrane, Iliana M. Petrova, Luigi Sauro
2020 J jnl
Machine Understandable Policies and GDPR Compliance Checking.
Künstliche Intell.
Piero A. Bonatti, Sabrina Kirrane, Iliana M. Petrova, Luigi Sauro
2020 J jnl
Real-time reasoning in OWL2 for GDPR compliance.
Artif. Intell.
Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro, Ida Sri Rejeki Siahaan
2019 — conf
A Richer Policy Language for GDPR Compliance.
Description Logics
Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2017 A* conf
A New Semantics for Overriding in Description Logics (Extended Abstract).
IJCAI
Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
2015 J jnl
A new semantics for overriding in description logics.
Artif. Intell.
Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
2015 — conf
Optimized Construction of Secure Knowledge-Base Views.
Description Logics
Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2014 — conf
A Mechanism for Ontology Confidentiality.
CILC
Piero A. Bonatti, Luigi Sauro, Iliana M. Petrova
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling