Recherche

Afficher tous les résultats pour

Accueil

Publication

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (35)

Page 2 sur 2

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

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Mathias Josef Payer

Fuzzing is one of the most popular and effective techniques for finding software bugs. To detect triggered bugs, fuzzers leverage a variety of sanitizers in practice. Unfortunately, sanitizers target long running experiments-e.g., developer test suites-not ...

USENIX ASSOC2020

Measurement-system design for structural identification

Numa Joy Bertola

In developed countries, the management of existing civil infrastructure is challenging due to evolving functional requirements, aging and climate change. Due to conservative approaches in construction design and practice, infrastructure often has hidden re ...

EPFL2020

A note on the integrality gap of the configuration LP for restricted Santa Claus

Lars Rohwedder

In the restricted Santa Claus problem we are given resources R and players P. Every resource j is an element of R. has a value v(j) and every player i is an element of P desires a set of resources R(i). We are interested in distributing the resources to pl ...

ELSEVIER2020

Personalizable intervention systems to promote healthy behavior change

Igor Kulev

Adopting healthy behaviors can prevent the onset of many adverse health conditions. However, behavior changes are difficult to make, and often, people who like to improve their behaviors do not know how to do that. Personalizable intervention systems could ...

EPFL2020

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer

Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers enable ...

IEEE COMPUTER SOC2020

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

Determinants of Different Types of Positive Environmental Behaviors: An Analysis of Public and Private Sphere Actions

Claudia Rebeca Binder Signer, Ralph Hansmann

A survey of 1206 participants investigated determinants of positive environmental behaviors (PEBs) in Switzerland. Based on a principle component analysis on data for 23 different PEBs, three behavior types were distinguished: (i) public sphere PEBs with p ...

2020

Determinants of pro-environmental behavior: A comparison of university students and staff from diverse faculties at a Swiss University

Claudia Rebeca Binder Signer, Ralph Hansmann, Rafael Laurenti

In the context of an initiative to become a carbon neutral campus, an online survey (N = 1864) of students, scientists, and administrative and technical staff of the Swiss Federal Institute of Technology Lausanne (Ecole Polytechnique Federale de Lausanne) ...

ELSEVIER SCI LTD2020

Efficient Relaxations for Dense CRFs with Sparse Higher-Order Potentials

Mathieu Salzmann

Dense conditional random fields (CRFs) have become a popular framework for modeling several problems in computer vision such as stereo correspondence and multiclass semantic segmentation. By modeling long-range interactions, dense CRFs provide a labeling t ...

SIAM PUBLICATIONS2019

An Alternate Statistical Lens to Look at Collaboration Data: Extreme Value Theory

Kshitij Sharma, Jennifer Kaitlyn Olsen

To provide beneficial feedback to students during their collaboration, it is important to identify behaviors that are indicative of good collaboration. However, in a collaborative learning session, students engage in a range of behaviors and it can be diff ...

2019

Exploring The Borderlands Of The Gathering Problem

Rachid Guerraoui, El Mahdi El Mhamdi, Alexandre David Olivier Maurer

Problems of pattern formation have been extensively studied in distributed computing. One of this problems is the gathering problem: agents must gather at a same position in a distributed manner. When gathering is not possible, a close problem is the conve ...

2019

Are Photonic Nanojets Achromatic?

Toralf Scharf, Myun Sik Kim, Michail Symeonidis

In this work we study the evolution of the photonic nanojet (PNJ) phenomenon as the ratio of the sphere's diameter over the illumination wavelength changes, for microspheres with diameters from 2 mu m to 100 mu m. We measure the focal point position by usi ...

SPIE-INT SOC OPTICAL ENGINEERING2019

Convolutional Relational Machine for Group Activity Recognition

Alexandre Massoud Alahi

We present an end-to-end deep Convolutional Neural Network called Convolutional Relational Machine (CRM) for recognizing group activities that utilizes the information in spatial relationsbetween individualpersons in image or video. It learns to produce an ...

IEEE2019

Social Sensing Methods for Analysis of Dyadic Hospitality Encounters

Skanda Muralidhar

First impressions are critical to professional interactions, especially in service industry like hospitality. In the service industry, customers often assess quality of service based on the behavior, perceived personality, and other attributes of the front ...

EPFL2019