English
Related papers

Related papers: Scaling Pseudonymous Authentication for Large Mobi…

200 papers

In the automotive security sector, the absence of a testing platform that is configurable, practical, and user-friendly presents considerable challenges. These difficulties are compounded by the intricate design of vehicle systems, the…

Cryptography and Security · Computer Science 2024-04-04 Sekar Kulandaivel , Wenjuan Lu , Brandon Barry , Jorge Guajardo

The pioneering concept of connected vehicles has transformed the way of thinking for researchers and entrepreneurs by collecting relevant data from nearby objects. However, this data is useful for a specific vehicle only. Moreover, vehicles…

Cryptography and Security · Computer Science 2020-01-07 Trupil Limbasiya , Debasis Das , Sanjay K. Sahay

The security of autonomous vehicle networks is facing major challenges, owing to the complexity of sensor integration, real-time performance demands, and distributed communication protocols that expose vast attack surfaces around both…

Cryptography and Security · Computer Science 2025-11-18 Rathin Chandra Shit , Sharmila Subudhi

The paper presents a step forward in the design and implementation of a Transport Layer Security (TLS) handshake protocol that enables the use of Verifiable Credential (VC) while maintaining full compliance with RFC-8446 and preserving all…

Cryptography and Security · Computer Science 2025-05-22 Leonardo Perugini , Andrea Vesco

Vehicular communication networks is a promising and emerging technology to facilitat road safety, Safety of life, traffic management, and infotainment dissemination for drivers and passengers. One of the ultimate goals in the design of such…

Cryptography and Security · Computer Science 2012-07-05 Ghassan Samara

With the rapid development of vehicular ad hoc Network (VANET), it is gaining significant popularity and receiving increasing attentions from academics and industry in security and efficiency. To address security and efficiency issues, a…

Cryptography and Security · Computer Science 2016-11-29 Mu Han , Lei Hua , Shidian Ma

Anonymous Single-Sign-On authentication schemes have been proposed to allow users to access a service protected by a verifier without revealing their identity which has become more important due to the introduction of strong privacy…

Cryptography and Security · Computer Science 2018-04-20 Jinguang Han , Liqun Chen , Steve Schneider , Helen Treharne , Stephan Wesemeyer

Internet of Vehicles(IoV) is increasingly used as a medium to propagate critical information via establishing connections between entities such as vehicles and infrastructures. During message transmission, privacy-preserving authentication…

Cryptography and Security · Computer Science 2022-09-01 Xia Feng , Kaiping Cui , Liangmin Wang

The Internet of Vehicles (IoV), which enables interactions between vehicles, infrastructure, and the environment, faces challenges in maintaining communication security and reliable automated decisions. This paper introduces a decentralized…

Cryptography and Security · Computer Science 2024-09-19 Jingyi Sun , Qi Shi , Guodong Jin , Hao Xu , Erwu Liu

Location-Based Services (LBSs) provide valuable services, with convenient features for mobile users. However, the location and other information disclosed through each query to the LBS erodes user privacy. This is a concern especially…

Cryptography and Security · Computer Science 2020-01-23 Hongyu Jin , Panos Papadimitratos

Future autonomous vehicles will generate, collect, aggregate and consume significant volumes of data as key gateway devices in emerging Internet of Things scenarios. While vehicles are widely accepted as one of the most challenging mobility…

Cryptography and Security · Computer Science 2018-02-23 Josh Joy , Dylan Gray , Ciaran McGoldrick , Mario Gerla

This paper describes BlockPKI, a blockchain-based public-key infrastructure that enables an automated, resilient, and transparent issuance of digital certificates. Our goal is to address several shortcomings of the current TLS…

Cryptography and Security · Computer Science 2019-03-08 Lukasz Dykcik , Laurent Chuat , Pawel Szalachowski , Adrian Perrig

With current technology, a number of entities have access to user mobility traces at different levels of spatio-temporal granularity. At the same time, users frequently reveal their location through different means, including geo-tagged…

Cryptography and Security · Computer Science 2018-11-16 Apostolos Pyrgelis , Nicolas Kourtellis , Ilias Leontiadis , Joan Serrà , Claudio Soriente

The popularity of Electric Vehicles (EVs) has been rising across the globe in recent years. Smart grids will be the backbone for EV charging and enable efficient consumption of electricity by the EVs. With the demand for EVs, associated…

Cryptography and Security · Computer Science 2022-06-28 Rohini Poolat Parameswarath , Prosanta Gope , Biplab Sikdar

The New Space era has led to a rapid increase in satellites operated by independent entities in near-Earth orbit. This shift enables richer space services but also requires secure, near-real-time coordination, making efficient…

Cryptography and Security · Computer Science 2026-05-08 Rehana Yasmin , Paulo Esteves-Verissimo , Ali Shoker

Using our voices to access, and interact with, online services raises concerns about the trade-offs between convenience, privacy, and security. The conflict between maintaining privacy and ensuring input authenticity has often been hindered…

Computers and Society · Computer Science 2023-02-28 Ranya Aloufi , Hamed Haddadi , David Boyle

Vulnerable individuals have a limited ability to make reasonable financial decisions and choices and, thus, the level of care that is appropriate to be provided to them by financial institutions may be different from that required for other…

Computers and Society · Computer Science 2021-06-14 Tasos Spiliotopoulos , Dave Horsfall , Magdalene Ng , Kovila Coopamootoo , Aad van Moorsel , Karen Elliott

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

Artificial Intelligence · Computer Science 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer

Vehicular ad-hoc networks (VANETs) have been proposed to automate transportation industry in order to increase its accuracy, efficiency, throughput, and specially safety. Security plays an Undeniable important role on implementing VANETs in…

Networking and Internet Architecture · Computer Science 2018-10-16 Vahid Ranjbar , Ali Mohammad Afshin Hemmatyar

The intelligent vehicle (IV) has become a promising technology that could revolutionize our life in smart cities sooner or later. However, it yet suffers from many security vulnerabilities. Traditional security methods are incapable to…

Cryptography and Security · Computer Science 2019-09-17 Bing Xu , Tobechukwu Agbele , Qiang Ni , Richard Jiang