Pregled po projektu: Formalno rasuđivanje i semantike (FORMALS) (MB: HRZZ-UIP-2017-05-9219)
Pronađeno 78 radova
-
76.Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynStatistical Model Checking in the Analysis of Distance- bounding Protocols // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 24-26 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
77.Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynStatistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols // Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC '18
New York (NY): ACM Digital Library, 2018. str. 60-71 doi:10.1145/3264888.3264895 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
78.Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynStatistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols // Workshop on Foundations of Computer Security 2018
Oxford, Ujedinjeno Kraljevstvo, 2018. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni)
