Results 21 to 30 of about 643,806 (219)
MUP: Simplifying Secure Over-The-Air Update with MQTT for Constrained IoT Devices
Message Queuing Telemetry Transport (MQTT) is one of the dominating protocols for edge- and cloud-based Internet of Things (IoT) solutions. When a security vulnerability of an IoT device is known, it has to be fixed as soon as possible.
Kristina Sahlmann +3 more
doaj +1 more source
Blockchain-Based Secure Firmware Update Using an UAV
This paper proposes a blockchain-based firmware update method using unmanned aerial vehicles (UAVs) to solve one of the security issues arising in the Internet of Things (IoT) environment, which is the firmware security problem.
Soo Young Shin +3 more
core +1 more source
Efficient implementation of low cost and secure framework with firmware updates
Recently, the Internet of things (IoT) has become extensively used in our daily lives. This technology offers a new vision of the future internet where devices are interconnected and can communicate together. A big number of these devices complicates the
Ines Ben Hlima +2 more
doaj +1 more source
Firmware Integrity Protection: A Survey
Over the last years, firmware integrity protection has significantly been addressed in various contexts such as internet of things, vehicles, wireless sensor networks and other systems.
Antoine Marchand +4 more
doaj +1 more source
This paper aims to show that it is possible to improve security for over the air update functionalities in an automotive scenario through the use of a cryptographic scheme, called “Attribute-Based-Encryption” (ABE), which grants confidentiality to the ...
Michele La Manna +4 more
doaj +1 more source
Fast firmware update using host-to-module broadcast [PDF]
Firmware update is an important task for computer systems. Targets of firmware update includes memory (dynamic or non-volatile), FPGAs, ASICs, etc. It is often the case that there are several modules, e.g., NVDIMM modules, on a motherboard that are to be
, N/A
core +1 more source
Firmware vulnerability analysis based on formal verification of software and hardware
In order to analyze the potential vulnerabilities in the firmware systematically and effectively,a formal verification method based on TLA,in a collaborated form of software and hardware was proposed.With this method,the interaction mechanism of software
Peng-hui ZHANG,Xi TIAN,Kang-wei LOU
doaj +3 more sources
PX4/Firmware: v1.7.0 Stable Release
Release Notes <ul> <li>First-generation experimental support for ROS2-like setups with FastRTPS</li> <li>Reduced CPU load and RAM usage</li> <li>Support for new sensors (LIDAR, airspeed, IMU, etc)</li> <li> ...
Mark Whitehorn +37 more
core +1 more source
The integration of electric vehicles into modern mobility ecosystems relies heavily on reliable charging station infrastructures that support real-time communications and data-driven functionalities. Existing solutions often face security vulnerabilities
Amjad Aldweesh
doaj +1 more source
Single‐filament material extrusion enables spatial stiffness programming through locally controlled thermal foaming of TPU. A data‐driven G‐code framework tunes porosity from 15.7% to 40.7% and hardness from 90 to 63 Shore A within and across layers. Monolithic hands and soft actuators consequently achieve distinct programmed motions without material ...
Rosanna Rifino +3 more
wiley +1 more source

