Home

Publication

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

About
Privacy
Disclaimer

Graph Chatbot

Related publications (41)

Page 2 of 3

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

Mathias Josef Payer

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

ASSOC COMPUTING MACHINERY2022

Seed Selection for Successful Fuzzing

Mathias Josef Payer

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

ASSOC COMPUTING MACHINERY2021

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

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

Anton Schleiss, Giovanni De Cesare, Erik Bollaert, Sabine Chamoun, Davide Wüthrich

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

2021

Learning Bayesian Networks in the Presence of Structural Side Information

Negar Kiyavash, Seyed Jalal Etesami, Ehsan Mokhtarian, Sina Akbari, Fateme Jamshidi

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

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

Size-resolved aerosol pH over Europe during summer

Athanasios Nenes

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

Copernicus GmbH2021

PEAF: Learnable Power Efficient Analog Acoustic Features for Audio Recognition

Boris Bergsma

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

ISCA-INT SPEECH COMMUNICATION ASSOC2022

Exploring policy change through agent-based simulation

Raphaël Klein

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

EPFL2021

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

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti

SPRINGER2022

Special issue on computer graphics international 2022 part 1

Daniel Thalmann

WILEY2022

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Mathias Josef Payer

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

USENIX ASSOC2020

Detailed Placement for Dedicated LUT-Level FPGA Interconnect

Paolo Ienne, Grace Zgheib, Stefan Nikolic

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

ASSOC COMPUTING MACHINERY2022

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

Marcel Salathé

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

2020

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer

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

Assoc Computing Machinery2022

FuzzGen: Automatic Fuzzer Generation

Mathias Josef Payer

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

USENIX ASSOC2020

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

Ngoc Khanh Karol Nguyen

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

SPRINGER INTERNATIONAL PUBLISHING AG2022

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer

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

IEEE COMPUTER SOC2020

fGOT: Graph Distances Based on Filters and Optimal Transport

Pascal Frossard, Mireille El Gheche, Hermina Petric Maretic

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

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

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

Didier Trono, Idris Guessous, Benjamin André René Meyer, David Nicolas De Ridder

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

2020

Microresonator Dissipative Kerr Solitons Synchronized to an Optoelectronic Oscillator

Tobias Kippenberg, Wenle Weng, Jijun He

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

American Physical Society (APS)2022