Results 21 to 30 of about 192 (172)

A Systematic Survey of Smart Contract Fuzzing: Methods, Techniques, and Architectures for Ethereum and Beyond

Applied Sciences
Blockchain architectures increasingly rely on smart contracts as programmable execution components, yet the security challenges they introduce remain only partially addressed.
Luis Alberto López Alvar, Luis de la Torre, Zehua Wang, Sebastián Dormido Canto   +3 more
doaj   +1 more source

Large Language Model Assisted Hybrid Fuzzing

IEEE Transactions on Software Engineering
20 pages, 8 ...
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury   +2 more
openaire   +2 more sources

MINER: A Hybrid Data-Driven Approach for REST API Fuzzing

CoRR, 2023
In recent years, REST API fuzzing has emerged to explore errors on a cloud service. Its performance highly depends on the sequence construction and request generation. However, existing REST API fuzzers have trouble generating long sequences with well-constructed requests to trigger hard-to-reach states in a cloud service, which limits their ...
Chenyang Lyu, Jiacheng Xu, Shouling Ji, Xuhong Zhang 0002, Qinying Wang, Binbin Zhao, Gaoning Pan, Wei Cao, Raheem Beyah   +8 more
openaire   +2 more sources

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

Advanced Robotics Research, EarlyView.
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source

Efficient and Robust Standing Postures of Quadruped Robots

Advanced Robotics Research, EarlyView.
A calibrated static framework estimates load, optimizes torques, and adapts posture so quadruped robots stand efficiently and robustly under external payloads, achieving up to 50% lower torque demand. Inspired by the natural posture adjustments of animals under external loading, this article presents an optimization‐based framework for minimizing joint
Mohamad Kanaan, Hamza Jomaa, Jack Challita, Kawthar Zaidan, Riad Saab, Hussein Hussein   +5 more
wiley   +1 more source

SCH-Hunter: A Taint-Based Hybrid Fuzzing Framework for Smart Contract Honeypots

Information
Existing smart contract honeypot detection approaches exhibit high false negatives and positives due to (i) their inability to generate transaction sequences triggering order-dependent traps and (ii) their limited code coverage from traditional fuzzing’s
Haoyu Zhang, Baotong Wang, Wenhao Fu, Leyi Shi   +3 more
doaj   +1 more source

Continuum Robots in Surgery: From Engineering Design to Clinical Practice

Advanced Robotics Research, EarlyView.
The hyper‐redundant nature of continuum robot structures enables near‐infinite degrees of freedom leading to immense potential for medical applications. This review provides a historical background of continuum robots and novel ideas shaping their progress to current structural design, sensing technology, modeling techniques, and control methods.
Griffin Smith, Kaitlyn Clancy, Siwen Xie, Xiaochen Li, Sarah Khalife, Benjamin van der Woerd, Onaizah Onaizah   +6 more
wiley   +1 more source

Robotics in Ionizing Radiation Environments: Vulnerabilities, Hardening, and Future Directions

Advanced Robotics Research, EarlyView.
Radiation exposure causes cumulative degradation in robotic sensors, actuators, and electronic logic, often leading to undetected failures. This study maps component vulnerabilities, evaluates hardening and shielding strategies, and identifies testing gaps that must be addressed to enable next‐generation radiation‐tolerant robotic systems.
Francis A. K. Djirackor, Josephine T. Djirackor, Amanuel Abrdo Tereda, Sun Yi, Younho Seong   +4 more
wiley   +1 more source

Reversing Macrophage Immunometabolic Dysfunction in Prolonged Infections Via a Glutaminolysis‐Fueled Restoration‐Based Hierarchically Selective Therapeutic System

Advanced Science, EarlyView.
A hierarchically selective immunotherapeutic nanoplatform, mGls@HEV‐MTP, selectively restores macrophage immunocompetence through GLS1‐mediated restoration of glutaminolysis‐fueled anaplerosis. Concurrently, it renders Staphylococcus aureus (S. aureus) more readily recognizable to the metabolically reprogrammed macrophages, thereby facilitating ...
Weinan Yang, Zihao An, Honglu Cai, Congsun Li, Jiaxuan Zou, Wushi Cui, Wentao Chen, Tao Zhang, Shicheng Wang, Zizhan Su, Jian Xiao, Tao Sun, Bin Hu, Min Cheng, Zhongru Gou, Jianbin Xu, An Liu, Haobo Wu   +17 more
wiley   +1 more source

Probing the Energy Landscape of α‐Synuclein Amyloid Fibril Formation by Systematic K‐to‐Q Mutagenesis

Advanced Science, EarlyView.
We use lysine‐to‐glutamine mutations to study the effect of electrostatics on the kinetics and thermodynamics of alpha‐synuclein amyloid fibril formation. We find that mutational effects map on their structural context within fibrils and identify residues that modulate the energy landscape of alpha‐synuclein self‐assembly. Our work outlines a scalable,
Antonin Kunka, Azad Farzadfard, Jacob Aunstrup Larsen, Rasmus Krogh Norrild, Federica Saraceno, Celia Fricke, Hossein Mohammad‐Beigi, Ahmed Sadek, Jonas Folke, Susana Aznar, Alexander K. Buell   +10 more
wiley   +1 more source