• 
  Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in modular proofs of concurrent algorithms. Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩. ⟨hal-04086420⟩
• 
  Florent Galtier. Security of short and long range wireless networks based on physical layer monitoring mechanisms. Computer Science [cs]. UPS Toulouse, 2023. English. ⟨NNT : ⟩. ⟨tel-04071193⟩
• 
  Yassir Idmessaoud. Uncertainty assessment in safety argument structure : an approach based on Dempster-Shafer theory. Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30263⟩. ⟨tel-04048943⟩
• 
  Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour. 11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France. ⟨hal-04044944⟩
• 
  Julien Duchene. Développement et évaluation d'obfuscations de protocoles basées sur la spécification. Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2018. Français. ⟨NNT : 2018ISAT0054⟩. ⟨tel-04026358v2⟩
• 
  Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Yves Deswarte, et al.. Modèles et politiques de sécurité des systèmes d'information et de communication en santé et en social. 1ère Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH'2003), Jan 2003, Lyon, France. ⟨hal-04006701⟩
• 
  Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, et al.. ORBAC : un modèle de contrôle d'accès basé sur les organisations. Cahiers francophones de la recherche en sécurité de l'information, 2003, 2, pp.30--40. ⟨hal-04003606⟩
• 
  Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Frederic Cuppens, et al.. Organization based access control. 4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), IEEE, Jun 2003, Lake Como, Italy. pp.120--131, ⟨10.1109/POLICY.2003.1206966⟩. ⟨hal-04003608⟩
• 
  Yassir IDMESSAOUD. Uncertainty assessment in safety argument structures – An approach based on Dempster-Shafer Theory. Computer Science [cs]. UPS Toulouse, 2022. English. ⟨NNT : ⟩. ⟨tel-03998600⟩
• 
  Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨hal-03938378v2⟩

532