Saif Siddique Butt

17 papers C 6Misc 5Journal 1Unranked 5

Year	Rank	Type	Title / Venue / Authors
2018	Misc	`conf`	Integral Sliding Mode Control and Gain-Scheduled Modified Utkin Observer for an Underground Coal Gasification Energy Conversion Process. MMAR Ali Arshad Uppal, Saif Siddique Butt, Aamer Iqbal Bhatti, Harald Aschemann
2016	—	`conf`	Backstepping-based sliding mode control for an innovative engine cooling system. ECC Saif Siddique Butt, Robert Prabel, Jisheng Zhang, Harald Aschemann
2016	—	`conf`	Discrete-time flatness-based control for a twin rotor helicopter with an Extended Kalman filter. AIM Hao Sun, Saif Siddique Butt, Harald Aschemann
2016	C	`conf`	Novel adaptive backstepping control of an innovative engine cooling system. ACC Saif Siddique Butt, Robert Prabel, Jisheng Zhang, Harald Aschemann
2015	Misc	`conf`	Dynamic sliding mode control of an innovative engine cooling system. MMAR Saif Siddique Butt, Robert Prabel, Harald Aschemann
2015	—	`conf`	Passivity-based tracking control for a twin rotor helicopter with an Unscented Kalman Filter. ECC Hao Sun, Saif Siddique Butt, Harald Aschemann
2015	C	`conf`	Second-order sliding mode control of an innovative engine cooling system. IECON Saif Siddique Butt, Robert Prabel, Harald Aschemann
2014	C	`conf`	Cascaded backstepping control of a Duocopter including disturbance compensation by unscented Kalman filtering. CoDIT Thomas Meinlschmidt, Harald Aschemann, Saif Siddique Butt
2014	—	`conf`	Input-output linearisation with input constraints for an innovative engine cooling system. ECC Saif Siddique Butt, Robert Prabel, Harald Aschemann
2014	C	`conf`	Multi-variable flatness-based control for an engine cooling system. CCA Saif Siddique Butt, Robert Prabel, Robert Grimmecke, Harald Aschemann
2014	C	`conf`	Multi-variable flatness-based control of a helicopter with two degrees of freedom. CoDIT Saif Siddique Butt, Robert Prabel, Harald Aschemann
2014	Misc	`conf`	Nonlinear model-predictive control for an engine cooling system with smart valve and pump. MMAR Saif Siddique Butt, Robert Prabel, Robert Grimmecke, Harald Aschemann
2014	C	`conf`	Robust input-output linearization with input constraints for an engine cooling system. ACC Saif Siddique Butt, Robert Prabel, Harald Aschemann
2013	Misc	`conf`	A comparative study on approaches to state and disturbance estimation for a vehicle combustion heating system. MMAR Saif Siddique Butt, Robert Prabel, Harald Aschemann
2013	—	`conf`	Model-predictive on-off control of a combustion-heating-system for vehicles. ECC Saif Siddique Butt, Robert Prabel, Harald Aschemann
2013	J	`jnl`	Nonlinear state observers and extended Kalman filters for battery systems. Int. J. Appl. Math. Comput. Sci. Andreas Rauh, Saif Siddique Butt, Harald Aschemann
2012	Misc	`conf`	Fault detection and isolation of a hybrid synchronous machine using parity equations. MMAR Saif Siddique Butt, Robert Prabel, Harald Aschemann

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.

In 2025, he co-authored Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja, published at CheckMATE. The paper evaluates the effectiveness of obfuscation techniques and their impact on source-level static analysis and binary-level decompilation.

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.