2015 Project-Team Activity Report
CARTE
Theoretical adverse computations, and safety
Research centre:
Nancy - Grand Est
In partnership with: CNRS, Université de Lorraine
In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)
In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)
Keywords:
Computer Science and Digital Science:
- 1.1.11. - Quantum architectures
- 2.4.1. - Analysis
- 4.1.1. - Malware analysis
- 4.5. - Formal methods for security
- 7.13. - Quantum algorithms
- 7.4. - Logic in Computer Science
- 7.8. - Information theory
- 7.9. - Graph theory
Other Research Topics and Application Domains:
- 9.4.1. - Computer science
- 9.4.2. - Mathematics