Trustworthy systems: foundations and practices

- trust -


Un système informatique est dit "digne de confiance" s’il délivre un service dans lequel les utilisateurs peuvent placer une confiance justifiée. L’équipe TRUST s’intéresse aux méthodes, outils et processus de développement permettant cette justification de la confiance.


RESPONSABLE

Hélène Waeselynck

REPRÉSENTANT·E DES DOCTORANTS

Antony Dalmiere

Dernières Publications

2025

Articles dans une revue

Pierre Ayoub, Aurélien Hernandez, Romain Cayre, Aurélien Francillon, Clémentine Maurice. PhaseSCA: Exploiting Phase-Modulated Emanations in Side Channels. IACR Transactions on Cryptographic Hardware and Embedded Systems, In press. ⟨hal-04726109⟩

2024

Articles dans une revue

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. On the Complexity of Proving Polyhedral Reductions. Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩. ⟨hal-04712076⟩

Murat Uzam, Ding Liu, Bernard Berthomieu, Gökhan Gelen, Zhaolong Zhang, et al.. On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. IEEE Access, 2024, 12, pp.135506 - 135534. ⟨10.1109/ACCESS.2024.3461168⟩. ⟨hal-04708018⟩

Livres

Vincent Mahout, Thierry Rocacher, Guillaume Auriol. Programmation des systèmes embarqués. ISTE Group, 312 p., 2024, 9781836120049. ⟨hal-04717102⟩

Communications dans un congrès

Lamoussa Sanogo, Eric Alata, Taki E Djidjekh, Gael Loubet, Alexandru Takacs, et al.. Polarization Shift Keying for Device Authentication in Wireless Sensor Network. 54th European Microwave Conference, Sep 2024, Paris, France. pp.296-299. ⟨hal-04742060⟩

Pierre Ayoub, Romain Cayre, Aurélien Francillon, Clémentine Maurice. BlueScream: Screaming Channels on Bluetooth Low Energy. 40th Annual Computer Security Applications Conference (ACSAC '24), Dec 2024, Waikiki, Honolulu, Hawaii, United States. ⟨hal-04725668v2⟩

G Loubet, Alassane Sidibé, Taki Eddine Djidjekh, Lamoussa Sanogo, Alexandre Rumeau, et al.. Réseau de capteurs Bluetooth Low Energy, sans fil et sans batterie, télé-alimentés par transfert de puissance électromagnétique rayonnée. XXIIIèmes Journées Nationales Microondes, Jun 2024, Antibes Juan-Les-Pins, France. pp.503-506. ⟨hal-04740194⟩

Autres documents

Florent Galtier, Paul L R Olivier, Guillaume Auriol, Vincent Nicomette, Romain Cayre. POSTER: Experimentation platform for repeatable security analysis in IoT heterogeneous environments. 17th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2024), May 2024, Seoul, South Korea. 2024, ⟨10.1145/xxxxxxx.⟩. ⟨hal-04725617⟩

Pré-publications, documents de travail

Gurvan Richardeau, Erwan Le Merrer, Camilla Penzo, Gilles Trédan. THE 20 QUESTIONS GAME TO DISTINGUISH LARGE LANGUAGE MODELS. 2024. ⟨hal-04699271⟩

Texte à modifier dans l’interface d’édition: champ 'rayonnement' de la page Equipe.

Texte à modifier dans l’interface d’édition: champ 'productions' de la page Equipe.

Thèses / HDR soutenues

REJOINDRE

Notre équipe de recherche

Pour plus d’informations sur les offres d’emploi, vous pouvez contacter