Farzaneh Derakhshan

20 papers A* 1A 4Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Recursive Logical Relations for Intuitionistic Linear Logic Session Types. ESOP (1) Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
2025	J	`jnl`	Modal Crash Types for WAR-Aware Intermittent Computing. ACM Trans. Program. Lang. Syst. Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia
2025	—	`ed.`	Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2025, Hamilton, Canada, 4th May 2025. PLACES@ETAPS Farzaneh Derakhshan, Jan Hoffmann
2025	J	`jnl`	Quantified Underapproximation via Labeled Bunches. Proc. ACM Program. Lang. Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A. Moreno, Mark Klein
2024	A	`conf`	Information Flow Control in Cyclic Process Networks. ECOOP Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024	J	`jnl`	Information Flow Control in Cyclic Process Networks. CoRR Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024	J	`jnl`	Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). Dagstuhl Artifacts Ser. Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024	A	`conf`	Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. ECOOP Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024	J	`jnl`	Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. CoRR Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2023	J	`jnl`	Logical Relations for Session-Typed Concurrency. CoRR Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
2023	A	`conf`	Modal Crash Types for Intermittent Computing. ESOP Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
2023	A	`conf`	Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. CSF Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia
2022	J	`jnl`	Circular Proofs as Session-Typed Processes: A Local Validity Condition. Log. Methods Comput. Sci. Farzaneh Derakhshan, Frank Pfenning
2022	J	`jnl`	Recursive Session Logical Relations. CoRR Farzaneh Derakhshan, Stephanie Balzer
2021	J	`jnl`	Human-Centered Automated Proof Search. J. Autom. Reason. Wilfried Sieg, Farzaneh Derakhshan
2021	A*	`conf`	Session Logical Relations for Noninterference. LICS Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2021	J	`jnl`	Session Logical Relations for Noninterference. CoRR Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2020	J	`jnl`	Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points. CoRR Farzaneh Derakhshan, Frank Pfenning
2019	J	`jnl`	Circular Proofs as Session-Typed Processes: A Local Validity Condition. CoRR Farzaneh Derakhshan, Frank Pfenning
2014	J	`jnl`	Uniform interpolation in Substructural Logics. Rev. Symb. Log. Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.