Edsko de Vries

21 papers B 3C 2Misc 1Journal 7Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Automatic C Bindings Generation for Haskell. Haskell Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf
2023	C	`conf`	falsify: Internal Shrinking Reimagined for Haskell. Haskell Edsko de Vries
2022	J	`jnl`	Searching Entangled Program Spaces. CoRR James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2022	J	`jnl`	Searching entangled program spaces. Proc. ACM Program. Lang. James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2017	J	`jnl`	Locally Nameless Permutation Types. CoRR Edsko de Vries, Vasileios Koutavas
2014	J	`jnl`	Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Log. Methods Comput. Sci. Adrian Francalanza, Edsko de Vries, Matthew Hennessy
2014	—	`conf`	True sums of products. WGP@ICFP Edsko de Vries, Andres Löh
2014	J	`jnl`	Uniqueness typing for resource management in message-passing concurrency. J. Log. Comput. Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2013	—	`conf`	Modelling Unique and Affine Typing Using Polymorphism. The Beauty of Functional Code Edsko de Vries
2012	J	`jnl`	A practical solution for achieving language compatibility in scripting language compilers. Sci. Comput. Program. Paul Biggar, Edsko de Vries, David Gregg
2011	B	`conf`	Reverse Hoare Logic. SEFM Edsko de Vries, Vasileios Koutavas
2010	B	`conf`	Communicating Transactions - (Extended Abstract). CONCUR Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
2010	J	`jnl`	Formal polytypic programs and proofs. J. Funct. Program. Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2010	B	`conf`	Liveness of Communicating Transactions (Extended Abstract). APLAS Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
2009	Misc	`conf`	A practical solution for scripting language compilers. SAC Paul Biggar, Edsko de Vries, David Gregg
2009	—	`—`	Making uniqueness typing less unique Edsko de Vries
2009	—	`conf`	Polytypic properties and proofs in Coq. WGP@ICFP Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2009	—	`conf`	Uniqueness Typing for Resource Management in Message-Passing Concurrency LINEARITY Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2008	—	`conf`	Polytypic programming in COQ. ICFP-WGP Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2007	—	`conf`	Uniqueness Typing Simplified. IFL Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
2006	—	`conf`	Uniqueness Typing Redefined. IFL Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson

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.