Patrick Lederer

44 papers A* 10A 6Journal 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Majoritarian Assignment Rules. CoRR Felix Brandt, Haoyuan Chen, Chris Dong, Patrick Lederer, Alexander Schlenga
2026	J	`jnl`	Settling the score: Portioning with cardinal preferences. Artif. Intell. Edith Elkind, Matthias Greger, Patrick Lederer, Warut Suksompong, Nicholas Teh
2026	J	`jnl`	The Impossibility of Strategyproof Rank Aggregation. Arch. Formal Proofs Manuel Eberl, Patrick Lederer
2026	J	`jnl`	The Impossibility of Strategyproof Rank Aggregation. CoRR Manuel Eberl, Patrick Lederer
2025	A*	`conf`	Approximately Fair and Population Consistent Budget Division via Simple Payment Schemes. EC Haris Aziz, Patrick Lederer, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen
2025	J	`jnl`	Approximately fair and population consistent budget division via simple payment schemes. Games Econ. Behav. Haris Aziz, Patrick Lederer, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen
2025	A*	`conf`	Committee Monotonicity and Proportional Representation for Ranked Preferences. EC Haris Aziz, Patrick Lederer, Dominik Peters, Jannik Peters, Angus Ritossa
2025	A*	`conf`	Distance Preservation Games. IJCAI Haris Aziz, Hau Chan, Patrick Lederer, Shivika Narang, Toby Walsh
2025	J	`jnl`	Distance Preservation Games. CoRR Haris Aziz, Hau Chan, Patrick Lederer, Shivika Narang, Toby Walsh
2025	J	`jnl`	Proportional Representation in Rank Aggregation. CoRR Patrick Lederer
2025	J	`jnl`	Robust Voting Rules on the Interval Domain. CoRR Patrick Lederer
2025	J	`jnl`	Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions. CoRR Patrick Lederer
2025	A	`conf`	The Metric Distortion of Randomized Social Choice Functions: C1 Maximal Lottery Rules and Simulations. AAMAS Fabian Frank, Patrick Lederer
2025	A*	`conf`	Weak Strategyproofness in Randomized Social Choice. AAAI Felix Brandt, Patrick Lederer
2024	J	`jnl`	Bivariate scoring rules: Unifying the characterizations of positional scoring rules and Kemeny's rule. J. Econ. Theory Patrick Lederer
2024	J	`jnl`	Committee Monotonic Proportional Representation: A New Voting Rule and Impossibility Results. CoRR Haris Aziz, Patrick Lederer, Angus Ritossa
2024	A*	`conf`	Participation Incentives in Approval-Based Committee Elections. AAAI Martin Bullinger, Chris Dong, Patrick Lederer, Clara Mehler
2024	A*	`conf`	Refined Characterizations of Approval-Based Committee Scoring Rules. AAAI Chris Dong, Patrick Lederer
2024	J	`jnl`	Relaxed notions of Condorcet-consistency and efficiency for strategyproof social decision schemes. Soc. Choice Welf. Felix Brandt, Patrick Lederer, René Romen
2024	J	`jnl`	Sequential Payment Rules: Approximately Fair Budget Divisions via Simple Spending Dynamics. CoRR Haris Aziz, Patrick Lederer, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen
2024	—	`—`	Strategic Manipulation in Social Choice Theory. Patrick Lederer
2024	J	`jnl`	The Metric Distortion of Randomized Social Choice Functions: C1 Maximal Lottery Rules and Simulations. CoRR Fabian Frank, Patrick Lederer
2024	A*	`conf`	The Squared Kemeny Rule for Averaging Rankings. EC Patrick Lederer, Dominik Peters, Tomasz Was
2024	J	`jnl`	The Squared Kemeny Rule for Averaging Rankings. CoRR Patrick Lederer, Dominik Peters, Tomasz Was
2024	J	`jnl`	Weak Strategyproofness in Randomized Social Choice. CoRR Felix Brandt, Patrick Lederer
2023	A	`conf`	Characterizations of Sequential Valuation Rules. AAMAS Chris Dong, Patrick Lederer
2023	J	`jnl`	Characterizations of Sequential Valuation Rules. CoRR Chris Dong, Patrick Lederer
2023	J	`jnl`	Incentives in social decision schemes with pairwise comparison preferences. Games Econ. Behav. Felix Brandt, Patrick Lederer, Warut Suksompong
2023	J	`jnl`	Participation Incentives in Approval-Based Committee Elections. CoRR Martin Bullinger, Chris Dong, Patrick Lederer, Clara Mehler
2023	J	`jnl`	Refined Characterizations of Approval-based Committee Scoring Rules. CoRR Chris Dong, Patrick Lederer
2023	A	`conf`	Strategyproof Social Decision Schemes on Super Condorcet Domains. AAMAS Felix Brandt, Patrick Lederer, Sascha Tausch
2023	J	`jnl`	Strategyproof Social Decision Schemes on Super Condorcet Domains. CoRR Felix Brandt, Patrick Lederer, Sascha Tausch
2023	A*	`conf`	Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. AAAI Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
2022	A*	`conf`	Incentives in Social Decision Schemes with Pairwise Comparison Preferences. IJCAI Felix Brandt, Patrick Lederer, Warut Suksompong
2022	J	`jnl`	Incentives in Social Decision Schemes with Pairwise Comparison Preferences. CoRR Felix Brandt, Patrick Lederer, Warut Suksompong
2022	J	`jnl`	On the Indecisiveness of Kelly-Strategyproof Social Choice Functions. J. Artif. Intell. Res. Felix Brandt, Martin Bullinger, Patrick Lederer
2022	A	`conf`	Relaxed Notions of Condorcet-Consistency and Efficiency for Strategyproof Social Decision Schemes. AAMAS Felix Brandt, Patrick Lederer, René Romen
2022	J	`jnl`	Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. CoRR Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
2022	J	`jnl`	The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections. Arch. Formal Proofs Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
2021	J	`jnl`	Characterizing the Top Cycle via Strategyproofness. CoRR Felix Brandt, Patrick Lederer
2021	A	`conf`	Non-manipulability in Set-valued and Probabilistic Social Choice Theory. AAMAS Patrick Lederer
2021	A	`conf`	On the Indecisiveness of Kelly-Strategyproof Social Choice Functions. AAMAS Felix Brandt, Martin Bullinger, Patrick Lederer
2021	J	`jnl`	On the Indecisiveness of Kelly-Strategyproof Social Choice Functions. CoRR Felix Brandt, Martin Bullinger, Patrick Lederer
2021	A*	`conf`	Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions. IJCAI Patrick Lederer

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.