An approach to exponentiation with interval-valued power

by Anna Tikhonenko-Kędziak, Mirosław Kurkowski
Published 2016-12-01

Timed models of security protocols including delays in the network

by Sabina Szymoniak, Mirosław Kurkowski, Jacek Piątkowski
Published 2015-09-01

Complete SAT based Cryptanalysis of RC5 Cipher

by Artur Soboń, Mirosław Kurkowski, Sylwia Stachowiak
Published 2020-01-01

Using probabilistic automata for security protocols verification

by Olga Siedlecka-Lamch, Mirosław Kurkowski, Jacek Piątkowski
Published 2016-06-01

Multifactor Authentication Protocol in a Mobile Environment

by Bartlomiejczyk Maciej, El Fray Imed, Miroslaw Kurkowski
Published 2019-01-01

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

by Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
Published 2021-04-01