Refinement-Based Verification of Device-to-Device Information Flow.

Ning Dong, Roberto Guanciale, Mads Dam

Browse the full FMCAD paper archive.