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

ProToc - An Universal Language for Security Protocols Specifications. - A. Grosser; Miroslaw Kurkowski; Jacek Piatkowski; Sabina Szymoniak (ACS, 2014)

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

KaoChow Protocol Timed Analysis. - Sabina Szymoniak (ACS, 2018)

The Impact of Time Parameters on the Security Protocols Correctness. - Sabina Szymoniak (CN, 2018)

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)

Efficient Verification of Security Protocols Time Properties Using SMT Solvers. - Agnieszka M. Zbrzezny; Sabina Szymoniak; Miroslaw Kurkowski (CISIS-ICEUTE, 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)

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

Time Influence on Security Protocol. - Sabina Szymoniak (ENASE, 2021)

Amelia - A new security protocol for protection against false links. - Sabina Szymoniak (Comput. Commun., 2021)

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)

Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. - Agnieszka M. Zbrzezny; Sabina Szymoniak; Miroslaw Kurkowski (Log. J. IGPL, 2022)

Safe data transmission in IoT system for air pollution monitoring. - Janusz Bobulski; Sabina Szymoniak; Kamila Pasternak (IEEE Big Data, 2023)

Air Pollution Monitoring and Information Distribution System. - Janusz Bobulski; Sabina Szymoniak; Kamila Pasternak (CORES/IP&C, 2023)

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

AI-Based Enhancing of the Smart City Residents' Safety. - Sabina Szymoniak; Mariusz Kubanek; Shalini Kesar (ISD, 2024)

Security protocol for securing notifications about dangerous events in the agglomeration. - Sabina Szymoniak (Pervasive Mob. Comput., 2024)

An IoT System for Air Pollution Monitoring with Safe Data Transmission. - Janusz Bobulski; Sabina Szymoniak; Kamila Pasternak (Sensors, 2024)

Key Distribution and Authentication Protocols in Wireless Sensor Networks: A Survey. - Sabina Szymoniak (ACM Comput. Surv., 2024)