Uniform interpolation in Substructural Logics. - Majid Alizadeh; Farzaneh Derakhshan; Hiroakira Ono (Rev. Symb. Log., 2014)

Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points. - Farzaneh Derakhshan; Frank Pfenning (CoRR, 2020)

Session Logical Relations for Noninterference. - Farzaneh Derakhshan; Stephanie Balzer; Limin Jia 001 (LICS, 2021)

Human-Centered Automated Proof Search. - Wilfried Sieg; Farzaneh Derakhshan (J. Autom. Reason., 2021)

Recursive Session Logical Relations. - Farzaneh Derakhshan; Stephanie Balzer (CoRR, 2022)

Circular Proofs as Session-Typed Processes: A Local Validity Condition. - Farzaneh Derakhshan; Frank Pfenning (Log. Methods Comput. Sci., 2022)

Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. - Farzaneh Derakhshan; Zichao Zhang; Amit Vasudevan; Limin Jia 001 (CSF, 2023)

Modal Crash Types for Intermittent Computing. - Farzaneh Derakhshan; Myra Dotzel; Milijana Surbatovich; Limin Jia 001 (ESOP, 2023)

Logical Relations for Session-Typed Concurrency. - Stephanie Balzer; Farzaneh Derakhshan; Robert Harper 001; Yue Yao (CoRR, 2023)

Information Flow Control in Cyclic Process Networks. - Bas van den Heuvel 001; Farzaneh Derakhshan; Stephanie Balzer (ECOOP, 2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. - Farzaneh Derakhshan; Stephanie Balzer; Yue Yao (ECOOP, 2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). - Farzaneh Derakhshan; Stephanie Balzer; Yue Yao (Dagstuhl Artifacts Ser., 2024)

Modal Crash Types for WAR-Aware Intermittent Computing. - Myra Dotzel; Farzaneh Derakhshan; Milijana Surbatovich; Limin Jia 001 (ACM Trans. Program. Lang. Syst., 2025)