English
Related papers

Related papers: SoK: Security of Programmable Logic Controllers

200 papers

Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of establishing correctness guarantees, which can be quite…

Programming Languages · Computer Science 2019-02-15 Luis Garcia , Stefan Mitsch , Andre Platzer

Users are demanding increased data security. As a result, security is rapidly becoming a first-order design constraint in next generation computing systems. Researchers and practitioners are exploring various security technologies to meet…

Cryptography and Security · Computer Science 2021-05-04 Deeksha Dangwal , Meghan Cowan , Armin Alaghi , Vincent T. Lee , Brandon Reagen , Caroline Trippel

The tight coupling between communication and control in cyber-physical systems is necessary to enable the complex regulation required to operate these systems. Unfortunately, cyberattackers can exploit network vulnerabilities to compromise…

Systems and Control · Electrical Eng. & Systems 2025-07-25 Amr S. Mohamed , Mohsen Khalaf , Deepa Kundur

Applying large language models (LLMs) to modern power systems presents a promising avenue for enhancing decision-making and operational efficiency. However, this action may also incur potential security threats, which have not been fully…

Artificial Intelligence · Computer Science 2024-01-25 Jiaqi Ruan , Gaoqi Liang , Huan Zhao , Guolong Liu , Xianzhuo Sun , Jing Qiu , Zhao Xu , Fushuan Wen , Zhao Yang Dong

The increasing cost of integrated circuit (IC) fabrication has driven most companies to "go fabless" over time. The corresponding outsourcing trend gave rise to various attack vectors, e.g., illegal overproduction of ICs, piracy of the…

Cryptography and Security · Computer Science 2019-02-26 Johann Knechtel , Satwik Patnaik , Ozgur Sinanoglu

Due to the dramatic increase in high data rate services and in order to meet the demands of the fifth-generation (5G) networks, researchers from both academia and industry are exploring advanced transmission techniques, new network…

Signal Processing · Electrical Eng. & Systems 2019-05-29 Mohamed Amine Arfaoui , Mohammad Dehghani Soltani , Iman Tavakkolnia , Ali Ghrayeb , Chadi Assi , Majid Safari , Harald Haas

With the rapidly growing interest in quantum computing also grows the importance of securing these quantum computers from various physical attacks. Constantly increasing qubit counts and improvements to the fidelity of the quantum computers…

Cryptography and Security · Computer Science 2023-05-10 Chuanqi Xu , Ferhat Erata , Jakub Szefer

Unnoticed by most people, Industrial Control Systems (ICSs) control entire productions and critical infrastructures such as water distribution, smart grid and automotive manufacturing. Due to the ongoing digitalization, these systems are…

Cryptography and Security · Computer Science 2019-10-02 Felix Sauer , Matthias Niedermaier , Susanne Kießling , Dominik Merli

An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that…

Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. Currently, proof methods for low-level MPC protocols are primarily manual and thus tedious and error-prone, and…

Cryptography and Security · Computer Science 2024-07-24 Christian Skalka , Joseph P. Near

Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and…

Systems and Control · Electrical Eng. & Systems 2024-02-19 Zirui Liao , Jian Shi , Yuwei Zhang , Shaoping Wang , Zhiyong Sun

Logic locking is a promising technique for protecting integrated circuit designs while outsourcing their fabrication. Recently, graph neural network (GNN)-based link prediction attacks have been developed which can successfully break all…

Cryptography and Security · Computer Science 2023-05-11 Subhajit Dutta Chowdhury , Kaixin Yang , Pierluigi Nuzzo

The globalization of the semiconductor industry has introduced security challenges to Integrated Circuits (ICs), particularly those related to the threat of Hardware Trojans (HTs) - malicious logic that can be introduced during IC…

Cryptography and Security · Computer Science 2024-08-29 Mohammad Eslami , Tara Ghasempouri , Samuel Pagliarini

Intellectual Property (IP) piracy, overbuilding, reverse engineering, and hardware Trojan are serious security concerns during integrated circuit (IC) development. Logic locking has proven to be a solid defence for mitigating these threats.…

Cryptography and Security · Computer Science 2024-06-28 Vijaypal Singh Rathor , Munesh Singh , Kshira Sagar Sahoo , Saraju P. Mohanty

Data privacy is critical in instilling trust and empowering the societal pacts of modern technology-driven democracies. Unfortunately, it is under continuous attack by overreaching or outright oppressive governments, including some of the…

Cryptography and Security · Computer Science 2021-11-29 Chen Chen , Xiao Liang , Bogdan Carbunar , Radu Sion

Research in monitoring and control of microgrids has been ongoing for the last two decades to protect and enhance communities' socio-economic performance. However, of increasing concern are the possible cyber-physical threats that could…

Optimization and Control · Mathematics 2019-12-19 Tuyen Vu , Bang Nguyen , Zheyuan Cheng , Mo-Yuen Chow , Bin Zhang

Pre-trained language models (PTLMs) have achieved great success and remarkable performance over a wide range of natural language processing (NLP) tasks. However, there are also growing concerns regarding the potential security issues in the…

Cryptography and Security · Computer Science 2022-02-15 Shangwei Guo , Chunlong Xie , Jiwei Li , Lingjuan Lyu , Tianwei Zhang

Increasingly Industrial Control Systems (ICS) systems are being connected to the Internet to minimise the operational costs and provide additional flexibility. These control systems such as the ones used in power grids, manufacturing and…

Cryptography and Security · Computer Science 2020-06-30 Uday Tupakula , Vijay Varadharajan , Kallol Krishna Karmakar

In an Industrial Control System (ICS), its complex network of sensors, actuators and controllers have raised security concerns for critical infrastructures and industrial production units. This opinion paper strives to initiate discussion…

Cryptography and Security · Computer Science 2020-05-04 Chuadhry Mujeeb Ahmed , Jay Prakash , Jianying Zhou

Security is one of the biggest concern in power system operation. Recently, the emerging cyber security threats to operational functions of power systems arouse high public attention, and cybersecurity vulnerability thus become an emerging…

Systems and Control · Electrical Eng. & Systems 2020-03-13 Chunyu Chen , Yang Chen , Kaifeng Zhang , Wenjun Bi , Meng Tian
‹ Prev 1 8 9 10 Next ›