Sachoun Park

12 papers C 6Unranked 6

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Temporal Noise Reduction via 40% Enhanced Conversion Gain in Dual-Pixel CMOS Image Sensor with Full-Depth Deep-Trench Isolation and Locally Lowered-Stack Technology. VLSI Technology and Circuits Seunghwan Lee, Jeongjin Cho, Shinyoung Choi, Sung Yoon Min, Eunjung Lee, Minji Jung, Kyoungmok Son, Hyunchaul Jeong, Heetak Han, Sachoun Park, Sanghyuck Moon, Seungki Jung, Junseok Yang, Taesub Jung, Howoo Park, Bumsuk Kim, Kyungho Lee, Jesuk Lee
2022	—	`conf`	A 1/1.57-inch 50Mpixel CMOS Image Sensor With 1.0μm All-Directional Dual Pixel by 0.5μm-Pitch Full-Depth Deep-Trench Isolation Technology. ISSCC Taesub Jung, Masato Fujita, Jeongjin Cho, Kyungduck Lee, Doosik Seol, Sungmin An, Chanhee Lee, Youjin Jeong, Minji Jung, Sachoun Park, Seungki Baek, Seungki Jung, Seunghwan Lee, Jungbin Yun, Eun Sub Shim, Heetak Han, Eunkyung Park, Haesick Sul, Sehyeon Kang, Kyungho Lee, JungChak Ahn, Duckhyun Chang
2014	—	`conf`	Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA. FCC Sachoun Park, Gihwon Kwon
2011	C	`conf`	Applying Lightweight Formal Approach to Automatic Configuration Inspection. SEKE Sachoun Park, Gihwon Kwon
2010	C	`conf`	Formal Verification of UML 2.0 Sequence Diagram. SEKE Sachoun Park, Taeman Han, Gihwon Kwon
2010	C	`conf`	OCL Evaluation on AUTOSAR Model. SEKE Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon
2008	C	`conf`	Japanese Puzzle as a SAT Problem. SEKE Sachoun Park, Gihwon Kwon
2008	C	`conf`	Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE Sachoun Park, Gihwon Kwon
2007	C	`conf`	SAT based Verification Tool for Labeled Transition System. SERA Sachoun Park, Gihwon Kwon
2006	—	`conf`	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) Sachoun Park, Gihwon Kwon
2005	—	`conf`	Formalization of ICESS Sachoun Park, Gihwon Kwon, Soonhoi Ha
2005	—	`conf`	Verification of UML-Based Security Policy Model. ICCSA (3) Sachoun Park, Gihwon Kwon

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.