Trustworthy Computing

Updated: 2016/11/10   

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.

CRYPT: Cryptanalysis;
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

回首页 回前页 回到页首