Browse by Journal
![]() | See full list of headings |
E
Edris, Ed Kamya Kiyemba ORCID: https://orcid.org/0000-0001-5981-9844, Aiash, Mahdi
ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan
ORCID: https://orcid.org/0000-0002-2197-8126
(2021)
Formal verification of authentication and service authorization protocols in 5G-enabled device-to-device communications using ProVerif.
Electronics, 10
(13)
, e1608.
ISSN 2079-9292
[Article]
(doi:10.3390/electronics10131608)
R
Rooney, Catherine, Seeam, Amar ORCID: https://orcid.org/0000-0001-8203-1545 and Bellekens, Xavier
(2018)
Creation and detection of hardware trojans using non-invasive off-the-shelf technologies.
Electronics, 7
(7)
.
p. 124.
ISSN 2079-9292
[Article]
(doi:10.3390/electronics7070124)