Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
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.
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Raymond Wu, Jie Lu
ITA Conference 2007
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975