Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Self-Schemas02:16

Self-Schemas

31.9K
In general, a schema is a mental construct consisting of a cluster or collection of related concepts (Bartlett, 1932). There are many different types of schemata, and they all have one thing in common: schemata are a method of organizing information that allows the brain to work more efficiently. When a schema is activated, the brain makes immediate assumptions about the person or object being observed.
31.9K
Schemas01:42

Schemas

11.9K
A schema is a mental construct consisting of a cluster or collection of related concepts (Bartlett, 1932). There are many different types of schemata, and they all have one thing in common: schemata are a method of organizing information that allows the brain to work more efficiently. When a schema is activated, the brain makes immediate assumptions about the person or object being observed.
11.9K
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

674
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
674
Signal Flow Graphs01:18

Signal Flow Graphs

304
Signal-flow graphs offer a streamlined and intuitive approach to representing control systems, providing an alternative to traditional block diagrams. These graphs use branches to symbolize systems and nodes to represent signals, effectively illustrating the relationships and interactions within the system.
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
304
The Spindle Assembly Checkpoint02:19

The Spindle Assembly Checkpoint

3.2K
The spindle assembly checkpoint is a molecular surveillance mechanism ensuring the fidelity of chromosome segregation during anaphase. The checkpoint monitors the completion of all the prerequisite steps before chromosome segregation to determine whether the segregation process should proceed or be delayed.
Many proteins function together to control the spindle assembly checkpoint. Mutations affecting these proteins may allow cells to proceed into anaphase prematurely, resulting in the...
3.2K
Singularity Functions for Shear01:26

Singularity Functions for Shear

185
In structural analysis, singularity functions are crucial in simplifying the representation of shear forces in beams under discontinuous loading. These functions describe discontinuous  variations in shear force across a beam with varying loads by using a single mathematical expression, regardless of the complexity of the loading conditions. The singularity functions are derived from creating a free-body diagram of the beam and then making conceptual cuts at specific points to examine the...
185

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

An Efficient SM9 Aggregate Signature Scheme for IoV Based on FPGA.

Sensors (Basel, Switzerland)·2024
Same author

FPGA-Based Vehicle Detection and Tracking Accelerator.

Sensors (Basel, Switzerland)·2023
Same author

Invariance encoding in sliced-Wasserstein space for image classification with limited training data.

Pattern recognition·2023
Same author

Hypoxia signaling in cancer: Implications for therapeutic interventions.

MedComm·2023
Same author

Intelligent Diagnosis of Multiple Peripheral Retinal Lesions in Ultra-widefield Fundus Images Based on Deep Learning.

Ophthalmology and therapy·2023
Same author

Current indications for acute total hip arthroplasty in older patients with acetabular fracture: Evidence in 601 patients from 2002 to 2021.

Frontiers in surgery·2023
Same journal

RETRACTED: Zhang et al. A Novel Framework for Reconstruction and Imaging of Target Scattering Centers via Wide-Angle Incidence in Radar Networks. <i>Sensors</i> 2025, <i>25</i>, 6802.

Sensors (Basel, Switzerland)·2026
Same journal

Enhancing Unsupervised Multi-Source Domain Adaptation for Person Re-Identification via Mixture of Experts and Graph-Based Relation.

Sensors (Basel, Switzerland)·2026
Same journal

Development of an Instrumented Glove for Palmar Pressure Assessment in Kayakers.

Sensors (Basel, Switzerland)·2026
Same journal

Development and Experimental Validation of an Autonomous IoT-Based Monitoring System for Real-Time Water Quality Assessment in the Amazon River.

Sensors (Basel, Switzerland)·2026
Same journal

Semi-Supervised Adversarial Learning Framework for Controller Area Network Bus Intrusion Detection.

Sensors (Basel, Switzerland)·2026
Same journal

Smart Optimization Method for Safety Signs in Innovative Manufacturing Environments Integrating Industrial Field IoT Sensors and Knowledge Graphs.

Sensors (Basel, Switzerland)·2026
See all related articles

Related Experiment Video

Updated: Aug 30, 2025

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator
06:04

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator

Published on: February 14, 2025

593

CFRV: A Decentralized Control-Flow Attestation Schema Using Mutual Secret Sharing.

Yuanpei Li1, Qinglei Zhou2, Bin Li2

  • 1School of Cyber Science and Engineering, Zhengzhou University, Zhengzhou 450001, China.

Sensors (Basel, Switzerland)
|August 26, 2022
PubMed
Summary
This summary is machine-generated.

This study introduces CFRV, a decentralized control-flow attestation (CFA) schema for IoT devices. CFRV enhances security by enabling mutual attestation and mitigating man-in-the-middle attacks, reducing cryptographic costs.

Keywords:
challenge–responsecontrol-flow attestationinternet of thingssoftware integrity

More Related Videos

The use of SC1 Pluripotin to Support mESC Self-renewal in the Absence of LIF
05:58

The use of SC1 Pluripotin to Support mESC Self-renewal in the Absence of LIF

Published on: November 18, 2009

10.6K
A Customizable Protocol for String Assembly gRNA Cloning STAgR
10:00

A Customizable Protocol for String Assembly gRNA Cloning STAgR

Published on: December 26, 2018

9.8K

Related Experiment Videos

Last Updated: Aug 30, 2025

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator
06:04

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator

Published on: February 14, 2025

593
The use of SC1 Pluripotin to Support mESC Self-renewal in the Absence of LIF
05:58

The use of SC1 Pluripotin to Support mESC Self-renewal in the Absence of LIF

Published on: November 18, 2009

10.6K
A Customizable Protocol for String Assembly gRNA Cloning STAgR
10:00

A Customizable Protocol for String Assembly gRNA Cloning STAgR

Published on: December 26, 2018

9.8K

Area of Science:

  • Computer Science
  • Cybersecurity
  • Distributed Systems

Background:

  • Control-flow attestation (CFA) is crucial for verifying software execution on remote devices, especially in the Internet of Things (IoT).
  • Existing CFA mechanisms often rely on centralized trust, posing scalability and single-point failure issues for peer-to-peer IoT communication.

Purpose of the Study:

  • To propose and evaluate CFRV, a decentralized schema for control-flow attestation in IoT environments.
  • To enhance the security and efficiency of remote device attestation through mutual verification and reduced reliance on Public Key Infrastructure (PKI).

Main Methods:

  • Developed a decentralized control-flow attestation schema (CFRV) incorporating asymmetric secret slices for mutual attestation.
  • Implemented a prototype toolbox on Raspberry Pi for proof-of-concept validation.
  • Evaluated CFRV's performance against malicious verifiers, man-in-the-middle attacks, and compared its cryptographic operation duration with existing decentralized schemes.

Main Results:

  • CFRV effectively protects the attestation process from malicious verifiers and man-in-the-middle attacks, specifically 'response defraud'.
  • The mechanism reduces Public Key Infrastructure (PKI) usage to a single stage, saving computational resources on peer devices.
  • Cryptographic operation duration was reduced by 40% compared to related decentralized schemes.

Conclusions:

  • CFRV offers a scalable and secure decentralized solution for control-flow attestation in IoT networks.
  • The proposed schema enhances device security through mutual attestation while optimizing computational costs and mitigating common attacks.