Concept

Inferno (système d'exploitation)

Publications associées (33)

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

Berkeley2023

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

DEMO design activity in Europe: Progress and updates

Minh Quang Tran

This paper describes the progress of the DEMO Design Activities in Europe and particularly the work done to address critical design integration issues that affect the machine configuration and performance, the plant concept layout and the selection of syst ...

2018

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

2015

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-Inst Electrical Electronics Engineers Inc2014

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