loaction
Professor Chung-Kil Hur’s Research Team Receives the 2020 Google ASPIRE Award
-
작성자
관리자
-
등록일
2021.01.27
-
조회수
771
Professor Chung-Kil Hur’s Research Team Receives the 2020 Google ASPIRE Award
- Software verification technology research significantly improves security
- $150,000 research fund for the purpose of application in android security
▲ (Picture’s left) Professor Chung-Kil Hur of the SNU Department of Computer Science and Engineering and graduate students
- $150,000 research fund for the purpose of application in android security
▲ (Picture’s left) Professor Chung-Kil Hur of the SNU Department of Computer Science and Engineering and graduate students
Professor Chung-Kil Hur’s research team of the SNU Department of Computer Science and Engineering received the 2020 Google ASPIRE (Android Security and Privacy Research) award in recognition of their research that strictly verifies software and increases security. The research team will receive $150,000 in research funding from Google.
Google launched the ASPIRE program in late 2018 in an effort to enhance the security and privacy of its Android ecosystem. The program aims to support academic collaboration with the Android Security and Privacy team in various ways, developing new security technologies and applying them to Android systems.
This award was based on the development by Professor Chung-Kil Hur's team of theories and technologies that can operate the verification of software on a step-by-step basis. Existing program verification techniques are mainly based on Hoare Logic and its extended Separation Logic. This theory fully supports validating programs by module. However, in order to efficiently perform large-scale software verification, it is essential to divide the verification of each module into several stages and verify only one property at a time.
The Refinement Under Self-Related Contexts Theory that was recently developed by Professor Hur's research team supports not only various module-specific verification techniques but also the step-by-step verification supported by separation logic.
The researchers are developing a validation framework based on this theory and plan to use it to validate the Protected Kernel-based Virtual Machine (PKVM), a security hypervisor developed under Google-led initiative.
*Introductory page for Google’s ASPIRE program
https://security.googleblog.com/2018/12/aspire-to-keep-protecting-billions-of.html