Olga Siedlecka-Lamch

20 papers A 1B 2C 2Misc 1Journal 2Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Digital Agriculture Under Threat: Cybersecurity Challenges and Policy Gaps. ETHICOMP Olga Siedlecka-Lamch
2023	B	`conf`	Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. ENASE Olga Siedlecka-Lamch, Sabina Szymoniak
2023	B	`conf`	Secure Medical Data Storage with Blockchain Technology. KES Olga Siedlecka-Lamch
2022	J	`jnl`	User Authentication Protocol Based on the Location Factor for a Mobile Environment. IEEE Access Maciej Bartlomiejczyk, Imed El Fray, Miroslaw Kurkowski, Sabina Szymoniak, Olga Siedlecka-Lamch
2021	J	`jnl`	SAT and SMT-Based Verification of Security Protocols Including Time Aspects. Sensors Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
2020	Misc	`conf`	Probabilistic and Timed Analysis of Security Protocols. CISIS Olga Siedlecka-Lamch
2020	—	`conf`	Towards Most Efficient Method for Untimed Security Protocols Verification. PACIS Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski, Imed El Fray
2020	A	`conf`	VerSecTis - An Agent based Model Checker for Security Protocols. AAMAS Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2019	—	`conf`	A Fast Method for Security Protocols Verification. CISIM Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
2019	C	`conf`	SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. PDCAT Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
2018	—	`conf`	On Some Time Aspects in Security Protocols Analysis. CN Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2016	—	`conf`	Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption. CN Olga Siedlecka-Lamch, Miroslaw Kurkowski, Jacek Piatkowski
2016	—	`conf`	Some Remarks on Security Protocols Verification Tools. ISAT (2) Miroslaw Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch
2016	—	`conf`	Timed Analysis of Security Protocols. ISAT (2) Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
2015	—	`conf`	Verification of Mutual Authentication Protocol for MobInfoSec System. CISIM Olga Siedlecka-Lamch, Imed El Fray, Miroslaw Kurkowski, Jerzy Pejas
2013	—	`conf`	Parallel Bounded Model Checking of Security Protocols. PPAM (1) Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech
2013	—	`conf`	Using Backward Induction Techniques in (Timed) Security Protocols Verification. CISIM Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek
2012	—	`conf`	A New Effective Approach for Modelling and Verification of Security Protocols. CS&P Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech
2012	—	`conf`	Interval Probabilities of State Transitions in Probabilistic Automata. ICAISC (2) Henryk Piech, Olga Siedlecka-Lamch
2011	—	`conf`	Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices. PPAM (1) Henryk Piech, Olga Siedlecka-Lamch

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.