In Proceedings of the 49th Design Automation Conference (DAC), June 2012. Invited paper.
Design Challenges for Secure Implantable Medical Devices
https://spqr.eecs.umich.edu/papers/49SS2-3_burleson.pdf
https://spqr.eecs.umich.edu/slides/49SS2-3.pptx