Ensuring Secure Information Flow in Partially Reconfigurable Architectures by Means of Process Algebra Analysis.

Andr Seffrin, Sorin A. Huss

Browse the full TrustCom paper archive.