국제 사이버 검증 카지노 행사에서 우승한 팀의 공학 박사 과정 학생 2명
맨해튼 — 검증 카지노 주립대학교 전기 및 컴퓨터 공학 박사 과정 학생 2명이 2022 HACK@SEC 가상 사이버 보안 이벤트에서 우승한 4명 팀의 일원이었습니다.
Weimin Fu와 Zhaoxiang Liu, 박사 과정 학생마이크 위거스 전기 및 컴퓨터 검증 카지노과은 이벤트에서 우승한 Gator Hawk Cat 커뮤니티 팀의 일원이었습니다. University of Florida의 Michael Lee와 Ruochen Dai가 4인조 팀을 구성하여 다음으로 1위를 차지했습니다.준우승으로 마무리1년 전.
해킹@SEC은 세계 최대의 하드웨어 검증 카지노 "플래그 캡처" 대회로 자칭하며 올해 USENIX 검증 카지노 컨퍼런스와 함께 개최되었습니다. Gator Hawk Cat 커뮤니티는 전 세계 25개 팀을 이겼습니다.
"작년에 2위를 차지한 후 우리 팀이 1위를 차지하게 되어 기뻤습니다."라고 전기 및 컴퓨터 공학 조교수이자 K-State의 팀 고문인 Xiaolong Guo가 말했습니다. "세계 최대 규모의 하드웨어 검증 카지노 대회 중 하나에서 이러한 성과를 거둘 수 있었던 것은 우리 팀과 팀원들의 노력 덕분입니다."
Fu와 Liu는 모두 Guo의 집에서 일합니다하드웨어 검증 카지노 연구실전기 및 컴퓨터 검증 카지노과에 있습니다. 푸, 출신지중국 길림은 최종 제품의 되돌릴 수 없는 설계 결함을 방지하기 위해 자신의 설계 코드 분석 도구를 사용하여 하드웨어 설계에서 발생할 수 있는 위험과 결함을 검사합니다. 리우, 출신중국 베이징은 하드웨어 설계의 중간 표현을 분석하고 솔버를 사용하여 하드웨어의 잠재적 취약성을 확인하는 등 하드웨어의 형식적 검증에 연구를 집중해 왔습니다.
