|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Popularization
Talk “Bug, Virus, Intrusion, Pirates... So many threats and no defense? Yes... maths.”, Thomas Genet, given three times in high schools close to Rennes.
Overall Objectives
New Software and Platforms
New Results
- Monitoring attacker knowledge with information flow analysis
- Semantic analysis of functional specifications of system software
- Certified Static Analyses
- Certified Compilation
- Mechanical Verification of SSA-based Compilation Techniques
- Semantics for shared-memory concurrency
- Static analysis of functional programs using tree automata and term rewriting
Partnerships and Cooperations
Bibliography