Oyendrila Dobe

11 papers B 4Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Introducing Asynchronicity to Probabilistic Hyperproperties.
QEST
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023 J jnl
Introducing Asynchronicity to Probabilistic Hyperproperties.
CoRR
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023 B conf
Lightweight Verification of Hyperproperties.
ATVA
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
2022 J jnl
Model checking hyperproperties for Markov decision processes.
Inf. Comput.
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022 — conf
Probabilistic Hyperproperties with Rewards.
NFM
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2021 B conf
HyperProb: A Model Checker for Probabilistic Hyperproperties.
FM
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2020 B conf
Parameter Synthesis for Probabilistic Hyperproperties.
LPAR
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020 B conf
Probabilistic Hyperproperties with Nondeterminism.
ATVA
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020 J jnl
Probabilistic Hyperproperties with Nondeterminism.
CoRR
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2017 — conf
Rough K-means and support vector machine based brain tumor detection.
ICACCI
Amiya Halder, Oyendrila Dobe
2016 — conf
Detection of tumor in brain MRI using fuzzy feature selection and support vector machine.
ICACCI
Amiya Halder, Oyendrila Dobe
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