Publications related to Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Tension-tension fatigue behavior of basalt composite hybrid joints

The tension–tension fatigue behavior of pseudo-ductile hybrid bonded-bolted double lap basalt composite joints, composed of pseudo-ductile adhesives and adherends with multi-directional fiber architecture, was experimentally investigated. The fatigue damag ...

2024

To Infinity, and Beyond (Coverage)

Ahmad Hazimeh

The pursuit of software security and reliability hinges on the identification and elimination of software vulnerabilities, a challenge compounded by the vast and evolving complexity of modern systems. Fuzzing has emerged as an indispensable technique for b ...

EPFL2024

Enhancing higher education through hybrid and flipped learning: Experiences from the GRE@T-PIONEeR project

Mathieu Hursin, Yi Zhang

GRE@T-PIONEeR is a Horizon 2020 project coordinated by Chalmers University of Technology, running over the period 2020-2024. 18 university teachers from 8 different universities located in 6 different countries gathered forces to develop and offer advanced ...

Elsevier Science Sa2024

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, Flavio Toffalini, Han Zheng, Yuqing Zhang, Jiayuan Zhang

Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...

Usenix Assoc2023

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Mathias Josef Payer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage capt ...

2023

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer, Sirus Shahini

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

A hybrid microscopic model for multimodal traffic with empirical observations from aerial footage

Nikolaos Geroliminis, Georgios Anagnostopoulos

Microscopic traffic flow models can be distinguished in lane-based or lane-free depending on the degree of lane-discipline. This distinction holds true only if motorcycles are neglected in lane-based traffic. In cities, as opposed to highways, this is an o ...

2023

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...

2023

Multiobjective Vector Modulation for Improved Control of NPC-Based Multi-Source Inverters in Hybrid Traction Systems

Andrea Cervone

The concept of a multi-source inverter (MSI) based on NPC topology was recently introduced for hybrid-electric powertrains to connect several dc sources to the traction load in a single conversion stage without magnetics. This work proposes a new modulatio ...

2022