An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS

Jonathan Rouzaud-Cornabas (1, 2) , Patrice Clemente (1, 2) , Christian Toinard (1, 2)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 SDS - Sécurité des Données et des Systèmes

Domains: Cryptography and Security [cs.CR]

Jonathan Rouzaud-Cornabas, Patrice Clemente, Christian Toinard. An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS. SECURWARE'10, Jul 2010, Venise, Italy. pp.11-16. ⟨hal-00474156⟩