Linked Presentation: P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling