[PDF][PDF] Security protocols analysis including various time parameters

S Szymoniak - Mathematical Biosciences and Engineering, 2021 - academia.edu
Communication is a key element of everyone's life. Nowadays, we most often use internet
connections for communication. We use the network to communicate with our family, make …

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

J Piątkowski, S Szymoniak - Applied Sciences, 2023 - mdpi.com
Internet communication is one of the significant aspects of modern civilization. People use
banking, health, social, or shopping platforms and send a lot of data. Each communication …

[PDF][PDF] Lazy mobile intruders (extended version)

S Mödersheim, F Nielson, HR Nielson - 2012 - people.compute.dtu.dk
We present a new technique for analyzing platforms that execute potentially malicious code,
such as web-browsers, mobile phones, or virtualized infrastructures. Rather than analyzing …