A Complete Logic of Authentication. - Miroslaw Kurkowski (ACS, 2001)

SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. - Miroslaw Kurkowski; Wojciech Penczek; Andrzej Zbrzezny (MoChArt, 2006)

A Quantifier-free First-order Knowledge Logic of Authentication. - Miroslaw Kurkowski; Marian Srebrny (Fundam. Informaticae, 2006)

Verifying Security Protocols Modelled by Networks of Automata. - Miroslaw Kurkowski; Wojciech Penczek (Fundam. Informaticae, 2007)

Timed Automata Based Model Checking of Timed Security Protocols. - Miroslaw Kurkowski; Wojciech Penczek (Fundam. Informaticae, 2009)

Towards Parallel Direct SAT-Based Cryptanalysis. - Pawel Dudek; Miroslaw Kurkowski; Marian Srebrny (PPAM (1), 2011)

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

Applying Timed Automata to Model Checking of Security Protocols. - Miroslaw Kurkowski; Wojciech Penczek (Handbook of Finite State Based Models and Applications, 2012)

Modern Cryptography Primer - Theoretical Foundations and Practical Applications. - Czeslaw Koscielny; Miroslaw Kurkowski; Marian Srebrny (Springer, 2013)

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)

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

Practical Authentication Protocols for Protecting and Sharing Sensitive Information on Mobile Devices. - Imed El Fray; Tomasz Hyla; Miroslaw Kurkowski; Witold Mackow; Jerzy Pejas (CSS, 2014)

Using Facial Asymmetry Properties and Hidden Markov Models for Biometric Authentication in Security Systems. - Mariusz Kubanek; Dorota Smorawa; Miroslaw Kurkowski (ICAISC (2), 2014)

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)

New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers. - Michal Chowaniec; Miroslaw Kurkowski; Michal Mazur (ACS, 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)

Different Aggregation Modes Applications Within the Framework of Weights Uncertainty. - Anna Tikhonenko-Kedziak; Miroslaw Kurkowski (ICAISC (1), 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)

Multifactor Authentication Protocol in a Mobile Environment. - Maciej Bartlomiejczyk; Imed El Fray; Miroslaw Kurkowski (IEEE Access, 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)

SAT-Based Cryptanalysis of Salsa20 Cipher. - Sylwia Stachowiak; Miroslaw Kurkowski; Artur Sobon (CORES/IP&C/ACS, 2021)

SAT vs. Substitution Boxes of DES like Ciphers. - Sylwia Stachowiak; Miroslaw Kurkowski; Artur Sobon (WETICE, 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)