Publications related to Binary-code compatibility

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

Thwarting Malicious Adversaries in Homomorphic Encryption Pipelines

Sylvain Chatel

Homomorphic Encryption (HE) enables computations to be executed directly on encrypted data. As such, it is an auspicious solution for protecting the confidentiality of sensitive data without impeding its usability. However, HE does not provide any guarant ...

EPFL2023

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

Adding Indoor Capacity without Fiber Backhaul: An mmWave Bridge Prototype

Andreas Peter Burg, Ruben Merz, Adrian Schumacher

Today, a large portion of mobile data traffic is consumed behind the shielding walls of buildings or in the Faraday cage of trains. This renders cellular network coverage from outdoor cell sites difficult. Indoor small cells and distributed antennas along ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Operando X-ray diffraction during laser 3D printing: from machine design to experiments and computer simulations

Samy Hocine

The importance of additive manufacturing, also known as 3D printing, has grown exponentially in the recent years thanks to its high flexibility to manufacture intricate parts. This process can be divided into many different sub-categories, depending on the ...

EPFL2020

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer, Duo Xu

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

Generalized Norm-compatible Systems on Unitary Shimura Varieties

Mohamed Réda Boumasmoud

We define and study in terms of integral Iwahoriâ Hecke algebras a new class of geometric operators acting on the Bruhat-Tits building of connected reductive groups over p-adic fields. These operators, which we call U-operators, generalize the geometric n ...

EPFL2019

Approximate Cloaking via Transformation Optics for Electromagnetic Waves

Xuan Loc Tran

Cloaking via transformation optics was introduced by Pendry, Schurig, and Smith for the Maxwell system and Leonhardt in the geometric optics setting. They used a singular change of variables which blows up a point into a cloaked region. The same transforma ...

EPFL2018

GETPrime 2.0: gene- and transcript-specific qPCR primers for 13 species including polymorphisms

Bart Deplancke, Jacques Rougemont

GETPrime (http://bbcftools.epfl.ch/getprime) is a database with a web frontend providing geneand transcript-specific, pre-computed qPCR primer pairs. The primers have been optimized for genome-wide specificity and for allowing the selective amplification o ...

Oxford University Press2017

3D-Printed Shepp-Logan Phantom as a Real-World Benchmark for MRI

Dimitri Nestor Alice Van De Ville, Jeffrey Adam Kasten, François Lazeyras

Purpose: As prescribed and reliable geometrical entities, phantoms have served as indispensable validation tools in a variety of MR-related topics. Though a number of phantoms have been conceived, certain applications may warrant highly customized geometri ...

Wiley-Blackwell2016

What is the gamma gamma resonance at 750 GeV?

Riccardo Rattazzi, Francesco Riva, Roberto Franceschini, Michele Redi, Riccardo Torre

Run 2 LHC data show hints of a new resonance in the diphoton distribution at an invariant mass of 750 GeV. We analyse the data in terms of a new boson, extracting information on its properties and exploring theoretical interpretations. Scenarios covered in ...

Springer Nature2016

The JPEG XT Suite of Standards: Status and Future Plans

Touradj Ebrahimi

The JPEG standard has known an enormous market adoption. Daily, billions of pictures are created, stored and exchanged in this format. The JPEG committee acknowledges this success and spends continued efforts in maintaining and expanding the standard speci ...

Spie-Int Soc Optical Engineering2015

ALLARM: Optimizing Sparse Directories for Thread-Local Data

Amitabha Roy

Large-scale cache-coherent systems often impose unnecessary overhead on data that is thread-private for the whole of its lifetime. These include resources devoted to tracking the coherence state of the data, as well as unnecessary coherence messages sent o ...

2014

JPEG backward compatible format for 3D content representation

Touradj Ebrahimi, Philippe Hanhart, Martin Rerabek

Different formats and compression algorithms have been proposed for 3D video content, but 3D images are still mostly represented as a stereo pair only. However, for enhanced 3D rendering capabilities, such as depth perception adjustment or display size ada ...

2013

Context-dependent JPEG backward-compatible high-dynamic range image compression

Touradj Ebrahimi

High Dynamic Range (HDR) imaging is expected, together with ultra-high definition (UHD) and high frame rate (HFR) video, to become a technology that may change photo, TV, and film industries. Many cameras and displays capable of capturing and rendering bot ...

2013

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

Reverse Engineering of Binary Device Drivers with RevNIC

George Candea, Vitaly Chipounov

This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driver’s logic, and synthesizes new device driver code that implements the exact same ...

2010

Requirements and Analysis for a Robust E1 Galileo Tracking Algorithm in the Scope of the GAMMA-A Project

Pierre-André Farine, Cyril Botteron, Aleksandar Jovanovic, Youssef Tawk

FP7 GAMMA-A project is a European project with the objective to develop a 3-frequency GPS/Galileo receiver concept for automotive mass-market applications. This receiver shall build on the excellent properties of the new and modernized wide-band Galileo an ...

Inst Navigation, 815 15Th Th St Nw, Ste 832, Washington, Dc 20005 Usa2010

Synchronous versus asynchronous modeling of gene regulatory networks

Giovanni De Micheli, Abhishek Garg, Ioannis Xenarios

In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene–gene, ...

2008