All Stories

  1. Security of protocols used in Wireless Sensors Networks

    Article • ACM Computing Surveys, January 2024, ACM (Association for Computing Machinery)

    Dr. Sabina Szymoniak

  2. An IoT System for Air Pollution Monitoring with Safe Data Transmission

    Article • Sensors, January 2024, MDPI AG

    Dr. Sabina Szymoniak

  3. Safe data transmission in IoT system for air pollution monitoring

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  4. Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework

    Article • Applied Sciences, November 2023, MDPI AG

    Dr. Sabina Szymoniak

  5. Trustworthy Artificial Intelligence Methods for Users’ Physical and Environmental Security: A Comprehensive Review

    Article • Applied Sciences, November 2023, MDPI AG

    Dr. Sabina Szymoniak

  6. Air Pollution Monitoring and Information Distribution System

    Article • January 2023, Springer Science + Business Media

    Dr. Sabina Szymoniak

  7. Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits

    Article • January 2023, Scitepress

    Dr. Sabina Szymoniak

  8. Key Agreement and Authentication Protocols in the Internet of Things: A Survey

    Article • Applied Sciences, December 2022, MDPI AG

    Dr. Sabina Szymoniak

  9. User Authentication Protocol Based on the Location Factor for a Mobile Environment

    Article • IEEE Access, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  10. Amelia—A new security protocol for protection against false links

    Article • Computer Communications, November 2021, Elsevier

    Dr. Sabina Szymoniak

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

    Article • Sensors, April 2021, MDPI AG

    Dr. Sabina Szymoniak

  12. Security protocols analysis including various time parameters

    Article • Mathematical Biosciences and Engineering, January 2021, American Institute of Mathematical Sciences (AIMS)

    Dr. Sabina Szymoniak

  13. Time Influence on Security Protocol

    Article • January 2021, Scitepress

    Dr. Sabina Szymoniak

  14. Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories

    Article • Logic Journal of IGPL, November 2020, Oxford University Press (OUP)

    Dr. Sabina Szymoniak

  15. SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols

    Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  16. A Fast Method for Security Protocols Verification

    Article • January 2019, Springer Science + Business Media

    Dr. Sabina Szymoniak

  17. KaoChow Protocol Timed Analysis

    Article • December 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  18. Network’s Delays in Timed Analysis of Security Protocols

    Article • August 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  19. On Some Time Aspects in Security Protocols Analysis

    Article • January 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  20. The Impact of Time Parameters on the Security Protocols Correctness

    Article • January 2018, Springer Science + Business Media

    Dr. Sabina Szymoniak

  21. SAT-based verification of NSPK protocol including delays in the network

    Article • November 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Sabina Szymoniak

  22. Timed Analysis of Security Protocols

    Article • September 2016, Springer Science + Business Media

    Dr. Sabina Szymoniak

  23. Timed models of security protocols including delays in the network

    Article • Journal of Applied Mathematics and Computational Mechanics, September 2015, Czestochowa University of Technology

    Dr. Sabina Szymoniak

  24. ProToc—An Universal Language for Security Protocols Specifications

    Article • January 2015, Springer Science + Business Media

    Dr. Sabina Szymoniak

  25. Parallel Bounded Model Checking of Security Protocols

    Article • January 2014, Springer Science + Business Media

    Dr. Sabina Szymoniak