Miroslaw Kurkowski

32 papers A 1C 2Journal 7Unranked 20
YearRankTypeTitle / Venue / Authors
2022 J jnl
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories.
Log. J. IGPL
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
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
2021 C conf
SAT vs. Substitution Boxes of DES like Ciphers.
WETICE
Sylwia Stachowiak, Miroslaw Kurkowski, Artur Sobon
2021 — conf
SAT-Based Cryptanalysis of Salsa20 Cipher.
CORES/IP&C/ACS
Sylwia Stachowiak, Miroslaw Kurkowski, Artur Sobon
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 — conf
Different Aggregation Modes Applications Within the Framework of Weights Uncertainty.
ICAISC (1)
Anna Tikhonenko-Kedziak, Miroslaw Kurkowski
2019 — conf
Efficient Verification of Security Protocols Time Properties Using SMT Solvers.
CISIS-ICEUTE
Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski
2019 J jnl
Multifactor Authentication Protocol in a Mobile Environment.
IEEE Access
Maciej Bartlomiejczyk, Imed El Fray, 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
New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers.
ACS
Michal Chowaniec, Miroslaw Kurkowski, Michal Mazur
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
2014 — conf
Practical Authentication Protocols for Protecting and Sharing Sensitive Information on Mobile Devices.
CSS
Imed El Fray, Tomasz Hyla, Miroslaw Kurkowski, Witold Mackow, Jerzy Pejas
2014 — conf
ProToc - An Universal Language for Security Protocols Specifications.
ACS
A. Grosser, Miroslaw Kurkowski, Jacek Piatkowski, Sabina Szymoniak
2014 — conf
Using Facial Asymmetry Properties and Hidden Markov Models for Biometric Authentication in Security Systems.
ICAISC (2)
Mariusz Kubanek, Dorota Smorawa, Miroslaw Kurkowski
2013 — book
Modern Cryptography Primer - Theoretical Foundations and Practical Applications.
Czeslaw Koscielny, Miroslaw Kurkowski, Marian Srebrny
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 — ch.
Applying Timed Automata to Model Checking of Security Protocols.
Handbook of Finite State Based Models and Applications
Miroslaw Kurkowski, Wojciech Penczek
2011 — conf
Towards Parallel Direct SAT-Based Cryptanalysis.
PPAM (1)
Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny
2009 J jnl
Timed Automata Based Model Checking of Timed Security Protocols.
Fundam. Informaticae
Miroslaw Kurkowski, Wojciech Penczek
2007 J jnl
Verifying Security Protocols Modelled by Networks of Automata.
Fundam. Informaticae
Miroslaw Kurkowski, Wojciech Penczek
2006 J jnl
A Quantifier-free First-order Knowledge Logic of Authentication.
Fundam. Informaticae
Miroslaw Kurkowski, Marian Srebrny
2006 — conf
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.
MoChArt
Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny
2001 — conf
A Complete Logic of Authentication.
ACS
Miroslaw Kurkowski