Publications associées à Inferno (système d'exploitation)

ACTOR: Action-Guided Kernel Fuzzing

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

A RISC-V Extension to Minimize Privileges of Enclave Runtimes

Edouard Bugnion, Neelu Shivprakash Kalani

In confidential computing, the view of the system software is Manichean: the host operating system is untrusted and the TEE runtime system is fully trusted. However, the runtime system is often as complex as a full operating system, and thus is not free fr ...

ACM2023

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

Architecture Exploration and Optimization of Heterogeneous Many-Core Compute and Memory Architectures with Architectural Extensions

Yasir Mahmood Qureshi

The expeditious proliferation of Internet connectivity and the growing adoption of digital products have transformed various spheres of our everyday lives. This increased digitization of society has led to the emergence of new applications, which are deplo ...

EPFL2021

The key impact of incorporated Al2O3 barrier layer on W-based ReRAM switching performance

Elmira Shahrabi, Yusuf Leblebici, Jury Sandrini, Cecilia Giovinazzo

In this article, we inspected the bipolar resistive switching behavior of W-based ReRAMs, using HfO2 as switching layer. We have shown that the switching properties can be significantly enhanced by incorporating an Al2O3 layer as a barrier layer. It stabil ...

IEEE2018

Improving systems software security through program analysis and instrumentation

Volodymyr Kuznetsov

Security and reliability bugs are prevalent in systems software. Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management and type safety to programmers. This invites bugs that cause cra ...

EPFL2016

Strain Management in HTS High Current Cables

Pierluigi Bruzzone, Davide Uglietti, Rainer Wesche

The best performing HTS conductors are available in the form of thin tapes with operating current in the range of 200 A at the operating conditions. To realize conductors with high current carrying capability, in the range of several tens of kA, a large nu ...

IEEE Institute of Electrical and Electronics Engineers2015

LTS and HTS high current conductor development for DEMO

Pierluigi Bruzzone, Kamil Sedlák, Davide Uglietti

The large size of the magnets for DEMO calls for very large operating current in the forced flow conductor. A plain extrapolation from the superconductors in use for ITER is not adequate to fulfill the technical and cost requirements. The proposed DEMO TF ...

Elsevier Science Sa2015

Commissioning of the Main Coil of the EDIPO Test Facility

Pierluigi Bruzzone, Davide Uglietti, Markus Jenni, Boris Stepanov, Rainer Wesche, Martin Vogel, Stephen Alfred March, Giancarlo Croari

The EDIPO test facility is erected at CRPP Villigen with the aim of providing a flexible, high field test bed for high current force flow superconductors. The EDIPO main coil is a tilted-head race-track pair wound by a graded Nb3Sn cable-in-conduit conduct ...

IEEE Institute of Electrical and Electronics Engineers2014

Hardware and Algorithms for Ultrasonic Depth Imaging

Ivan Dokmanic

Depth imaging is commonly based on light. For example, LIDAR and Kinect use infrared light, while stereo cameras use visible light. These systems require hardware operating at high sampling frequencies, precise calibration, and they dissipate significant p ...

Ieee2014