Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Craquage (informatique)

Publications associées (24)

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Yuchen Qian, Neelu Shivprakash Kalani

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, Nirupam Gupta, Rafaël Benjamin Pinot, Le Nguyen Hoang, Sadegh Farhadkhani, John Stephan

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

Study on the internal crack network of the ASR-affected concrete by the tomography-based numerical model

Jean-François Molinari, Emil Gallyamov

In this paper, we present a novel finite element model to simulate alkali-silica reaction in a realistic concrete meso-structure. Application of the internal ASR loading leads to the evolution of multiple deviated cracks and corresponding macroscopic expan ...

Pergamon-Elsevier Science Ltd2022

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Simulating time-varying strong lenses

Georgios Vernardos

We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...

OXFORD UNIV PRESS2022

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

EPFL2022

Influence of amount of shear reinforcement and its post-yield response on the shear resistance of reinforced concrete members

Aurelio Muttoni, Miguel Fernández Ruiz, Frédéric Monney

The minimum amount of shear reinforcement to be provided in reinforced concrete members has been a topic of debate and research for decades without reaching a consensus. Defining such values is however instrumental to build in an economic manner and to saf ...

ERNST & SOHN2022

Hardware-Software Co-Design of an RPC Processor

Arash Pourhabibi Zarandi

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

EPFL2021

Evaluating the Effects of Introducing Three Gamification Elements in STEM Educational Software for Secondary Schools

Denis Gillet, Juan Carlos Farah

Gamification aims to enhance the educational experience by enabling students to have fun with technology. Although research in the field has previously looked into the effectiveness of gamification, reviews of existing studies show that in the context of e ...

Association for Computing Machinery2020

Chirok: a post-refinement tool to analyse absolute structure

Philip Pattison

Chirok is software for a post-refinement test of the absolute structure. The software allows a user to calculate a distribution of the measure of chirality based on intensity quotients and linked to the Flack parameter. The distribution is fitted by a set ...

2020

SD-WISE: A Software-Defined WIreless SEnsor network

Angelos Christos Anadiotis

In this paper we introduce SD-WISE, a Software-Defined Wireless SEnsor networking solution for Wireless Sensor (and actuator) Networks (WSNs). SD-WISE has several unique features making it a flexible and expandable solution that can be applied in heterogen ...

ELSEVIER SCIENCE BV2019

The software and hardware architecture of the real-time protection of in-vessel components in JET-ILW

Olivier Sauter, Richard Pitts, Ambrogio Fasoli, Stefano Coda, Basil Duval, Henri Weisen, Yves Martin, Yann Camenen, Jan Horacek, Javier García Hernández, Duccio Testa, Marco Wischmeier, Nicola Vianello, Mikhail Maslov, Patrick Blanchard, Alessandro Pau, Davide Galassi, Antonio José Pereira de Figueiredo, Liang Yao, Dalziel Joseph Wilson, Cristian Sommariva, Jonathan Graves, Ana Francisca Leal Silva Soares, Pedro Camilo de Oliveira e Silva, Federico Nespoli, Hamish William Patten, Samuel Lanthaler, David Pfefferlé, Jonathan Marc Philippe Faustin

For the first time, the JET operation in deuterium-tritium (D-T) plasma, which is scheduled to take place on JET in 2020, will be performed in the ITER mix of plasma-facing component materials. In view of the preparation of the DT campaign (DTE2), several ...

IOP Publishing Ltd2019

A hybrid framework for industrial data storage and exploitation

Dimitrios Kyritsis, Foivos Psarommatis Giannakopoulos, Ioannis Tourkogiorgis

In this paper a hybrid framework is illustrated, with a software and hardware integration strategy, for an industrial platform that exploits features from a Relational Database (RDB) and Triplestore using the blackboard architectural pattern, ensuring effi ...

Elsevier2019

Development of an AFM-based nanomotion detection device for microbiological samples

Wojciech Chomicki

The main goals of this thesis pertain to the development of a device capable of detecting microorganism viability through monitoring the oscillations of a microscopic cantilever transducer, to improve the presently used device and to attempt to explain in ...

EPFL2019

Super-resolution fight club: assessment of 2D and 3D single-molecule localization microscopy software

Michaël Unser, Daniel Sage, Thanh-An Michel Pham, Tomas Lukes, Seamus John Holden, Anna Archetti, Thomas Pengo

With the widespread uptake of two-dimensional (2D) and three-dimensional (3D) single-molecule localization microscopy (SMLM), a large set of different data analysis packages have been developed to generate super-resolution images. In a large community effo ...

Nature Publishing Group2019

SUBDIVIDE AND CONQUER Active Contours and Surfaces for Biomedical Image Segmentation

Anaïs Laure Marie-Thérèse Badoual

Ongoing advances in imaging techniques create new demands regarding the analysis of images in medicine and biology. Image segmentation is a key step of many image analysis pipelines and its proper execution is a particularly challenging task. This thesis i ...

EPFL2019

NeuroMorph: A Software Toolset for 3D Analysis of Neurite Morphology and Connectivity

Graham Knott, Jérôme Blanc, Anne Alison Jorstad

The geometries of axons, dendrites and their synaptic connections provide important information about their functional properties. These can be collected directly from measurements made on serial electron microscopy images. However, manual and automated se ...

2018

Reinforcing Civil Engineering Curricula With Courses Including Project-Based Software Applications

Gerard Guell Bartrina

Civil engineering (CE) is one of the broadest engineering fields, if not the most, and requires undergraduate students to be exposed to a variety of topics; each can be easily recognized as a major in its own. Establishing a successful curriculum is a majo ...

IATED-INT ASSOC TECHNOLOGY EDUCATION & DEVELOPMENT2018

Detailed Heap Profiling

James Richard Larus, Stuart Anthony Byma

Modern software systems heavily use the memory heap. As systems grow more complex and compute with increasing amounts of data, it can be difficult for developers to understand how their programs actually use the bytes that they allocate on the heap and whe ...

ACM2018