Centre National de la Recherche Scientifique — France
Computer Science · Physical Sciences
4h-index45citations11works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(9), Advanced Malware Detection Techniques(7), Distributed systems and fault tolerance(3), Network Security and Intrusion Detection(2), Parallel Computing and Optimization Techniques(1)
Publications11 total
Lecture notes in computer science·2010· 5 cited
New Results - Sound Information Flow
2009
Contracts and Grants with Industry - ANR SESUR 2007 “Securing Flow of INformation for Computing pervasive Systems” (SFINCS) (2008-2010)
2009
Information flow analysis for embedded systems : from practical to theoretical aspects
OpenGrey (Institut de l'Information Scientifique et Technique)·2008· 2 cited
Lecture notes in computer science·2008· 15 citedOpen Access
Workshop in Information Security Theory and Practice·2007· 6 cited
Lecture notes in computer science·2007· 4 cited
2007· 1 citedOpen Access
Contracts as a support to static analysis of open systems
2007· 1 cited
Conference on Local Computer Networks·2006· 4 cited
2006· 7 cited
Frequent Co-authors
Isabelle Simplot-Ryl(10), Gilles Grimaud(6), Jean-Marc Talbot(2), Arnaud Fontaine(2), Samuel Hym(2), Yanguo Liu(1), Issa Traoré(1), Nadia Bel Hadj Aissa(1)