M.F. Cowlishaw
IBM Systems Journal
Separation of concerns and layers of abstraction have long been advocated by proponents of programming methodology and have been used effectively for building large scale systems. Developments on power analysis attacks on cryptographic implementations were used to raise some questions about the applicability of these approaches especially to cryptography and security. Some of the formal methods are presented.
M.F. Cowlishaw
IBM Systems Journal
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine