Sadegh Dalvandi

11 papers A 1B 1Journal 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies.
Formal Aspects Comput.
Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol
2022 J jnl
Implementing and Verifying Release-Acquire Transactional Memory (Extended Version).
CoRR
Sadegh Dalvandi, Brijesh Dongol
2022 J jnl
Implementing and verifying release-acquire transactional memory in C11.
Proc. ACM Program. Lang.
Sadegh Dalvandi, Brijesh Dongol
2022 J jnl
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.
J. Autom. Reason.
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim
2022 J jnl
Unifying Operational Weak Memory Verification: An Axiomatic Approach.
ACM Trans. Comput. Log.
Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim
2021 J jnl
Verifying C11-Style Weak Memory Libraries via Refinement.
CoRR
Sadegh Dalvandi, Brijesh Dongol
2021 B conf
Verifying C11-style weak memory libraries.
PPoPP
Sadegh Dalvandi, Brijesh Dongol
2020 J jnl
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.
CoRR
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty
2020 J jnl
Owicki-Gries Reasoning for C11 RAR (Artifact).
Dagstuhl Artifacts Ser.
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
2020 A conf
Owicki-Gries Reasoning for C11 RAR.
ECOOP
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
2020 J jnl
Verifying C11-Style Weak Memory Libraries.
CoRR
Sadegh Dalvandi, Brijesh Dongol
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