Sort by
Refine Your Search
-
the disclosure of the Spectre and Meltdown attacks, Timing-Based Side Channel Attacks (TSCAs) have received significant attention. Modern System-on-Chips (SoCs), with their increasingly complex and performance
-
complex world model can be constructed by composing smaller, more specialized sub-models. A key research question is how to formally verify properties of the composite model based on the known properties
-
information rates of the conventional transmission methods in optical communication. The problem of efficient communication over optical fiber channels is open, because the channels are governed by complex
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security
-
15 Sep 2025 Job Information Organisation/Company Télécom Paris Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country France