user-icon
Bo-Yuan Huang
Networks
None yet.
Bio

None provided.

Agenda
event-icon

Research Reviewed

54.1 - Formal Security Verification of Concurrent Firmware in SoCs using Instruction-Level Abstraction for Hardware

3:30 PM–5:30 PM Jun 27, 2018

Room 3014

Interests
None yet.