On the role of formal methods in security

Separation of concerns and layers of abstraction have long been advocated by proponents of programming methodology and have been used effectively far building large scale systems. In this paper, we use recent developments on power analysis attacks on cryptographic implementations to raise some questions about the applicability of these approaches especially to cryptography and security. (C) 2001 Published by Elsevier Science B.V.