Publications related to Studying Application–Library Interaction and Behavior with LibTrac

Related publications (28)

Community-Aware Group Testing

Christina Fragouli, Suhas Diggavi, Pavlos Nikolopoulos

Group testing is a technique that can reduce the number of tests needed to identify infected members in a population, by pooling together multiple diagnostic samples. Despite the variety and importance of prior results, traditional work on group testing ha ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, 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

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

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

Testing For The Rank Of A Covariance Operator

Victor Panaretos

How can we discern whether the covariance operator of a stochastic pro-cess is of reduced rank, and if so, what its precise rank is? And how can we do so at a given level of confidence? This question is central to a great deal of methods for functional dat ...

INST MATHEMATICAL STATISTICS-IMS2022

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

David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic

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

Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code

Mathias Josef Payer

Android apps include third-party native libraries to increase performance and to reuse functionality. Native code is directly executed from apps through the Java Native Interface or the Android Native Development Kit. Android developers add precompiled nat ...

IEEE COMPUTER SOC2021

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

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

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

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

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

Flexure-based mecano-optical multi-degree-of-freedom transducers dedicated to medical force sensing instruments

Sebastian Krzysztof Fifanski

This thesis develops novel multi-degrees-of-freedom flexure-based force sensors by exploiting white light interferometry. Fabry-Pérot interferometry measurement has nanometric accuracy which yields sub milli-Newton force sensing accuracy. Such force sensin ...

EPFL2020

The influence of casting position and disturbance induced by reinforcement on the structural concrete strength

Aurelio Muttoni, Miguel Fernández Ruiz, Francesco Rafael Alberto Moccia

It is well known that control specimens used to assess the concrete strength of new structures have different casting and curing conditions than those of actual structures. Notably, after pouring of the concrete and before its hardening, a number of phenom ...

ERNST & SOHN2021

Towards the use of UHPFRC in railway bridges: the rehabilitation of Buna Bridge

Eugen Brühwiler, Dragan Damjanovic

In the last decade, Ultra High Performance Fibre Reinforced cement-based Composites (UHPFRC) have been increasingly implemented for rehabilitation and strengthening purposes, rendering outstanding results. The ease of application, along with their superior ...

CRC PRESS-TAYLOR & FRANCIS GROUP2019

Numerical Simulations of Pulsating Heat Pipes, Part 1: Modeling

Brian Paul D'Entremont, John Richard Thome, Jackson Braz Marcinichen, Raffaele Luca Amalfi, Philippe Aubin, Filippo Cataldo

The pulsating nature of a closed loop pulsating heat pipe (CLPHP) makes the prediction of its thermal-hydraulic performance extremely challenging. Unfortunately, the design of CLPHPs is still quite an empirical process, requiring testing of many prototypes ...

IEEE2019

Optical microsystems for genetically engineered biosensors. Case study: Glucose monitoring

Bakul Jitendra Vinchhi

Diabetes is a global epidemic with millions of people dying from it every year. Progress in microelectronics and machine learning has led to a huge number of FDA approvals of devices for continuous monitoring and treatment of diabetes with one product usin ...

EPFL2019

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

George Candea, Vitaly Chipounov

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

The LifeV library: engineering mathematics beyond the proof of concept

Simone Deparis, Luca Formaggia, Davide Forti

LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing faciliti ...

2018

An operational monitoring tool facilitating the transformation of urban brownfields into sustainable neighborhoods

Emmanuel Rey, Sophie Lufkin, Martine Laprise

The regeneration of urban brownfields is a relevant strategy to limit the sprawling of post-industrial European cities. However, the integration of sustainability issues in urban brownfield regeneration projects is not a spontaneous process, remaining in m ...

2018

L'urbanisme de l'entre-deux : des pratiques de mobilité aux prises urbanistiques

Jade Rudler

The democratization of vehicles has often reduced the public space to a place of circulation. For the last fifteen years, the habits of mobility have evolved: a system centered around the automobile leaves room for compositions between different modes of d ...

EPFL2018