Miroslaw Kurkowski

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 18

Top Topics

Satisfiability Modulo Theories

Authentication Protocol

Security Protocols

Top Venues

Publications

Bartlomiejczyk Maciej, Imed El Fray, Miroslaw Kurkowski, Sabina Szymoniak, Olga Siedlecka-Lamch
User Authentication Protocol Based on the Location Factor for a Mobile Environment. IEEE Access 10 (2022)
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. Log. J. IGPL 30 (2) (2022)
Sylwia Stachowiak, Miroslaw Kurkowski, Artur Sobon
SAT vs. Substitution Boxes of DES like Ciphers. WETICE (2021)
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
SAT and SMT-Based Verification of Security Protocols Including Time Aspects. Sensors 21 (9) (2021)
Sylwia Stachowiak, Miroslaw Kurkowski, Artur Sobon
SAT-Based Cryptanalysis of Salsa20 Cipher. CORES/IP&C/ACS (2021)
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski, Imed El Fray
Towards Most Efficient Method for Untimed Security Protocols Verification. PACIS (2020)
Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
VerSecTis - An Agent based Model Checker for Security Protocols. AAMAS (2020)
Bartlomiejczyk Maciej, Imed El Fray, Miroslaw Kurkowski
Multifactor Authentication Protocol in a Mobile Environment. IEEE Access 7 (2019)
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
Efficient Verification of Security Protocols Time Properties Using SMT Solvers. CISIS-ICEUTE (2019)
Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
A Fast Method for Security Protocols Verification. CISIM (2019)
Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. PDCAT (2019)
Anna Tikhonenko-Kedziak, Miroslaw Kurkowski
Different Aggregation Modes Applications Within the Framework of Weights Uncertainty. ICAISC (1) (2019)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
On Some Time Aspects in Security Protocols Analysis. CN (2018)
Michal Chowaniec, Miroslaw Kurkowski, Michal Mazur
New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers. ACS (2018)
Miroslaw Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch
Some Remarks on Security Protocols Verification Tools. ISAT (2) (2016)
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Jacek Piatkowski
Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption. CN (2016)
Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski
Timed Analysis of Security Protocols. ISAT (2) (2016)
Olga Siedlecka-Lamch, Imed El Fray, Miroslaw Kurkowski, Jerzy Pejas
Verification of Mutual Authentication Protocol for MobInfoSec System. CISIM (2015)
Mariusz Kubanek, Dorota Smorawa, Miroslaw Kurkowski
Using Facial Asymmetry Properties and Hidden Markov Models for Biometric Authentication in Security Systems. ICAISC (2) (2014)
Imed El Fray, Tomasz Hyla, Miroslaw Kurkowski, Witold Mackow, Jerzy Pejas
Practical Authentication Protocols for Protecting and Sharing Sensitive Information on Mobile Devices. CSS (2014)
A. Grosser, Miroslaw Kurkowski, Jacek Piatkowski, Sabina Szymoniak
ProToc - An Universal Language for Security Protocols Specifications. ACS (2014)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech
Parallel Bounded Model Checking of Security Protocols. PPAM (1) (2013)
Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek
Using Backward Induction Techniques in (Timed) Security Protocols Verification. CISIM (2013)
Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech
A New Effective Approach for Modelling and Verification of Security Protocols. CS&P (2012)
Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny
Towards Parallel Direct SAT-Based Cryptanalysis. PPAM (1) (2011)
Miroslaw Kurkowski, Wojciech Penczek
Timed Automata Based Model Checking of Timed Security Protocols. Fundam. Informaticae 93 (1-3) (2009)
Miroslaw Kurkowski, Wojciech Penczek
Verifying Security Protocols Modelled by Networks of Automata. Fundam. Informaticae 79 (3-4) (2007)
Miroslaw Kurkowski, Marian Srebrny
A Quantifier-free First-order Knowledge Logic of Authentication. Fundam. Informaticae 72 (1-3) (2006)
Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. MoChArt (2006)
Miroslaw Kurkowski
A Complete Logic of Authentication. ACS (2001)