Mirosław Kurkowski

Available identifiers

zbMath Open kurkowski.miroslawMaRDI QIDQ2201274

List of research outcomes

Publication	Date of Publication	Type
On Security Properties of RC5 cipher’s Non Standard Modifications	2022-10-17	Paper
Some Remarks of Different Aggregation Modes Applications Within the Framework of Intuitionistic Fuzzy Weights	2022-10-17	Paper
An approach to exponentiation with interval-valued power	2021-03-26	Paper
Using probabilistic automata for security protocols verification	2020-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q2975982	2017-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q2932900	2014-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5418256	2014-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5411490	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5407103	2014-04-04	Paper
Modern Cryptography Primer	2013-12-06	Paper
Timed automata based model checking of timed security protocols	2009-08-10	Paper
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata	2007-11-01	Paper
Verifying security protocols modelled by networks of automata	2007-10-17	Paper
A quantifier-free first-order knowledge logic of authentication	2006-09-06	Paper

Research outcomes over time

This page was built for person: Mirosław Kurkowski