Concept

Binary-code compatibility

Publications associées (34)

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

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

Berkeley2023

Adding Indoor Capacity without Fiber Backhaul: An mmWave Bridge Prototype

Andreas Peter Burg, Adrian Schumacher, Ruben Merz

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

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

Towards an animated JPEG

Touradj Ebrahimi, Lin Yuan, David Mc Nally, Joël Régis Theytaz

Recently, short animated image sequences have become very popular in social networks. Most animated images are represented in GIF format. In this paper we propose an animated JPEG format, called aJPEG, which allows the standard JPEG format to be extended i ...

Spie-Int Soc Optical Engineering2016

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search