Miroslaw Kurkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2021
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | WETICE | SAT vs. Substitution Boxes of DES like Ciphers. | Sylwia Stachowiak, Miroslaw Kurkowski, Artur Sobon |
| 2019 | ICAISC | Different Aggregation Modes Applications Within the Framework of Weights Uncertainty. | Anna Tikhonenko-Kedziak, Miroslaw Kurkowski |
| 2019 | PDCAT | SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. | Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski |
| 2014 | ICAISC | Using Facial Asymmetry Properties and Hidden Markov Models for Biometric Authentication in Security Systems. | Mariusz Kubanek, Dorota Smorawa, Miroslaw Kurkowski |
| 2013 | PPAM | Parallel Bounded Model Checking of Security Protocols. | Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech |
| 2011 | PPAM | Towards Parallel Direct SAT-Based Cryptanalysis. | Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny |