Concept
Craquage (informatique)
Publications associées (32)
Creating Trust by Abolishing Hierarchies
Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian
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 Machinery2023Robust Collaborative Learning with Linear Gradient Overhead
Rachid Guerraoui, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Nirupam Gupta, Rafaël Benjamin Pinot
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 ...
PLMR2023lifex-ep: a robust and efficient software for cardiac electrophysiology simulations
Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani, Marco Fedele
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 ...
London2023Study on the internal crack network of the ASR-affected concrete by the tomography-based numerical model
Jean-François Molinari, Emil Gallyamov, Mahdieh Shakoorioskooie
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 LTD2022Automated Verification of Network Function Binaries
George Candea, 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 Association2022Simulating time-varying strong lenses
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 PRESS2022Hardware and Software Support for RPC-Centric Server Architecture
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 ...
EPFL2022Influence 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