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

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Fuzzing is the de-facto default technique to discover software flaws, randomly testing programs to discover crashing test cases. Yet, a particular scenario may only care about specific code regions (for, e.g., bug reproduction, patch or regression testing) ...

Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...

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 ...

Chancy-Pougny is a run-of-river dam on the Swiss–French border constructed in the early 1920s. Since its commissioning, the operation of the four spillway gates has been responsible for a progressive erosion of the stilling basin. The future scour potentia ...

We study the problem of learning a Bayesian network (BN) of a set of variables when structural side information about the system is available. It is well known that learning the structure of a general BN is both computationally and statistically challengin ...

The dependence of aerosol acidity on particle size, location, and altitude over Europe during a summertime period is investigated using the hybrid version of aerosol dynamics in the chemical transport model PMCAMx. The pH changes more with particle size in ...

At the end of Moore's law, new computing paradigms are required to prolong the battery life of wearable and IoT smart audio devices. Theoretical analysis and physical validation have shown that analog signal processing (ASP) can be more power-efficient tha ...

Policymaking is a complex process that has been studied using policy process theories almost exclusively. These theories have been built using a large number of qualitative cases. Such methods are useful for theory building but remain limited for theory ex ...

Fuzzing is one of the most popular and effective techniques for finding software bugs. To detect triggered bugs, fuzzers leverage a variety of sanitizers in practice. Unfortunately, sanitizers target long running experiments-e.g., developer test suites-not ...

In this work, we develop timing-driven CAD support for FPGA architectures with direct connections between LUTs. We do so by proposing an efficient ILP-based detailed placer, which moves a carefully selected subset of LUTs from their original positions, so ...

Switzerland is among the countries with the highest number of coronavirus disease-2019 (COVID-19) cases per capita in the world. There are likely many people with undetected SARS-CoV-2 infection because testing efforts are currently not detecting all infec ...

Browser APIs are essential to the modern web experience. Due to their large number and complexity, they vastly expand the attack surface of browsers. To detect vulnerabilities in these APIs, fuzzers generate test cases with a large amount of random API inv ...

Fuzzing is a testing technique to discover unknown vulnerabilities in software. When applying fuzzing to libraries, the core idea of supplying random input remains unchanged, yet it is non-trivial to achieve good code coverage. Libraries cannot run as stan ...

We give a construction of an efficient one-out-of-many proof system, in which a prover shows that he knows the pre-image for one element in a set, based on the hardness of lattice problems. The construction employs the recent zero-knowledge framework of Ly ...

Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers enable ...

Graph comparison deals with identifying similarities and dissimilarities between graphs. A major obstacle is the unknown alignment of graphs, as well as the lack of accurate and inexpensive comparison metrics. In this work we introduce the filter graph dis ...

Assessing the burden of COVID-19 on the basis of medically attended case numbers is suboptimal given its reliance on testing strategy, changing case definitions, and disease presentation. Population-based serosurveys measuring anti-severe acute respiratory ...

Using phase-modulation-induced potential gradient whose period is synchronized to a microwave opto-electronic oscillator, dissipative Kerr solitons generated in a crystalline optical microresonator are trapped by the soliton tweezing effect, exhibiting a s ...

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

Chat with Graph Search

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Seed Selection for Successful Fuzzing

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

Experimental and Numerical Study on Scour-Protection Methods in a Stilling Basin: Case Study of Chancy-Pougny Dam

Learning Bayesian Networks in the Presence of Structural Side Information

Size-resolved aerosol pH over Europe during summer

PEAF: Learnable Power Efficient Analog Acoustic Features for Audio Recognition

Exploring policy change through agent-based simulation

The consensus number of a cryptocurrency (vol 35, pg 1, 2022)

Special issue on computer graphics international 2022 part 1

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Detailed Placement for Dedicated LUT-Level FPGA Interconnect

COVID-19 epidemic in Switzerland: on the importance of testing, contact tracing and isolation

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

FuzzGen: Automatic Fuzzer Generation

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

fGOT: Graph Distances Based on Filters and Optimal Transport

Seroprevalence of anti-SARS-CoV-2 IgG antibodies in Geneva, Switzerland (SEROCoV-POP): a population-based study

Microresonator Dissipative Kerr Solitons Synchronized to an Optoelectronic Oscillator