Trustworthy computing groups project more closely related to computer science fundamentals such as verification, efficiency and security: parallelization of computation, future computer architecture and operating systems, formal methods and virtual prototyping, cryptography and certification of algebraic computations.
All 5 projects in this area are relatively recent in LIAMA history, all of them started after 2008.
ECCA: Exact/Certifed Computation with Algebraic Systems;
SACCADES( created by merging TEMPO and HADES): Formal Methods for Embeded Systems;
TCMR: Green cellular networks Modeling and Performance Evaluation of future mobile networks