Research

Trustworthy Computing

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


+86 (0) 10 8254 4772

+86 (0) 10 8254 4594

xuefei.liu@nlpr.ia.ac.cn

5F, Intelligent Building N.95, Zhong Guan Cun East Road, Beijing, China