Security Evaluation of Asynchronous Circuits

  • Jacques J. A. Fournier
  • Simon Moore
  • Huiyun Li
  • Robert Mullins
  • George Taylor
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2779)

Abstract

Balanced asynchronous circuits have been touted as a superior replacement for conventional synchronous circuits. To assess these claims, we have designed, manufactured and tested an experimental asynchronous smart-card style device. In this paper we describe the tests performed and show that asynchronous circuits can provide better tamper-resistance. However, we have also discovered weaknesses with our test chip, some of which have resulted in new designs, and others which are more fundamental to the asynchronous design approach. This has led us to investigate the novel approach of design-time security analysis rather than rely on post manufacture analysis.

Keywords

Asynchronous circuits Dual-Rail encoding Power Analysis EMA Fault Analysis Design-time security evaluation 

References

  1. 1.
    Moore, S., Anderson, R., Cunningham, P., Mullins, R., Taylor, G.: Improving Smart Card Security using Self-timed Circuits. In: Proc. 8th IEEE International Symposium on Asynchronous Circuits and Systems – ASYNC 2002, pp. 23–58. IEEE, Los Alamitos (2002)Google Scholar
  2. 2.
    Plana, L.A., Riocreux, P.A., Bainbridge, W.J., Bardsley, A., Garside, J.D., Temple, S.: SPA - a synthesisable amulet core for smartcard applications. In: Proc. 8th IEEE International Symposium on Asynchronous Circuits and Systems – ASYNC 2002, pp. 201–210. IEEE, Los Alamitos (2002)CrossRefGoogle Scholar
  3. 3.
    Mayer-Sommer, R.: Smartly Analyzing the Simplicity and the Power of Simple Power Analysis on Smartcards. In: Paar, C., Koç, Ç.K. (eds.) CHES 2000. LNCS, vol. 1965, p. 78. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
  5. 5.
    Boneh, D., DeMillo, R.A., Lipton, R.J.: On the importance of checking cryptographic protocols for faults. In: Fumy, W. (ed.) EUROCRYPT 1997. LNCS, vol. 1233, pp. 274–285. Springer, Heidelberg (1997)Google Scholar
  6. 6.
    Biham, E., Shamir, A.: Differential fault analysis of secret key cryptosystems. In: Kaliski Jr., B.S. (ed.) CRYPTO 1997. LNCS, vol. 1294, pp. 513–525. Springer, Heidelberg (1997)Google Scholar
  7. 7.
    Kocher, P., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, pp. 388–397. Springer, Heidelberg (1999)Google Scholar
  8. 8.
    Gandolfi, K., Mourtel, C., Olivier, F.: Electromagnetic analyis: Concrete results. In: Koç, Ç.K., Naccache, D., Paar, C. (eds.) CHES 2001. LNCS, vol. 2162, p. 251. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Quisquater, J.-J., Samyde, D.: ElectroMagnetic analysis EMA: Measures and coutermeasures for smart cards. In: Attali, S., Jensen, T. (eds.) E-smart 2001. LNCS, vol. 2140, pp. 200–210. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  10. 10.
    Anderson, R., Kuhn, M.: Tamper resistance – a cautionary note. In: Second USENIX Workshop on Electronic Commerce, USENIX, Oakland, California, November 1996, pp. 1–11 (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jacques J. A. Fournier
    • 1
  • Simon Moore
    • 2
  • Huiyun Li
    • 2
  • Robert Mullins
    • 2
  • George Taylor
    • 2
  1. 1.Security Technologies DepartmentGemplusLa CiotatFrance
  2. 2.Computer LaboratoryUniversity of CambridgeUSA

Personalised recommendations