Publication

FuzzGen: Automatic Fuzzer Generation

Related publications (29)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

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

GLeeFuzz: FuzzingWebGL Through Error Message Guided Mutation

Hui Peng, Mathias Josef Payer

WebGL is a set of standardized JavaScript APIs for GPU accelerated graphics. Security of the WebGL interface is paramount because it exposes remote and unsandboxed access to the underlying graphics stack (including the native GL libraries and GPU drivers) ...

Usenix Assoc2023

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

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

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

TEEzz: Fuzzing Trusted Applications on COTS Android Devices

Mathias Josef Payer, Marcel Busch

Security and privacy-sensitive smartphone applications use trusted execution environments (TEEs) to protect sensitive operations from malicious code. By design, TEEs have privileged access to the entire system but expose little to no insight into their inn ...

IEEE COMPUTER SOC2023

Towards Novel Evaluation Methods for Social Dialog Systems

Ekaterina Svikhnushina

Language has shaped human evolution and led to the desire to endow machines with language abilities. Recent advancements in natural language processing enable us to achieve this breakthrough in human-machine interaction. However, introducing conversational ...

EPFL2023

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer, Chijin Zhou, Yu Jiang

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

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

Interactive Digital Engagement With Visual Artworks and Cultural Artefacts Enhances User Aesthetic Experiences in the Laboratory and Museum

Martin Vetterli, Loïc Arnaud Baboulaz, Christine Mohr, Pierre Gabioud

Digital technologies reshape the way we interact with our environment, including with artworks. Advanced computational imaging solutions allow having extremely high-resolution digital reproductions of artworks outside museums, presumably increasing artwork ...

TAYLOR & FRANCIS INC2022

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

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

David Atienza Alonso, Lara Orlandic, Tomas Teijeiro Campo

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Zenodo2021

Virtual reality enabled building-data management through the combination of a fully integrated IFC-BIM model and an IoT-based building management system

Laurent Deschamps, Jean-Philippe Bacher, Sebastian Duque Mahecha, Sergi Aguacil Moreno, Alexandre Denis Stoll

Professionals involved in building construction and monitoring increasingly implement new practices made available by Building Information Modelling (BIM), Virtual Reality (VR) and the Internet of Things (IoT). In spite of numerous efforts, most methods in ...

2021

Wannier90 as a community code: new features and applications

Nicola Marzari, Giovanni Pizzi, Marco Gibertini, Lorenzo Paulatto, Hyungjun Lee, Daniel John Gilles Marchand, Antimo Marrazzo, Samuel Poncé, Junfeng Qiao

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

2020

Testing of asymptomatic individuals for fast feedback-control of COVID-19 pandemic

Gabriel Aeppli

We argue that frequent sampling of the fraction ofa priorinon-symptomatic but infectious humans (either by random or cohort testing) significantly improves the management of the COVID-19 pandemic, when compared to intervention strategies relying on data fr ...

2020

Being Part of the Swarm: Experiencing Human-Swarm Interaction with VR and Tangible Robots

Pierre Dillenbourg, Arzu Güneysu Özgür, Kevin Gonyop Kim, Hala Khodr, Barbara Bruno

A swarm is the coherent behavior that emerges ubiquitously fromsimple interaction rules between self-organized agents. Understand-ing swarms is of utmost importance in many disciplines and jobs,but hard to teach due to the elusive nature of the phenomenon, ...

2020

Wearable and Self-Aware Machine Learning System for Online Cognitive Workload Monitoring and Drone Control

Fabio Isidoro Tiberio Dell'Agnola

The use of robots in search and rescue is gaining particular interest, but singular skills are required to ensure efficient deployments in real missions. To face this problem, there is a need to develop more intuitive control interfaces. Moreover, to ensur ...

EPFL2020

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

An open platform for Aerosol InfraRed Spectroscopy analysis - AIRSpec

Satoshi Takahama, Rudolf Höhn, Matteo Reggente

AIRSpec is a platform consisting of several chemometric packages developed for analysis of Fourier transform infrared (FTIR) spectra of atmospheric aerosols. The packages are accessible through a browser-based interface, which also generates the necessary ...

2019

FirmFuzz: Automated IoT Firmware Introspection and Analysis

Hui Peng, Mathias Josef Payer

While the number of IoT devices grows at an exhilarating pace their security remains stagnant. Imposing secure coding standards across all vendors is infeasible. Testing individual devices allows an analyst to evaluate their security post deployment. Any d ...

ASSOC COMPUTING MACHINERY2019

Food Talks: visual and interaction principles for representing environmental and nutritional food information in augmented reality

Nicolas Henchoz, Delphine Ribes Lemay, Andreas Sonderegger, Emily Clare Groves

This user-centered design research project aimed to investigate visual and interaction principles for augmented reality (AR) in the context of environmental and nutritional food labelling. Nutritional information on existing food labels is often misunderst ...

2019

Linear Impact Generator for Automated Dataset Acquisition of Elastic Waves in Haptic Surfaces

Paolo Germano, Yves Perriard, Adrien Jean-Michel Thabuis, Camilo Hernandez Mejia

Tactile surfaces are commonly found on a big number of devices nowadays. Generally, this kind of interfaces lacks haptic feedback, which lowers the efficiency and perceived quality of human interaction. Time reversal of elastic waves has been studied and i ...

IEEE2019