Derakhshan, Farzaneh

1. Session Logical Relations for Noninterference
   2021/04/29 by Derakhshan, Farzaneh, Balzer, Stephanie, Jia, Limin · 3 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
   2024/07/29 by Derakhshan, Farzaneh, Balzer, Stephanie, Yao, Yue · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
3. Logical Relations for Session-Typed Concurrency
   2023/09/01 by Balzer, Stephanie, Derakhshan, Farzaneh, Harper, Robert +1 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)