Farzaneh Derakhshan

Orcid: 0000-0002-2156-2606

Affiliations:
  • Carnegie Mellon University, Pittsburgh, PA, USA


According to our database1, Farzaneh Derakhshan authored at least 12 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
2
1
1
1
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact).
Dagstuhl Artifacts Ser., 2024

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Information Flow Control in Cyclic Process Networks.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023
Logical Relations for Session-Typed Concurrency.
CoRR, 2023

Modal Crash Types for Intermittent Computing.
Proceedings of the Programming Languages and Systems, 2023

Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022
Circular Proofs as Session-Typed Processes: A Local Validity Condition.
Log. Methods Comput. Sci., 2022

Recursive Session Logical Relations.
CoRR, 2022

2021
Human-Centered Automated Proof Search.
J. Autom. Reason., 2021

Session Logical Relations for Noninterference.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points.
CoRR, 2020

2014
Uniform interpolation in Substructural Logics.
Rev. Symb. Log., 2014


  Loading...