Skip to Main content Skip to Navigation


hal-00349883v1  Conference papers
Mehdi TalbiBenjamin MorinValérie Viet Triem TongAdel BouhoulaMohammed Mejri. Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADM
Conférence sur la sécurité des Architectures Réseaux et des Systèmes d'Information, Oct 2008, Loctudy, France
...
hal-01356690v1  Reports
Thomas LetanPierre ChifflierGuillaume HietPierre NéronBenjamin Morin. SpecCert: Specifying and Verifying Hardware-based Security Enforcement
[Technical Report] CentraleSupélec; Agence Nationale de Sécurité des Systèmes d’Information. 2016, pp.20
hal-00356418v1  Journal articles
Hervé DebarBenjamin MorinFrédéric CuppensFabien AutrelLudovic Mé et al.  Détection d'intrusions : corrélation d'alertes
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 23, 32 p