English
Related papers

Related papers: CINNAMON: A Module for AUTOSAR Secure Onboard Comm…

200 papers

We present Chameleon, a novel hybrid (mixed-protocol) framework for secure function evaluation (SFE) which enables two parties to jointly compute a function without disclosing their private inputs. Chameleon combines the best aspects of…

Cryptography and Security · Computer Science 2018-01-11 M. Sadegh Riazi , Christian Weinert , Oleksandr Tkachenko , Ebrahim M. Songhori , Thomas Schneider , Farinaz Koushanfar

Semantic communication (SemCom), as a typical paradigm of deep integration between artificial intelligence (AI) and communication technology, significantly improves communication efficiency and resource utilization efficiency. However, the…

Signal Processing · Electrical Eng. & Systems 2025-09-08 Zhidi Zhang , Rui Meng , Song Gao , Haixiao Gao , Xiaodong Xu

This paper studies a secure cell-free integrated sensing and communication (ISAC) system, in which multiple ISAC transmitters collaboratively send confidential information to multiple communication users (CUs) and concurrently conduct…

Information Theory · Computer Science 2023-12-08 Zixiang Ren , Jie Xu , Ling Qiu , Derrick Wing Kwan Ng

Testing cloud-controlled intelligent connected vehicles (ICVs) requires simulation environments that faithfully emulate both vehicle behavior and realistic communication latencies. This paper proposes a latency-aware co-simulation platform…

As ATM applications deploy for a banking system, the need to secure communications will become critical. However, multicast protocols do not fit the point-to-point model of most network security protocols which were designed with unicast…

Cryptography and Security · Computer Science 2015-05-13 Zeinab Ghafari , Taha Arian , Morteza Analoui

We present Xenon, a solver-aided method for formally verifying that Verilog hardware executes in constant-time. Xenon scales to realistic hardware designs by drastically reducing the effort needed to localize the root cause of verification…

Cryptography and Security · Computer Science 2021-04-02 Rami Gokhan Kici , Klaus v. Gleissenthall , Deian Stefan , Ranjit Jhala

The proliferation of IoT devices in shared, multi-vendor environments like the modern aircraft cabin creates a fundamental conflict between the promise of data collaboration and the risks to passenger privacy, vendor intellectual property…

In recent years, the security of automotive Cyber-Physical Systems (CPSs) is facing urgent threats due to the widespread use of legacy in-vehicle communication systems. As a representative legacy bus system, the Controller Area Network…

Cryptography and Security · Computer Science 2019-12-11 Xuhang Ying , Giuseppe Bernieri , Mauro Conti , Linda Bushnell , Radha Poovendran

Recent technological advancements have enabled proliferated use of small embedded and IoT devices for collecting, processing, and transferring the security-critical information and user data. This exponential use has acted as a catalyst in…

Cryptography and Security · Computer Science 2021-01-18 Avani Dave , Nilanjan Banerjee , Chintan Patel

In [3], the authors proposed a highly efficient secure and privacy-preserving scheme for secure vehicular communications. The proposed scheme consists of four protocols: system setup, protocol for STP and STK distribution, protocol for…

Cryptography and Security · Computer Science 2015-08-10 Lei Zhang , Chuanyan Hu , Qianhong Wu , Josep Domingo-Ferrer , Bo Qin

Semantic communication (SemCom) is regarded as a promising and revolutionary technology in 6G, aiming to transcend the constraints of ``Shannon's trap" by filtering out redundant information and extracting the core of effective data.…

Cryptography and Security · Computer Science 2025-03-27 Rui Meng , Song Gao , Dayu Fan , Haixiao Gao , Yining Wang , Xiaodong Xu , Bizhu Wang , Suyu Lv , Zhidi Zhang , Mengying Sun , Shujun Han , Chen Dong , Xiaofeng Tao , Ping Zhang

The quest for safer and more efficient transportation through cooperative, connected and automated mobility (CCAM) calls for realistic performance analysis tools, especially with respect to wireless communications. While the simulation of…

Networking and Internet Architecture · Computer Science 2024-05-01 Gabriele Gemmi , Pedram Johari , Paolo Casari , Michele Polese , Tommaso Melodia , Michele Segata

Autonomous driving vehicles provide a vast potential for realizing use cases in the on-road and off-road domains. Consequently, remarkable solutions exist to autonomous systems' environmental perception and control. Nevertheless, proof of…

Robotics · Computer Science 2024-03-29 Patrick Wolf

Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a result, pipelines of independently developed and deployed…

Cryptography and Security · Computer Science 2026-03-10 Amir Al Sadi , Sina Abdollahi , Adrien Ghosn , Hamed Haddadi , Marios Kogias

This paper proposes a secure integrated sensing and communications (ISAC) framework for multi-user systems with multiple communication users (CUs) and adversarial targets, where the design problem is formulated to maximize secrecy rate…

Connected Autonomous Vehicles have great potential to improve automobile safety and traffic flow, especially in cooperative applications where perception data is shared between vehicles. However, this cooperation must be secured from…

Robotics · Computer Science 2024-09-05 Edward Andert , Francis Mendoza , Hans Walter Behrens , Aviral Shrivastava

Molecular communication in nanonetworks is an emerging communication paradigm that uses molecules as information carriers. Achieving a secure information exchange is one of the practical challenges that need to be considered to address the…

Information Theory · Computer Science 2017-09-15 S. M. Riazul Islam , Farman Ali , Hyeonjoon Moon , Kyung-Sup Kwak

Trust is arguably the most important challenge for critical services both deployed as well as accessed remotely over the network. These systems are exposed to a wide diversity of threats, ranging from bugs to exploits, active attacks, rogue…

Satellite constellations equipped with Inter-Satellite Links and onboard packet switching enable real-time Operation and Management across globally distributed satellites, but also broaden the attack surface and introduce unprecedented…

Computational Engineering, Finance, and Science · Computer Science 2026-05-26 Linan Huang , Peilong Liu , Xi Chen , Zhiyuan Lin , Jian Yan , Linling Kuang

Infrastructure-Vehicle Cooperative Autonomous Driving (IVCAD) is a new paradigm of autonomous driving, which relies on the cooperation between intelligent roads and autonomous vehicles. This paradigm has been shown to be safer and more…

Robotics · Computer Science 2022-10-31 Tianze Wu , Shaoshan Liu , Bo Yu , Sa Wang , Yungang Bao , Weisong Shi