Catégorie
Programmation informatique
Publications associées (373)
Secure Interface Design Leveraging Hardware/Software Support
Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...
EPFL2024Automated Formal Verification of Software Network Functions
Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...
EPFL2024Design for demise applied to spacecraft structural panels and experiments for ClearSpace One platform
With growing awareness of the vulnerability of the near-Earth space region and the anticipated surge in satellite objects, efforts are underway to assess and implement various mitigation strategies. These aim to minimize the impact of space activities and ...
EPFL2024ACTOR: 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 ...
Berkeley2023An Open-Hardware Coarse-Grained Reconfigurable Array for Edge Computing
David Atienza Alonso, Giovanni Ansaloni, José Angel Miranda Calero, Rubén Rodríguez Álvarez, Juan Pablo Sapriza Araujo, Benoît Walter Denkinger, Ruben Rodriguez
In this work, we propose an open-hardware low-power coarse-grained reconfigurable array connected to a lightweight microcontroller and enclosed in an application mapping framework. The latter provides complete support to configure kernels in the reconfigur ...
2023Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms
Aurélien François Gilbert Bloch
Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...
EPFL2023Thwarting Malicious Adversaries in Homomorphic Encryption Pipelines
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 ...
EPFL2023Instruction-Level Power Side-Channel Leakage Evaluation of Soft-Core CPUs on Shared FPGAs
Mathias Josef Payer, Mirjana Stojilovic, Shashwat Shrivastava, Ognjen Glamocanin, Jinwei Yao, Nour Ardo
Side-channel disassembly attacks recover CPU instructions from power or electromagnetic side-channel traces measured during code execution. These attacks typically rely on physical access, proximity to the victim device, and high sampling rate measuring in ...
2023AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering
Mathias Josef Payer, Zhiyao Feng, Chunmin Zhang, Ji Shi
Knowledge of a program's input format is essential for effective input generation in fuzzing. Automated input format reverse engineering represents an attractive but challenging approach to learning the format. In this paper, we address several challenges ...
Berkeley2023Design Space Exploration for Partitioning Dataflow Program on CPU-GPU Heterogeneous System
Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch
Dataflow programming is a methodology that enables the development of high-level, parametric programs that are independent of the underlying platform. This approach is particularly useful for heterogeneous platforms, as it eliminates the need to rewrite ap ...
SPRINGER2023