Orestis Melkonian

22 papers A* 1A 1C 1Journal 5Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Nominal techniques as an Agda library. CoRR Murdoch J. Gabbay, Orestis Melkonian
2025	—	`conf`	A Readable and Computable Formalization of the Streamlet Consensus Protocol. FMBC Mauro Jaskelioff, Orestis Melkonian, James Chapman
2025	—	`conf`	Program Logics for Ledgers. FMBC Orestis Melkonian, Wouter Swierstra, James Chapman
2025	—	`conf`	Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano. FMBC Tudor Ferariu, Philip Wadler, Orestis Melkonian
2024	—	`conf`	Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
2024	A*	`conf`	Learning Structure-Aware Representations of Dependent Types. NeurIPS Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
2024	J	`jnl`	Learning Structure-Aware Representations of Dependent Types. CoRR Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
2024	—	`conf`	Message-Passing in the Extended UTxO Ledger. FC Workshops Polina Vinogradova, Orestis Melkonian
2024	—	`conf`	Structured Contracts in the EUTxO Ledger Model. FMBC@CAV Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
2022	C	`conf`	Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
2020	—	`conf`	Native Custom Tokens in the Extended UTXO Model. ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020	J	`jnl`	Reconciling Event Structures with Modern Multiprocessors (Artifact). Dagstuhl Artifacts Ser. Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2020	A	`conf`	Reconciling Event Structures with Modern Multiprocessors. ECOOP Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2020	—	`conf`	The Extended UTXO Model. Financial Cryptography Workshops Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
2020	—	`conf`	UTXO ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2019	J	`jnl`	Having Fun in Learning Formal Specifications. CoRR I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Petar Kostic, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Mike de Vries, Wink M. van Zon
2019	—	`conf`	Having fun in learning formal specifications. ICSE (SEET) I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Wink M. van Zon
2019	—	`conf`	Music as language: putting probabilistic temporal graph grammars to good use. FARM@ICFP Orestis Melkonian
2019	J	`jnl`	Reconciling Event Structures with Modern Multiprocessors. CoRR Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2019	—	`conf`	What constitutes a musical pattern? FARM@ICFP Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk
2018	—	`conf`	RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. REBLS@SPLASH Orestis Melkonian, Angelos Charalambidis
2018	—	`conf`	Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language. ESSLLI Student Sessions Konstantinos Kogkalidis, Orestis Melkonian

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.