Takuya Kuwahara

21 papers A 1B 5C 6Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Intent-Driven Secure System Design: Methodology and Implementation. Comput. Secur. Ooi Sian En, Razvan Beuran, Takayuki Kuroda, Takuya Kuwahara, Ryosuke Hotchi, Norihito Fujita, Yasuo Tan
2022	B	`conf`	Automation of Intent-based Service Operation with Models and AI/ML. NOMS Takayuki Kuroda, Yutaka Yakuwa, Takashi Maruyama, Takuya Kuwahara, Kozo Satoda
2022	B	`conf`	Intent-based System Design with Efficient Search Using Partial-Order Reduction. NOMS Takuya Kuwahara, Takayuki Kuroda, Kozo Satoda
2022	—	`conf`	SecureWeaver: Intent-Driven Secure System Designer. SAT-CPS@CODASPY Ooi Sian En, Razvan Beuran, Yasuo Tan, Takayuki Kuroda, Takuya Kuwahara, Norihito Fujita
2021	J	`jnl`	An Intent-Based System Configuration Design for IT/NW Services with Functional and Quantitative Constraints. IEICE Trans. Commun. Takuya Kuwahara, Takayuki Kuroda, Takao Osaki, Kozo Satoda
2021	B	`conf`	Quantum annealing for ICT system design automation. CCGRID Takayuki Kuroda, Takuya Kuwahara, Kouki Yonaga, Takao Osaki, Masamichi J. Miyama, Masayuki Ohzeki
2019	B	`conf`	Automated Planning of System Rollback in Declarative IT System Update. IM Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Yoichi Sato, Yasuhiro Matsunaga
2019	J	`jnl`	Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation. IEICE Trans. Commun. Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi
2019	B	`conf`	Weaver: A Novel Configuration Designer for IT/NW Services in Heterogeneous Environments. GLOBECOM Takayuki Kuroda, Takuya Kuwahara, Takashi Maruyama, Kozo Satoda, Hideyuki Shimonishi, Takao Osaki, Katsushi Matsuda
2018	—	`conf`	Payload-Based Statistical Intrusion Detection for In-Vehicle Networks. PAKDD (Workshops) Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima
2018	—	`conf`	Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics. CloudNet Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi
2018	J	`jnl`	Supervised and Unsupervised Intrusion Detection Based on CAN Message Frequencies for In-vehicle Network. J. Inf. Process. Takuya Kuwahara, Yukino Baba, Hisashi Kashima, Takeshi Kishikawa, Jun'ichi Tsurumi, Tomoyuki Haga, Yoshihiro Ujiie, Takamitsu Sasaki, Hideki Matsushima
2017	C	`conf`	Fundamental characteristic of reduction of energy consumption in water sterilization using nonthermal plasma. IAS Takuya Kuwahara
2015	C	`conf`	CO2 concentration using adsorption and nonthermal plasma desorption. IAS Masaaki Okubo, Tomoyuki Kuroki, Keiichiro Yoshida, Hideaki Yamada, Takuya Kuwahara
2015	—	`conf`	Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. CAV (2) Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
2014	A	`conf`	Automatic Termination Verification for Higher-Order Functional Programs. ESOP Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
2013	C	`conf`	Pilot-scale experiment of total marine diesel emission control using ozone injection and nonthermal plasma reduction. IAS Takuya Kuwahara, Tomoyuki Kuroki, Masaaki Okubo, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato
2012	C	`conf`	Electroless nickel plating on fluoroplastics films using atmospheric pressure nonthermal plasma graft polymerization process. IAS Tomoyuki Kuroki, Mitsuru Tahara, Takuya Kuwahara, Masaaki Okubo
2011	J	`jnl`	Odor Removal Characteristics of a Laminated Film-Electrode Packed-Bed Nonthermal Plasma Reactor. Sensors Takuya Kuwahara, Masaaki Okubo, Tomoyuki Kuroki, Hideya Kametaka, Toshiaki Yamamoto
2011	C	`conf`	Pilot-scale experiments of continuous regeneration of ceramic particulate filter in marine diesel engine using nonthermal plasma-induced radicals. IAS Masaaki Okubo, Takuya Kuwahara, Tomoyuki Kuroki, Keiichiro Yoshida, Kenichi Hanamoto, Kazutoshi Sato, Toshiaki Yamamoto
2010	C	`conf`	Improvement of NOx Reduction Efficiency in Diesel Emission Using Nonthermal Plasma - Exhaust Gas Recirculation Combined Aftertreatment. IAS Masaaki Okubo, Takuya Kuwahara, Yohei Kannaka, Tomoyuki Kuroki, Keiichiro Yoshida

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.