Mirosław Kurkowski

About

Mirosław Kurkowski is an Associate Professor at the Police Academy in Szczytno, Poland. His research focuses on defense and security mechanisms in the Internet of Things, as well as formal methods for verification of security protocols. Recent publications include work on SAT and SMT-based verification, as well as cryptanalysis of security algorithms. Professor Kurkowski's contributions to the field emphasize the importance of time aspects in security verification.