IFAL: Issue first activate later certificates for V2X

Eric Verheul; Christopher Hicks; Flavio D. Garcia

doi:10.1109/EuroSP.2019.00029

IFAL: Issue first activate later certificates for V2X

Eric Verheul, Christopher Hicks, Flavio D. Garcia

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

This paper presents IFAL, a provably secure and privacy conscious scheme for Vehicle-to-Vehicle and Vehicle-to-Infrastructure (V2X) communication. Issue First Activate Later (IFAL) is a practical and secure improvement to the leading European candidate for V2X (ETSI) and one that also merits over the leading US standard. IFAL incorporates a novel cryptographic mechanism that both avoids the need for certificate revocation and which supports vehicles with limited and intermittent connectivity. We introduce a new construction that is equivalent to symmetric key diversification in the public key setting with short, time-delayed activation. We also present a new formalisation of V2X security and privacy which we apply to IFAL to show that it is a provably secure and privacy conscious V2X scheme. IFAL is ETSI compliant and ready for integration into the standard.

Original language	English
Title of host publication	Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	279-293
Number of pages	15
ISBN (Electronic)	9781728111476
DOIs	https://doi.org/10.1109/EuroSP.2019.00029
Publication status	Published - Jun 2019
Event	4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 - Stockholm, Sweden Duration: 17 Jun 2019 → 19 Jun 2019

Publication series

Name	Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019

Conference

Conference	4th IEEE European Symposium on Security and Privacy, EURO S and P 2019
Country/Territory	Sweden
City	Stockholm
Period	17/06/19 → 19/06/19

Bibliographical note

Publisher Copyright:
© 2019 IEEE.

Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

Keywords

Authentication
Key management
Network Security
Public Key Cryptography
V2X

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality
Law
Computer Networks and Communications
Information Systems and Management

Access to Document

10.1109/EuroSP.2019.00029

Cite this

Verheul, E., Hicks, C., & Garcia, F. D. (2019). IFAL: Issue first activate later certificates for V2X. In Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (pp. 279-293). Article 8806744 (Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/EuroSP.2019.00029

@inproceedings{3f4365e564734dab8b9f18cfe2abebac,

title = "IFAL: Issue first activate later certificates for V2X",

abstract = "This paper presents IFAL, a provably secure and privacy conscious scheme for Vehicle-to-Vehicle and Vehicle-to-Infrastructure (V2X) communication. Issue First Activate Later (IFAL) is a practical and secure improvement to the leading European candidate for V2X (ETSI) and one that also merits over the leading US standard. IFAL incorporates a novel cryptographic mechanism that both avoids the need for certificate revocation and which supports vehicles with limited and intermittent connectivity. We introduce a new construction that is equivalent to symmetric key diversification in the public key setting with short, time-delayed activation. We also present a new formalisation of V2X security and privacy which we apply to IFAL to show that it is a provably secure and privacy conscious V2X scheme. IFAL is ETSI compliant and ready for integration into the standard.",

keywords = "Authentication, Key management, Network Security, Public Key Cryptography, V2X",

author = "Eric Verheul and Christopher Hicks and Garcia, {Flavio D.}",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 ; Conference date: 17-06-2019 Through 19-06-2019",

year = "2019",

month = jun,

doi = "10.1109/EuroSP.2019.00029",

language = "English",

series = "Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

pages = "279--293",

booktitle = "Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019",

}

Verheul, E, Hicks, C & Garcia, FD 2019, IFAL: Issue first activate later certificates for V2X. in Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019., 8806744, Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019, Institute of Electrical and Electronics Engineers (IEEE), pp. 279-293, 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019, Stockholm, Sweden, 17/06/19. https://doi.org/10.1109/EuroSP.2019.00029

IFAL: Issue first activate later certificates for V2X. / Verheul, Eric; Hicks, Christopher; Garcia, Flavio D.
Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019. Institute of Electrical and Electronics Engineers (IEEE), 2019. p. 279-293 8806744 (Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - IFAL

T2 - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019

AU - Verheul, Eric

AU - Hicks, Christopher

AU - Garcia, Flavio D.

PY - 2019/6

Y1 - 2019/6

N2 - This paper presents IFAL, a provably secure and privacy conscious scheme for Vehicle-to-Vehicle and Vehicle-to-Infrastructure (V2X) communication. Issue First Activate Later (IFAL) is a practical and secure improvement to the leading European candidate for V2X (ETSI) and one that also merits over the leading US standard. IFAL incorporates a novel cryptographic mechanism that both avoids the need for certificate revocation and which supports vehicles with limited and intermittent connectivity. We introduce a new construction that is equivalent to symmetric key diversification in the public key setting with short, time-delayed activation. We also present a new formalisation of V2X security and privacy which we apply to IFAL to show that it is a provably secure and privacy conscious V2X scheme. IFAL is ETSI compliant and ready for integration into the standard.

AB - This paper presents IFAL, a provably secure and privacy conscious scheme for Vehicle-to-Vehicle and Vehicle-to-Infrastructure (V2X) communication. Issue First Activate Later (IFAL) is a practical and secure improvement to the leading European candidate for V2X (ETSI) and one that also merits over the leading US standard. IFAL incorporates a novel cryptographic mechanism that both avoids the need for certificate revocation and which supports vehicles with limited and intermittent connectivity. We introduce a new construction that is equivalent to symmetric key diversification in the public key setting with short, time-delayed activation. We also present a new formalisation of V2X security and privacy which we apply to IFAL to show that it is a provably secure and privacy conscious V2X scheme. IFAL is ETSI compliant and ready for integration into the standard.

KW - Authentication

KW - Key management

KW - Network Security

KW - Public Key Cryptography

KW - V2X

UR - http://www.scopus.com/inward/record.url?scp=85072020045&partnerID=8YFLogxK

U2 - 10.1109/EuroSP.2019.00029

DO - 10.1109/EuroSP.2019.00029

M3 - Conference contribution

AN - SCOPUS:85072020045

T3 - Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019

SP - 279

EP - 293

BT - Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019

PB - Institute of Electrical and Electronics Engineers (IEEE)

Y2 - 17 June 2019 through 19 June 2019

ER -

Verheul E, Hicks C, Garcia FD. IFAL: Issue first activate later certificates for V2X. In Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019. Institute of Electrical and Electronics Engineers (IEEE). 2019. p. 279-293. 8806744. (Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019). doi: 10.1109/EuroSP.2019.00029

IFAL: Issue first activate later certificates for V2X

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this