| Circular Proofs as Session-Typed Processes: A Local Validity Condition F Derakhshan, F Pfenning Logical Methods in Computer Science 18, 2022 | 31* | 2022 |
| Session Logical Relations for Noninterference F Derakhshan, S Balzer, L Jia LICS '21: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in …, 2021 | 10 | 2021 |
| Uniform interpolation in substructural logics M Alizadeh, F Derakhshan, H Ono The Review of Symbolic Logic 7 (3), 455-483, 2014 | 10 | 2014 |
| Strong progress for session-typed processes in a linear metalogic with circular proofs F Derakhshan, F Pfenning arXiv preprint arXiv:2001.05132, 2020 | 6* | 2020 |
| Session-Typed Recursive Processes and Circular Proofs F Derakhshan Carnegie Mellon University, 2021 | 4 | 2021 |
| Human-centered automated proof search W Sieg, F Derakhshan Journal of Automated Reasoning, 2021 | 3 | 2021 |
| Logical Relations for Session-Typed Concurrency S Balzer, F Derakhshan, R Harper, Y Yao arXiv preprint arXiv:2309.00192, 2023 | 2 | 2023 |
| Modal crash types for intermittent computing F Derakhshan, M Dotzel, M Surbatovich, L Jia European Symposium on Programming, 168-196, 2023 | 2 | 2023 |
| Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers F Derakhshan, Z Zhang, A Vasudevan, L Jia 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 324-339, 2023 | 1 | 2023 |
| Information Flow Control in Cyclic Process Networks B Heuvel, F Derakhshan, S Balzer arXiv preprint arXiv:2407.02304, 2024 | | 2024 |
| Information Flow Control in Cyclic Process Networks B van den Heuvel, F Derakhshan, S Balzer arXiv e-prints, arXiv: 2407.02304, 2024 | | 2024 |
| Recursive Session Logical Relations F Derakhshan, S Balzer arXiv preprint arXiv:2208.13741, 2022 | | 2022 |
| Modal Crash Types for WAR-Aware Intermittent Computing M Dotzel, L Jia, F Derakhshan, M Surbatovich Carnegie Mellon University, 2018 | | 2018 |
Hiroakira OnoJapan Advanced Institute of Science and Technology在 jaist.ac.jp 的电子邮件经过验证
Hiroakira OnoJapan Advanced Institute of Science and Technology在 jaist.ac.jp 的电子邮件经过验证