Jean-François Lalande
4
Documents
Présentation
I am currently Professor at CentraleSupélec, Rennes campus in the Inria [CIDRE team](http://www.inria.fr/equipes/cidre).
My areas of interest are the security of operating systems, the security of C embedded software (e.g. smart cards) and the security of Android applications. I work on **access control policies**, **intrusion detection tools** and **software code analysis**. I am currently focusing countermeasures that can help to defeat malware that targets Android's applications.
Publications
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
|
|
Formally verified software countermeasures for control-flow integrity of smart card C codeComputers and Security, 2019, 85, pp.202-224. ⟨10.1016/j.cose.2019.05.004⟩
Article dans une revue
hal-02123836v1
|
|
|
Software countermeasures for control flow integrity of smart card C codesESORICS - 19th European Symposium on Research in Computer Security, Sep 2014, Wroclaw, Poland. pp.200-218, ⟨10.1007/978-3-319-11212-1_12⟩
Communication dans un congrès
hal-01059201v1
|
High level model of control flow attacks for smart card functional securityAReS 2012 - 7th International Conference on Availability, Reliability and Security, Aug 2012, Prague, Czech Republic. pp.224-229, ⟨10.1109/ARES.2012.79⟩
Communication dans un congrès
hal-00721111v1
|
|
Attack model for verification of interval security properties for smart card C codesPLAS '10 - 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Jun 2010, Toronto, Canada. pp.2:1--2:12, ⟨10.1145/1814217.1814219⟩
Communication dans un congrès
hal-00476478v1
|