Поскольку наши личные данные все чаще используются во многих приложениях, от рекламы до финансов и здравоохранения, защита конфиденциальной информации стала важной функцией вычислительных архитектур.Android-robot.com
Документ, представленный 12 июля на 16-м симпозиуме USENIX по проектированию и внедрению операционных систем (OSDI ’22) в Карлсбаде, Калифорния, демонстрирует первую формальную проверку прототипа прошивки Arm CCA .Android-robot.com
Arm CCA полагается на прошивку для управления аппаратным обеспечением для обеспечения гарантий безопасности, поэтому очень важно, чтобы прошивка была правильной и безопасной.Android-robot.com
«Ошибки действительно трудно найти с помощью классических методов тестирования программного обеспечения», — сказал Сюхэн Ли, еще один доктор философии. ученик Ние и Гу, соавтор работы.Android-robot.com