Abstract:Through the network's infrastructure, the IoT can impart perception, recognition, and remote control to inanimate objects. Due to IoT's characteristics, it's possible to integrate the real world into a digital system, which improves precision, productivity, and bottom line. While traditional internet infrastructure comprises of highly capable computers and servers, IoT gadgets have limited processing power and storage space. The authentication and key agreement system SecureAuthKey is very lightweight. The suggested technique is meant to solve the security and privacy problems that plague modern constraint-based CPS programmes. A lightweight approach for authenticating cyber-physical objects is one of the expected outcomes. Adaptation and autonomy in cyber-physical systems need not be compromised by a lack of trust or security in users' data or the devices themselves, according to a new type of security algorithm. To provide flexibility and scalability, a new middleware module has been developed on the Raspberry platform to facilitate communication between CPS-based devices and services. Secure Internet of Things (IoT) evaluation methodology that may be used in a variety of contexts and is user-focused. With the suggested system, the two CPS units will be able to authenticate one another. When a network grows larger, the possibility of an attack rises. Therefore, the IoT network is much more susceptible to attacks than conventional networks. As the number of connected devices grows, so do the number of potential threats to their security. To protect the IoT ecosystem from current threats, cutting-edge technology is essential. The proposed approach must be very efficient and have low computational overheads. It creates random session keys to protect wireless transmissions. The system is protected from a variety of cyber threats. The current constraint-based CPS system requires a new lightweight security solution.

RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in C/OS-II: A Case Study

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study.

Hardware-Assisted Control-Flow Integrity Enhancement for IoT Devices

Armlock: Hardware-Based Fault Isolation For Arm

Analysis of crypto module in RIOT OS using Frama-C

Reasoning about inter-procedural security requirements in IoT applications

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust

CFI CaRE: Hardware-supported Call and Return Enforcement for Commercial Microcontrollers

Overview of Embedded Rust Operating Systems and Frameworks

SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems

InsectACIDE: Debugger-Based Holistic Asynchronous CFI for Embedded System

Thetis: A Booster for Building Safer Systems Using the Rust Programming Language

Bringing Rust to Safety-Critical Systems in Space

CUP: Comprehensive User-Space Protection for C/C++

SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine

Towards a Transpiler for C/C++ to Safer Rust

Secure Rewind and Discard on ARM Morello

Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers

Efficient Cyber Security Framework for IoT Using Machine Learning Algorithms

Powering the Internet of Things with RIOT: Why? How? What is RIOT?