PhD Students - AMfoRS | TIMA - Université Grenoble Alpes

AIT BELKACEM Sabrina

Study and design of security circuits for SRAM memory

Keywords: SRAM, Security, NBTI (Negative Bias Temperature Instability

AIT LAHSSAINE Karim

Management of Spectre and Meltdown data leakage in a RISC-V Out of Order processor

Keywords: RISC-V security, covert-channel attacks, countermeasures

AL-KAF Ahmed

Design of Dependable and Power Efficient Hardware for AI

Keywords: fault tolerance, low-power, neural networks, integrated circuits, Artificial Intelligence, approximate computing

ALEXANDRINO DE MELO Leonardo

Deploying compact and dependable deep neural networks in safety critical applications

Spécialité : Electronique, Micro et Nano-e ́lectronique, Optique et Laser

DERVAL Arthur

Secure and agile hardware/software implementation of new post-quantum cryptography digital signature algorithms

Keywords: Post-quantum cryptography, Hardware agility, Digital signature

EL AMRAOUI Sami

Fault Injection on Digital Circuits : Modelling and Protecting against ElectroMagnetic Pulses

Keywords: Digital circuits, hardware security, electromagnetic attack

FRIEL Liam

Neuromorphic circuit design for low power and high resilience

Keywords: Neuromorphic computing, Resilient systems, low power design

KOROLEVA Aleksandra

Study and development of La2NiO4 memristive devices for bio-inspired computing

Keywords: Memristive device, neuromorphic computing, valence change memory

KOUAMO Jules Quentin

Architectures and Software Methods for Mixed System Testing

Keywords: Digital, SoC, test, AMS, analog, software architecture

KULAGIN Vasilii

Physical Unclonable Functions (PUFs): A Novel Approach for Generating Unique and Secure Signatures in Electronic Devices

Keywords: Test platform, Entropy, Physical Unclonable Functions (PUFs)

LAURINI Luiz Henrique

Online Functional Testing and Designing Methods for Embedded Computing Systems

Keywords: Radiation effects, radiation tests, hardware and software, computing systems

MARENCO Andrea

Design of Approximate Digital Circuits on Advanced Semiconductor Technologies

Keywords: Circuit design, Advanced Semiconductor Technologies, Digital design

NGUYEN Le Nam Hieu

Optimization and characterization of secured hardware neural networks: robustness against faults and side channel attacks

Keywords: Digital circuits, Fault tolerance, Hardware security, Neural networks

PEYRONNET Pierre-Alexandre

More robust smart sensors through edge computing systems integrating open-source solutions of architecture and design tools

Keywords: smart-sensors, edge computing, integrated circuit design, robustness, radiation effects, open source

RABIAI Mouad

Enhancing the Security of RISC-V Microarchitectures Against Laser Fault Injection: Fault Modeling and Countermeasure Development at the RTL Level

Keywords: Cybersecurity, RISCV processor, Hardware design

SARNO Ivan

Secure Hardware/Software Implementation of Post-Quantum Cryptography on RISC-V Platforms

Keywords: to be defined

SUZANO DA FONSECA Juan

3D Heterogeneous technologies for Digital secured & sovereign solutions

Keywords: 2.5/3D integration, integrated circuit, hardware security

TALY Emilien

Design of a very low power Artificial Intelligence system (Tensor Processing Unit - TPU) based on memory computation.

Keywords: In Memory Computing (IMC), Static Random Access Memory (SRAM), Tensor Processing Unit (TPU), Convolutional Neural Network (CNN), Non-Volatile Memory (NVM), Low power

TARDY Clément

Enhancing and adapting the robustness of a system against fault attacks

Keywords: Fault attack, Hardware security, Redondancy