欢迎访问中国科学院重庆绿色智能技术研究院!

研究方向

    中心研究主要围绕两大方向:1.自动推理与可信计算;2.信息安全。其中自动推理与可信计算研究方向的研究内容包括:符号计算、自动推理、误差可控计算的理论与方法;信息安全的研究内容包括:可信软件的验证与开发、抗量子计算机攻击的密码方案与应用、同态加密
  
      1同态加密