Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Basagiannis, Stylianos"'
Autor:
Malaquias, Felipe Lisboa, Giantamidis, Georgios, Basagiannis, Stylianos, Rollini, Simone Fulvio, Amundson, Isaac
Publikováno v:
Ada User Journal; Jun2024, Vol. 44 Issue 2, p146-151, 6p
Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- cost Radio Frequency Identification (RFID) protocol proposed by Song an
Externí odkaz:
http://arxiv.org/abs/1112.1086
Model checking is a widespread automatic formal analysis that has been successful in discovering flaws in security protocols. However existing possibilities for state space explosion still hinder analyses of complex protocols and protocol configurati
Externí odkaz:
http://arxiv.org/abs/0909.0174
In this paper, we describe an attack against one of the Oblivious-Transfer-based blind signatures scheme, proposed in [1]. An attacker with a primitive capability of producing specific-range random numbers, while exhibiting a partial MITM behavior, i
Externí odkaz:
http://arxiv.org/abs/0906.2947
Publikováno v:
In Computers & Security July 2016 60:1-14
Electronic Communications of the EASST, Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::581c1203db9e0c48d0c5e2a79dd4858b
Autor:
Giantamidis, Georgios, Papanikolaou, Georgios, Miranda, Marcelo, Salinas-Hernando, Gonzalo, Valverde-Alcala, Juan, Veluru, Suresh, Basagiannis, Stylianos
Formal methods practices can sometimes be challenging to adopt in industrial environments. On the other hand, the need for formalization and verification in the design of complex systems is now more evident than ever. To the end of easing integration
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b2d46a0b816c7db4620cf0923745a3e
Electronic Communications of the EASST, Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c0700772151f6863611778381b473b4
Autor:
Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim, König, Christian, Basagiannis, Stylianos, Brosse, Etienne, Gomes, Claudio, Cabral, Jose, Macedo, Hugo Daniel, Thule, Casper, Sadovykh, Andrey, Zamfirescu, Constantin-Bala, Neghina, Mihai, Pierce, Ken, Gamble, Carl, Payne, Richard
Publikováno v:
Larsen, P G, Fitzgerald, J, Woodcock, J, König, C, Basagiannis, S, Brosse, E, Gomes, C, Cabral, J, Macedo, H D, Thule, C, Sadovykh, A, Zamfirescu, C-B, Neghina, M, Pierce, K, Gamble, C & Payne, R 2018, The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide . < http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::f66a00a97eb9f38f144bf2e22608ee62
https://pure.au.dk/portal/da/publications/the-integrated-toolchain-for-cyberphysical-systems-intocps-a-guide(53f65abe-ca52-4e2f-a34f-f89753b37b6f).html
https://pure.au.dk/portal/da/publications/the-integrated-toolchain-for-cyberphysical-systems-intocps-a-guide(53f65abe-ca52-4e2f-a34f-f89753b37b6f).html
Autor:
Couto, Luis Diogo, Basagiannis, Stylianos, Ridouane, El Hassan, Hasanagic, Miran, Larsen, Peter Gorm
Publikováno v:
Couto, L D, Basagiannis, S, Ridouane, E H, Hasanagic, M & Larsen, P G 2018, Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems . in A Cerone & M Roveri (eds), Software Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods : SEFM2017, Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers . vol. 10729, Springer, Lecture Notes in Computer Science, vol. 10729, pp. 284-299, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, 05/09/2017 . https://doi.org/10.1007/978-3-319-74781-1_20
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a6d9ea7cbc782e6c27259ca281f8bbb1
https://pure.au.dk/portal/da/publications/injecting-formal-verification-in-fmibased-cosimulations-of-cyberphysical-systems(d41b5cc0-140e-46dc-8b93-1dd0653b2d81).html
https://pure.au.dk/portal/da/publications/injecting-formal-verification-in-fmibased-cosimulations-of-cyberphysical-systems(d41b5cc0-140e-46dc-8b93-1dd0653b2d81).html