Publications associées à 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