Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis | 0 | 0.34 | 2022 |
Vulnerability Detection of ICS Protocols via Cross-State Fuzzing | 0 | 0.34 | 2022 |
Code Synthesis for Dataflow-Based Embedded Software Design | 1 | 0.37 | 2022 |
Tardis: Coverage-Guided Embedded Operating System Fuzzing | 0 | 0.34 | 2022 |
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis | 0 | 0.34 | 2022 |
MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing | 0 | 0.34 | 2022 |
DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations | 0 | 0.34 | 2022 |
MDD: A Unified Model-Driven Design Framework for Embedded Control Software | 0 | 0.34 | 2022 |
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing | 3 | 0.40 | 2021 |
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing | 0 | 0.34 | 2021 |
PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles | 0 | 0.34 | 2021 |
Making smart contract development more secure and easier | 3 | 0.41 | 2021 |
Formal Design of Multi-Function Vehicle Bus Controller | 0 | 0.34 | 2021 |
Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT | 0 | 0.34 | 2021 |
Security reinforcement for Ethereum virtual machine | 0 | 0.34 | 2021 |
AdvDoor: adversarial backdoor attack of deep learning system | 1 | 0.35 | 2021 |
TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning | 0 | 0.34 | 2021 |
Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices | 4 | 0.41 | 2021 |
DeepFuzzer: Accelerated Deep Greybox Fuzzing | 1 | 0.37 | 2021 |
SCStudio: a secure and efficient integrated development environment for smart contracts | 1 | 0.37 | 2021 |
Poster: Fuzz Testing of Quantum Program | 2 | 0.40 | 2021 |
Empirical evaluation of smart contract testing: what is the best choice? | 0 | 0.34 | 2021 |
Rtkaller: State-Aware Task Generation For Rtos Fuzzing | 1 | 0.36 | 2021 |
Riff: Reduced Instruction Footprint For Coverage-Guided Fuzzing | 0 | 0.34 | 2021 |
Coverage Guided Differential Adversarial Testing of Deep Learning Systems | 1 | 0.35 | 2021 |
Escape from escape analysis of Golang | 0 | 0.34 | 2020 |
Fixed-priority scheduling and controller co-design for time-sensitive networks | 3 | 0.42 | 2020 |
LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units | 0 | 0.34 | 2020 |
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking | 1 | 0.36 | 2020 |
Ics Protocol Fuzzing: Coverage Guided Packet Crack And Generation | 0 | 0.34 | 2020 |
Zeror: speed up fuzzing with coverage-sensitive tracing and scheduling | 1 | 0.37 | 2020 |
Tevot: Timing Error Modeling Of Functional Units Under Dynamic Voltage And Temperature Variations | 0 | 0.34 | 2020 |
Vetting API usages in C programs with IMChecker | 0 | 0.34 | 2019 |
Enabling clone detection for ethereum via smart contract birthmarks | 4 | 0.42 | 2019 |
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design | 2 | 0.37 | 2019 |
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang | 0 | 0.34 | 2019 |
Industry practice of coverage-guided enterprise Linux kernel fuzzing. | 3 | 0.41 | 2019 |
Enfuzz: Ensemble Fuzzing With Seed Synchronization Among Diverse Fuzzers | 0 | 0.34 | 2019 |
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs | 0 | 0.34 | 2019 |
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors | 0 | 0.34 | 2019 |
Go-clone: graph-embedding based clone detector for Golang | 0 | 0.34 | 2019 |
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. | 3 | 0.39 | 2019 |
EVMFuzzer - detect EVM vulnerabilities via fuzz testing. | 3 | 0.40 | 2019 |
EVM<sup>*</sup>: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine | 4 | 0.42 | 2019 |
LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics. | 3 | 0.38 | 2019 |
VisFuzz: understanding and intervening fuzzing with interactive visualization | 0 | 0.34 | 2019 |
Engineering a Better Fuzzer with Synergically Integrated Optimizations | 1 | 0.35 | 2019 |
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. | 1 | 0.34 | 2019 |
EnFuzz: From Ensemble Learning to Ensemble Fuzzing. | 0 | 0.34 | 2018 |
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. | 0 | 0.34 | 2018 |