undefined

Formal verification of misbinding attacks on secure device pairing and bootstrapping

Year of publication

2020

Authors

Peltonen, Aleksi; Sethi, Mohit; Aura, Tuomas

Organizations and authors

Aalto University

Peltonen Aleksi Orcid -palvelun logo

Sethi Mohit Orcid -palvelun logo

Aura Tuomas Orcid -palvelun logo

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Publisher

Elsevier

Volume

51

Article number

102461

​Publication forum

57849

​Publication forum level

1

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Partially open publication channel

Self-archived

Yes

Article processing fee (EUR)

1126

Year of payment for the open publication fee

2020

Other information

Fields of science

Computer and information sciences

Keywords

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

Yes

DOI

10.1016/j.jisa.2020.102461

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes