DatAFLow: Toward a Data-Flow-Guided Fuzzer

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

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

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

A central task in high-level synthesis is scheduling: the allocation of operations to clock cycles. The classic approach to scheduling is static, in which each operation is mapped to a clock cycle at compile-time, but recent years have seen the emergence o ...

To achieve resource-efficient hardware designs, HLS tools share (i.e., time-multiplex) functional units among operations of the same type. This optimization is typically performed together with operation scheduling to ensure the best possible unit usage at ...

Years of globalization, outsourcing and cost cutting have increased supply chain vulnerability calling for more effective risk mitigation strategies. In our research, we analyze supply chain disruptions in a production setting. Using a bilevel optimization ...

In wearable-based human activity recognition (HAR) research, one of the major challenges is the large intra-class variability problem. The collected activity signal is often, if not always, coupled with noises or bias caused by personal, environmental, or ...

This paper examines the minimization of the cost for an expected random production output, given an assembly of finished goods from two random inputs, matched in two categories. We describe the optimal input portfolio, first using the standard normal appro ...

Lignocellulosic biomass is a potential renewable resource for production of high-value, sustainable products. Furfural is among the important bio-based chemicals in biorefineries. However, the conventional process of furfural production using a reaction-se ...

Nudges have been known to trigger behavior change for individuals in different contexts. In this study, we focus on designing nudges in the context of self-directed learning (SDL) of university students and aim to identify challenges and difficulties they ...

Recent breakthroughs in deep learning often rely on representation learning and knowledge transfer. In recent years, unsupervised and self-supervised techniques for learning speech representation were developed to foster automatic speech recognition. Up to ...

The Quantum Fisher Information matrix (QFIM) is a central metric in promising algorithms, such as Quantum Natural Gradient Descent and Variational Quantum Imaginary Time Evolution. Computing the full QFIM for a model with d parameters, however, is computat ...

Among the different types of dynamic random-access memories (DRAMs), gain-cell embedded DRAM (GC-eDRAM) is a compact, low-power, and CMOS-compatible alternative to conventional static random-access memory (SRAM). GC-eDRAM achieves high memory density, as i ...

Spectral techniques for Boolean and multiple-valued functions have been well studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This ...

Triangulation is an important task in the 3D reconstruction of computer vision. It seems simple to find the position of a point in 3D space when its 2D perspective projections in multi-view images are given and the corresponding camera projection matrices ...

In this article, three different modes of a novel integrated system would be evaluated by the application of high temperature Thermal Energy Storage (TES) to produce electricity, cooling, and freshwater. Freshwater is produced using the reverse osmosis (RO ...

This paper describes, develops, and validates SciLens, a method to evaluate the quality of scientific news articles. The starting point for our work are structured methodologies that define a series of quality aspects for manually evaluating news. Based on ...

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

Coordinate descent methods usually minimize a cost function by updating a random decision variable (corresponding to one coordinate) at a time. Ideally, we would update the decision variable that yields the largest decrease in the cost function. However, f ...

We consider linear programming (LP) problems in infinite dimensional spaces that are in general computationally intractable. Under suitable assumptions, we develop an approximation bridge from the infinite-dimensional LP to tractable finite convex programs ...

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Chattez avec Graph Search

To Infinity, and Beyond (Coverage)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

DatAFLow: Toward a Data-flow-guided Fuzzer

DASS: Combining Dynamic & Static Scheduling in High-Level Synthesis

Resource Sharing in Dataflow Circuits

Modeling and mitigating supply chain disruptions as a bilevel network flow problem

Learning Disentangled Behaviour Patterns for Wearable-based Human Activity Recognition

Optimal Matching of Random Parts

Exergy and exergoeconomic analyses of sustainable furfural production via reactive distillation

Designing Nudges for Self-directed Learning in a Data-rich Environment

Word-level Embeddings for Cross-Task Transfer Learning in Speech Processing

Simultaneous Perturbation Stochastic Approximation of the Quantum Fisher Information

Gain-Cell Embedded DRAMs: Modeling and Design Space

A Spectral Algorithm for 3-valued Function Equivalence Classification

Multi-View Triangulation: Systematic Comparison and an Improved Method

Multi-objective optimization and exergoeconomic analysis of a continuous solar-driven system with PCM for power, cooling and freshwater production

SciLens: Evaluating the Quality of Scientific News Articles Using Social Media and Scientific Literature Indicators

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

Coordinate Descent with Bandit Sampling

From Infinite to Finite Programs: Explicit Error Bounds with Applications to Approximate Dynamic Programming