Showing 1 - 6 results of 6 for search 'Mirosław Kurkowski', query time: 0.03s Refine Results
  1. 1
    Partial mathematical modeling and analysis of the AES system

    Partial mathematical modeling and analysis of the AES system by Sylwia Stachowiak, Mirosław Kurkowski

    Published 2023-12-01
    Get full text
    Article
  2. 2
    An approach to exponentiation with interval-valued power

    An approach to exponentiation with interval-valued power by Anna Tikhonenko-Kędziak, Mirosław Kurkowski

    Published 2016-12-01
    Get full text
    Article
  3. 3
    Timed models of security protocols including delays in the network

    Timed models of security protocols including delays in the network by Sabina Szymoniak, Mirosław Kurkowski, Jacek Piątkowski

    Published 2015-09-01
    Get full text
    Article
  4. 4
    Complete SAT based Cryptanalysis of RC5 Cipher

    Complete SAT based Cryptanalysis of RC5 Cipher by Artur Soboń, Mirosław Kurkowski, Sylwia Stachowiak

    Published 2020-01-01
    Get full text
    Article
  5. 5
    Multifactor Authentication Protocol in a Mobile Environment

    Multifactor Authentication Protocol in a Mobile Environment by Maciej Bartlomiejczyk, El Fray Imed, Miroslaw Kurkowski

    Published 2019-01-01
    Get full text
    Article
  6. 6
    SAT and SMT-Based Verification of Security Protocols Including Time Aspects

    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
    Get full text
    Article

Search Tools: