Results 21 to 30 of about 22,224 (372)
Toward Fast and Scalable Firmware Fuzzing With Dual-Level Peripheral Modeling
IEEE Access, 2021 Firmware vulnerabilities raise serious security concerns with the rapid growth in connected embedded devices. Fuzzing is an effective dynamic testing technique to find those vulnerabilities; however, firmware fuzzing is very limited by hardware ...
Eunbi Hwang +4 more
doaj +1 more source
ct-fuzz: Fuzzing for Timing Leaks [PDF]
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020 Testing-based methodologies like fuzzing are able to analyze complex software which is not amenable to traditional formal approaches like verification, model checking, and abstract interpretation. Despite enormous success at exposing countless security vulnerabilities in many popular software projects, applications of testing-based approaches have ...
He, Shaobo +2 more
openaire +2 more sources
Proceedings of the 44th International Conference on Software Engineering, 2022 Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from code exist to fill this gap, but they are designed to support specific kinds of assertions and are ...
Molina, Facundo +2 more
openaire +2 more sources
Fuzz on the Beach: Fuzzing Solana Smart Contracts
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023 Solana has quickly emerged as a popular platform for building decentralized applications (DApps), such as marketplaces for non-fungible tokens (NFTs). A key reason for its success are Solana's low transaction fees and high performance, which is achieved in part due to its stateless programming model.
Sven Smolka +6 more
openaire +3 more sources
Fuzzing Test Case Generation Method Based on Depth-first Search [PDF]
Jisuanji kexue, 2021 Fuzzing test is an important method to exploit network protocol vulnerability.Existing fuzzing test methods have some problems such as incomplete path coverage and low efficiency.To solve these problems,this paper proposes a depth-first search based ...
LI Yi-hao, HONG Zheng, LIN Pei-hong
doaj +1 more source
SoK: Prudent Evaluation Practices for Fuzzing [PDF]
IEEE Symposium on Security and PrivacyFuzzing has proven to be a highly effective approach to uncover software bugs over the past decade. After AFL popularized the groundbreaking concept of lightweight coverage feedback, the field of fuzzing has seen a vast amount of scientific work ...
Moritz Schloegel +9 more
semanticscholar +1 more source
Black-box Fuzzing Method Based on Reverse-engineering for Proprietary Industrial Control Protocol [PDF]
Jisuanji kexue, 2023 The wide application of industrial control proprietary protocols has brought great challenges to the safe operation of industrial control systems.Due to the closed-source nature of industrial control proprietary protocol specifications,it is difficult ...
YANG Yahui, MA Rongkuan, GENG Yangyang, WEI Qiang, JIA Yan
doaj +1 more source
Survey of Ethereum Smart Contract Fuzzing Technology Research [PDF]
Jisuanji kexue, 2022 Smart contracts running on the blockchain platform completethe establishment and automatic execution of a greements between different participants,and also manage a large number of digital assets.The frequent exposure of smart contract loopholes has ...
HUANG Song, DU Jin-hu, WANG Xing-ya, SUN Jin-lei
doaj +1 more source
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models [PDF]
Proc. ACM Program. Lang., 2023 Compiler correctness is crucial, as miscompilation can falsify program behaviors, leading to serious consequences over the software supply chain. In the literature, fuzzing has been extensively studied to uncover compiler defects.
Chenyuan Yang +6 more
semanticscholar +1 more source
Towards the glueball spectrum of full QCD [PDF]
, 1996 We present first results on masses of the scalar and tensor glueballs as well as of the torelon from simulations of QCD with two light flavours of Wilson fermions.
A. Spitz +14 more
core +2 more sources