Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
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.
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Oliver Bodemer
IBM J. Res. Dev