SeReCon: A Secure Dynamic Partial Reconfiguration Controller | IEEE Conference Publication | IEEE Xplore