​
Login / Signup
Michal Jarosz
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 6
Top Topics
Smart Environments
Key Management
Lightweight
Diffie Hellman
Top Venues
WF-IoT
FedCSIS
MILCOM
IEEE Commun. Mag.
</>
Publications
</>
Michal Jarosz
,
Konrad S. Wrona
,
Zbigniew Zielinski
Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices.
FedCSIS
(2022)
Krzysztof Kanciak
,
Konrad S. Wrona
,
Michal Jarosz
Secure Onboarding and Key Management in Federated IoT Environments.
FedCSIS
(2022)
Konrad S. Wrona
,
Frank Micevski Scharf
,
Michal Jarosz
Security Accreditation and Software Approval with Smart Contracts.
IEEE Commun. Mag.
59 (2) (2021)
Krzysztof Kanciak
,
Michal Jarosz
,
Pawel Glebocki
,
Konrad S. Wrona
Enabling civil-military information sharing in federated smart environments.
WF-IoT
(2021)
Konrad S. Wrona
,
Michal Jarosz
Use of blockchains for secure binding of metadata in military applications of IoT.
WF-IoT
(2019)
Konrad S. Wrona
,
Michal Jarosz
Does NATO Need a Blockchain?
MILCOM
(2018)