NSF가 자금을 지원하는 프로젝트는 스마트 기기의 보안 향상에 중점을 둡니다.
2020년 10월 14일 수요일
5829_6165이 사진을 다운로드하세요.
MANHATTAN — 스마트 홈, 스마트 인프라, 스마트 건강 등 - 다른 장치와 데이터를 연결하고 교환할 목적으로 센서, 소프트웨어 및 기타 기술이 내장된 애플리케이션 목록은 계속해서 하드웨어 및 이러한 시스템의 안전과 보안을 보장하는 데 중요한 소프트웨어입니다.
국립과학재단 컴퓨팅 및 통신 재단 부서는 조교수인 Xiaolong Guo에게 3년간 250,000달러의 보조금을 수여했습니다.마이크 위거스 전기 및 컴퓨터 공학과캔자스 던파 카지노에서 이 분야에 대한 추가 연구를 위해.
Guo는 플로리다 던파 카지노의 전기 및 컴퓨터 공학 조교수인 Tuba Yavuz와 함께 "임베디드 시스템을 위한 속성별 하드웨어 지향 형식 검증 모듈" 프로젝트에 협력할 예정입니다.
그들의 접근 방식 고유에는 하드웨어-소프트웨어 상호 작용으로 인한 버그 감지의 확장성과 정확성을 달성하기 위한 속성 중심 공동 모델 추출 및 속성별 런타임 검증 프로세스가 포함됩니다.
"성공적으로 연구는 공급업체가 초기 단계에서 보안 및 안전 취약성을 감지할 수 있는 방법론, 자동화 도구 및 시스템 수준 벤치마크를 제공할 것입니다"라고 Guo는 말했습니다. "가장 큰 영향은 인력 교육과 공식적인 방법 및 내장형 시스템 보안에 대한 참여 확대에 있을 것입니다."
이는 주로 Guo가 다음에서 개발하고 가르치는 과정을 통해 달성될 것입니다.칼 R. 아이스 공과던파 카지노, 홍보 이벤트 및 업계와의 협력.
