Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Evaluating fuzz testing
Fuzz testing has enjoyed great success at discovering security critical bugs in real software.
Recently, researchers have devoted significant effort to devising new fuzzing techniques …
Recently, researchers have devoted significant effort to devising new fuzzing techniques …
Hawkeye: Towards a desired directed grey-box fuzzer
Grey-box fuzzing is a practically effective approach to test real-world programs. However,
most existing grey-box fuzzers lack directedness, ie the capability of executing towards user …
most existing grey-box fuzzers lack directedness, ie the capability of executing towards user …
Fuzzing: State of the art
As one of the most popular software testing techniques, fuzzing can find a variety of
weaknesses in a program, such as software bugs and vulnerabilities, by generating …
weaknesses in a program, such as software bugs and vulnerabilities, by generating …
{UNIFUZZ}: A holistic and pragmatic {Metrics-Driven} platform for evaluating fuzzers
A flurry of fuzzing tools (fuzzers) have been proposed in the literature, aiming at detecting
software vulnerabilities effectively and efficiently. To date, it is however still challenging to …
software vulnerabilities effectively and efficiently. To date, it is however still challenging to …
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
Existing coverage-based fuzzers usually use the individual control flow graph (CFG) edge
coverage to guide the fuzzing process, which has shown great potential in finding …
coverage to guide the fuzzing process, which has shown great potential in finding …
{DAFL}: Directed Grey-box Fuzzing guided by Data Dependency
Despite growing research interest, existing directed grey-box fuzzers do not scale well with
program complexity. In this paper, we identify two major scalability challenges for current …
program complexity. In this paper, we identify two major scalability challenges for current …
Ethploit: From fuzzing to efficient exploit generation against smart contracts
Smart contracts, programs running on blockchain systems, leverage diverse decentralized
applications (DApps). Unfortunately, well-known smart contract platforms, Ethereum for …
applications (DApps). Unfortunately, well-known smart contract platforms, Ethereum for …
Coverage guided, property based testing
Property-based random testing, exemplified by frameworks such as Haskell's QuickCheck,
works by testing an executable predicate (a property) on a stream of randomly generated …
works by testing an executable predicate (a property) on a stream of randomly generated …
Taking control of sdn-based cloud systems via the data plane
Virtual switches are a crucial component of SDN-based cloud systems, enabling the
interconnection of virtual machines in a flexible and" software-defined" manner. This paper …
interconnection of virtual machines in a flexible and" software-defined" manner. This paper …
Learning input tokens for effective fuzzing
Modern fuzzing tools like AFL operate at a lexical level: They explore the input space of
tested programs one byte after another. For inputs with complex syntactical properties, this is …
tested programs one byte after another. For inputs with complex syntactical properties, this is …