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

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

34
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
34

You might also read

Related Articles

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

Sort by
Same author

Response to the comment on"Molecular genetic analysis of two novel ABO∗A alleles causing Ax phenotype in Chinese".

Journal of the Formosan Medical Association = Taiwan yi zhi·2026
Same author

Copper-Driven Structural Reinforcement of CoFe LDH Enhances Nitrate Adsorption and Accelerates Deoxygenation-Hydrogenation Kinetics for Electrocatalytic Nitrate Reduction.

Small (Weinheim an der Bergstrasse, Germany)·2026
Same author

Unraveling the Link Between Azathioprine and Acute Pancreatitis: Integrating Network Toxicology, Machine Learning, and Mendelian Randomization.

CPT: pharmacometrics & systems pharmacology·2026
Same author

CSF proteomics identifies ADGRG1 as a predictive biomarker of intrathecal immune checkpoint inhibitor response in leptomeningeal metastasis.

Journal for immunotherapy of cancer·2026
Same author

Theory-Guided Design of Ru-NiFe Cathode Catalysts for Anion Exchange Membrane Water Electrolysis at Large Electrode Scale.

Advanced materials (Deerfield Beach, Fla.)·2026
Same author

Polarity-Matched Organic-Inorganic Interphase Directs Planar Zinc Deposition toward Highly Reversible Zn Anodes.

Nano letters·2026
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: May 17, 2025

Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness
03:14

Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness

Published on: December 6, 2024

466

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security

Liangjun Deng1, Qi Zhong2, Jingcheng Song3

  • 1School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China.

Sensors (Basel, Switzerland)
|May 14, 2025
PubMed
Summary
This summary is machine-generated.

This study introduces an automated method using large language models (LLMs) to model unknown functions for symbolic execution, significantly reducing manual effort in software security verification for the Internet of Things (IoT). The approach enhances efficiency and accuracy in detecting vulnerabilities in complex systems.

Keywords:
LLMWebAssemblysensorssymbolic executionvulnerability verification

More Related Videos

Data Acquisition Protocol for Determining Embedded Sensitivity Functions
07:46

Data Acquisition Protocol for Determining Embedded Sensitivity Functions

Published on: April 20, 2016

6.1K
The Lambda Select cII Mutation Detection System
07:08

The Lambda Select cII Mutation Detection System

Published on: April 26, 2018

7.8K

Related Experiment Videos

Last Updated: May 17, 2025

Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness
03:14

Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness

Published on: December 6, 2024

466
Data Acquisition Protocol for Determining Embedded Sensitivity Functions
07:46

Data Acquisition Protocol for Determining Embedded Sensitivity Functions

Published on: April 20, 2016

6.1K
The Lambda Select cII Mutation Detection System
07:08

The Lambda Select cII Mutation Detection System

Published on: April 26, 2018

7.8K

Area of Science:

  • Computer Science
  • Software Engineering
  • Artificial Intelligence

Background:

  • The proliferation of Internet of Things (IoT) devices introduces significant software security and reliability challenges due to complex, multi-language programs and potential attack vectors.
  • Symbolic execution is crucial for automated vulnerability detection but is hindered by unknown function interfaces, common in sensor interactions, which require extensive manual modeling.
  • Existing methods for handling unknown interfaces in symbolic execution are inefficient, demanding hundreds of hours from professional developers for manual modeling.

Purpose of the Study:

  • To propose and evaluate an automated approach for modeling unknown functions using large language models (LLMs) to enhance symbolic execution for software security.
  • To reduce the significant manual effort and time currently required for interface modeling in formal verification processes.
  • To improve the efficiency, accuracy, and scalability of vulnerability detection in IoT and related systems.

Main Methods:

  • Fine-tuning a 20-billion-parameter language model to automatically generate function models based on annotations and function names.
  • Integrating the LLM-based function modeling approach into a symbolic execution engine.
  • Comparing the performance (usability, accuracy, efficiency) of LLM-generated models against human-written models.

Main Results:

  • The LLM-based approach significantly reduces manual modeling effort from months to minutes.
  • Experimental results demonstrate comparable usability and accuracy between LLM-generated and human-written models.
  • The method was successfully applied to verify smart contracts in distributed edge computing environments, validating its practical feasibility.

Conclusions:

  • LLMs offer a scalable and automated solution for modeling unknown functions, overcoming a key limitation in symbolic execution for software verification.
  • This work represents the first integration of LLMs into formal verification, paving the way for more efficient and accessible security analysis of sensor-driven software, smart contracts, and WebAssembly systems.
  • The proposed method enhances the scope and applicability of secure IoT development by automating a previously labor-intensive process.