Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices. - Henryk Piech; Olga Siedlecka-Lamch (PPAM (1), 2011)

A New Effective Approach for Modelling and Verification of Security Protocols. - Olga Siedlecka-Lamch; Miroslaw Kurkowski; Henryk Piech (CS&P, 2012)

Interval Probabilities of State Transitions in Probabilistic Automata. - Henryk Piech; Olga Siedlecka-Lamch (ICAISC (2), 2012)

Using Backward Induction Techniques in (Timed) Security Protocols Verification. - Miroslaw Kurkowski; Olga Siedlecka-Lamch; Pawel Dudek (CISIM, 2013)

Parallel Bounded Model Checking of Security Protocols. - Miroslaw Kurkowski; Olga Siedlecka-Lamch; Sabina Szymoniak; Henryk Piech (PPAM (1), 2013)

Verification of Mutual Authentication Protocol for MobInfoSec System. - Olga Siedlecka-Lamch; Imed El Fray; Miroslaw Kurkowski; Jerzy Pejas (CISIM, 2015)

Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption. - Olga Siedlecka-Lamch; Miroslaw Kurkowski; Jacek Piatkowski (CN, 2016)

Some Remarks on Security Protocols Verification Tools. - Miroslaw Kurkowski; Adam Kozakiewicz; Olga Siedlecka-Lamch (ISAT (2), 2016)

Timed Analysis of Security Protocols. - Sabina Szymoniak; Olga Siedlecka-Lamch; Miroslaw Kurkowski (ISAT (2), 2016)

On Some Time Aspects in Security Protocols Analysis. - Sabina Szymoniak; Olga Siedlecka-Lamch; Miroslaw Kurkowski (CN, 2018)

A Fast Method for Security Protocols Verification. - Olga Siedlecka-Lamch; Sabina Szymoniak; Miroslaw Kurkowski (CISIM, 2019)

SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. - Agnieszka M. Zbrzezny; Olga Siedlecka-Lamch; Sabina Szymoniak; Miroslaw Kurkowski (PDCAT, 2019)

VerSecTis - An Agent based Model Checker for Security Protocols. - Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Sabina Szymoniak; Olga Siedlecka-Lamch; Miroslaw Kurkowski (AAMAS, 2020)

Probabilistic and Timed Analysis of Security Protocols. - Olga Siedlecka-Lamch (CISIS, 2020)

Towards Most Efficient Method for Untimed Security Protocols Verification. - Olga Siedlecka-Lamch; Sabina Szymoniak; Miroslaw Kurkowski; Imed El Fray (PACIS, 2020)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects. - Sabina Szymoniak; Olga Siedlecka-Lamch; Agnieszka M. Zbrzezny; Andrzej Zbrzezny; Miroslaw Kurkowski (Sensors, 2021)

User Authentication Protocol Based on the Location Factor for a Mobile Environment. - Maciej Bartlomiejczyk; Imed El Fray; Miroslaw Kurkowski; Sabina Szymoniak; Olga Siedlecka-Lamch (IEEE Access, 2022)

Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. - Olga Siedlecka-Lamch; Sabina Szymoniak (ENASE, 2023)

Secure Medical Data Storage with Blockchain Technology. - Olga Siedlecka-Lamch (KES, 2023)