Fausto Barbero

26 papers B 3C 1Journal 17Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Two Strong Undefinability Results in Inquisitive and Team Semantics. FoIKS Fausto Barbero
2024	B	`conf`	Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CSL Fausto Barbero, Jonni Virtema
2024	J	`jnl`	Multiteam Semantics for Interventionist Counterfactuals: Probabilities and Causation. J. Philos. Log. Fausto Barbero, Gabriel Sandu
2024	—	`conf`	On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws. FoIKS Fausto Barbero
2023	J	`jnl`	Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CoRR Fausto Barbero, Jonni Virtema
2023	J	`jnl`	Multiteam semantics for interventionist counterfactuals: probabilities and causation. CoRR Fausto Barbero, Gabriel Sandu
2023	J	`jnl`	Observing interventions: a logic for thinking about experiments. J. Log. Comput. Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie
2023	J	`jnl`	On the logic of interventionist counterfactuals under indeterministic causal laws. CoRR Fausto Barbero
2023	B	`conf`	Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. JELIA Fausto Barbero, Jonni Virtema
2023	J	`jnl`	Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. CoRR Fausto Barbero, Jonni Virtema
2022	J	`jnl`	Embedding causal team languages into predicate logic. Ann. Pure Appl. Log. Fausto Barbero, Pietro Galliani
2021	J	`jnl`	Complexity of syntactical tree fragments of Independence-Friendly logic. Ann. Pure Appl. Log. Fausto Barbero
2021	J	`jnl`	Independence-friendly logic without Henkin quantification. Arch. Math. Log. Fausto Barbero, Lauri Hella, Raine Rönnholm
2021	J	`jnl`	Observing Interventions: A logic for thinking about experiments. CoRR Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie
2021	J	`jnl`	Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions. J. Philos. Log. Fausto Barbero, Gabriel Sandu
2020	B	`conf`	Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. AiML Fausto Barbero, Fan Yang
2020	—	`conf`	Thinking About Causation: A Causal Language with Epistemic Operators. DaLí Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
2020	J	`jnl`	Thinking About Causation: A Causal Language with Epistemic Operators. CoRR Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
2019	J	`jnl`	Some observations about generalized Quantifiers in Logics of Imperfect Information. Rev. Symb. Log. Fausto Barbero
2019	—	`conf`	Undefinability in Inquisitive Logic with Tensor. LORI Ivano Ciardelli, Fausto Barbero
2018	—	`conf`	Interventionist Counterfactuals on Causal Teams. CREST Fausto Barbero, Gabriel Sandu
2017	J	`jnl`	Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences. J. Log. Lang. Inf. Fausto Barbero
2017	C	`conf`	Independence-Friendly Logic Without Henkin Quantification. WoLLIC Fausto Barbero, Lauri Hella, Raine Rönnholm
2014	J	`jnl`	Signalling in independence-friendly logic. Log. J. IGPL Fausto Barbero, Gabriel Sandu
2013	J	`jnl`	On Existential Declarations of Independence in if Logic. Rev. Symb. Log. Fausto Barbero
2012	J	`jnl`	On existential declarations of independence in IF Logic CoRR Fausto Barbero

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.