Publications associées à DatAFLow: Toward a Data-Flow-Guided Fuzzer

To Infinity, and Beyond (Coverage)

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

EPFL2024

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Sirus Shahini, Mathias Josef Payer

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

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

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

2023

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

Ralf Seifert, Anna Timonina-Farkas, René Yves Glogg

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

2022

Optimal Matching of Random Parts

Thomas Alois Weber

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

2022

Exergy and exergoeconomic analyses of sustainable furfural production via reactive distillation

François Maréchal

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

2021

Simultaneous Perturbation Stochastic Approximation of the Quantum Fisher Information

Giuseppe Carleo, Julien Sebastian Gacon, Stefan Woerner

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

VEREIN FORDERUNG OPEN ACCESS PUBLIZIERENS QUANTENWISSENSCHAF2021

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

Hossein Pourrahmani

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

Elsevier2020

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

Vitaly Chipounov, George Candea, Bin Zhang, Chao Feng

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

INST ENGINEERING TECHNOLOGY-IET2018

Coordinate Descent with Bandit Sampling

Patrick Thiran, Farnood Salehi, Laura Elisa Celis

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

NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2018

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

Peyman Mohajerin Esfahani, Daniel Kuhn, John Lygeros, Tobias Sutter

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

2018

Multi-objective optimization and exergoeconomic analysis of a combined cooling, heating and power based compressed air energy storage system

François Maréchal, Ligang Wang, Erren Yao

Compressed air energy storage technologies can improve the supply capacity and stability of the electric- ity grid, particularly when fluctuating renewable energies are massively connected. While incorporating the combined cooling, heating and power system ...

Elsevier2017

PBCOV: a property-based coverage criterion

Hamza Harkous, Kassem Fawaz

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015

Systematically testing OpenFlow controller applications

Jennifer Rexford, Dejan Kostic, Marco Canini, Maciej Leszek Kuzniar, Peter Peresini

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

Elsevier Science Bv2015

The economic performance of Swiss drinking water utilities

Andrea Baranzini, Anne-Kathrin Faust

This paper measures the performance in terms of costs of Swiss drinking water utilities accounting for environmental factors. We estimate a translog stochastic variable cost frontier using two different techniques on an unbalanced panel of 141 water distri ...

Springer Verlag2014

Alternating Control Flow Reconstruction

Johannes Kinder

Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...

Springer2012

A NICE Way to Test OpenFlow Applications

Jennifer Rexford, Dejan Kostic, Marco Canini, Peter Peresini

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

2012

Multi-stage production cost optimization of semi-rigid steel frames using genetic algorithms

Nizar Bel Hadj Ali

The response of a steel structure is closely related to the behavior of its joints. This means that it is necessary to take explicit account of joint properties in order to ensure a consistent approach to design optimization of steel frames. Semi-rigid des ...

2009