FuzzGen: Automatic Fuzzer Generation

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.

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

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

Despite their irresistible success, deep learning algorithms still heavily rely on annotated data, and unsupervised settings pose many challenges, such as finding the right inductive bias in diverse scenarios. In this paper, we propose an object-centric mo ...

Tasks routinely executed by humans involve sequences of actions performed with high dexterity and coordination. Fully specifying these actions such that a robot could replicate the task is often difficult. Furthermore the uncertainties introduced by the us ...

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

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

We present a structure preserving discretization of the fundamental spacetime geometric structures of fluid mechanics in the Lagrangian description in 2D and 3D. Based on this, multisymplectic variational integrators are developed for barotropic and incomp ...

In this work, we present an adaptive motion planning approach for impedance-controlled robots to modify their tasks based on human physical interactions. We use a class of parameterized time-independent dynamical systems for motion generation where the mod ...

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

Sharing photos online has become an extremely popular activity, raising a wide concern on privacy issues related to the shared content. ProShare, a photo-sharing solution developed by Multimedia Signal Processing Group of EPFL addresses some of these priva ...

Drones are rapidly becoming an affordable and often faster solution for parcel delivery than terrestrial vehicles. Existing transportation drones and software infrastructures are mostly designed by logistics companies for trained users and dedicated infras ...

Recent advances in remote sensing and actuation technologies, coupled with the large reach of the internet, allowed for the emergence of applications such as cyber-physical labs. Cyber-physical labs are the digital and remotely-accessible equivalent of the ...

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

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

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

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

In the chemical industry, a large class of processes involving reactions can be described by partial differential equations that depend on time and on one or more spatial coordinates. Examples of such distributed reaction systems are tubular reactors and r ...

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

Steel columns in frame buildings subjected to earthquake shaking undergo bidirectional lateral drift demands. Till now, the majority of past experimental and numerical studies were primarily concerned with the unidirectional column behavior. This paper pro ...

FuzzGen: Automatic Fuzzer Generation

Chat with Graph Search

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

Soft Bionic Sensors and Actuators

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

Self-Supervision By Prediction For Object Discovery In Videos

Automatic extraction of constraints in manipulation tasks for autonomy and interaction

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

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

Multisymplectic Variational Integrators for Fluid Models with Constraints

From Human Physical Interaction To Online Motion Adaptation Using Parameterized Dynamical Systems

Wannier90 as a community code: new features and applications

Privacy-preserving photo sharing based on blockchain

Last-Centimeter Personal Drone Delivery: Field Deployment and User Interaction

Topics in Educational Cyber-Physical Labs : Configurations, Data Collection and Analysis

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

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

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

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

Generalization of the Concept of Extents to Distributed Reaction Systems

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

Development of Bidirectional Cyclic Lateral Loading Protocols for Experimental Testing of Steel Wide-Flange Columns