Finite state machine IP watermarking: A tutorial

Proceedings - First NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2006

Volumn 2006, Issue , 2006, Pages 457-464

  Abdel Hamid, Amr T ^a   Tahar, Sofiène ^b   Aboulhamid, El Mostapha ^c  

^a West Virginia University   (United States)

^b Dept of Electrical and Computer Engineering   (Canada)

^c UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCK CODES; COPYRIGHTS; FINITE AUTOMATA; INTERNET; ROBUSTNESS (CONTROL SYSTEMS); SECURITY OF DATA;

COPYRIGHT PROTECTION; FINITE STATE MACHINE (FSM); HIERARCHICAL FINITE STATE MACHINES (HFSM); INDUSTRIAL PROJECTS;

DIGITAL WATERMARKING;

EID: 33845574341     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AHS.2006.40     Document Type: Conference Paper

References (18)

1. A. T. Abdel-Hamid, S. Tahar, and E.M. Aboulhamid, "A Public-Key Watermarking Technique for IP Designs"; IEEE/ACM Design Automation and Test in Europe (DATE'05), Munich, Germany, March 2005, pp. 330-336.
2. A. T. Abdel-Hamid, S. Tahar, and E.M. Aboulhamid, "A Survey on IP Watermarking Techniques"; International Journal on Design Automation for Embedded Systems, Springer-Verlag press, Vol. 9, No. 3, July 2005, pp. 211-227.
3. A. T. Abdel-Hamid, M. Zaki, and S. Tahar, "A tool for Converting Finite State Machine to VHDL", Proc. of IEEE Canadian Conference on Electrical & Computer Engineering, Niagara Falls, Ontario, Canada, Vol. 4, May 2004, pp. 1907-1910.
4. A.T. Abdel-Hamid, S. Tahar and E.M. Aboulhamid, "A Tool for Automatic Watermarking of IP Designs", Proc. IEEE Northeast Workshop on Circuits and Systems (NEWCAS'04), Montreal, Quebec, Canada, June 2004, pp. 381-384.
5. S. Cravar, "On Public-key Steganography in the Presence of an Active Warden", Technical Report RC20931. IBM Research Division, T. J. Watson Research Center, July 1997.
6. W. Diffie and M.E. Hellman, "New Directions in Cryptography", IEEE Transactions on Information Theory, Vol. 22, No. 6, 1976, pp. 644-654.
7. A. Girault, B. Lee, and E. A. Lee,"Hierarchical Finite State Machines with Multiple Concurrency Models", IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems, Vol. 18, No. 6, June 1999, pp. 742-760
8. D. Hard, "Statecharts: A Visual Formalism for Complex Systems", ACM Science of Computer Programming, Vol. 8 , No. 3, June 1987, pp. 231-274.
9. Intellectual Property Protection Development Working Group, "Intellectual Property Protection: Schemes, Alternatives and Discussion", VSI Alliance, White Paper, Version 1.1, August 2001.
10. A. Kerckhoffs, "La cryptographie militaire", Journal des sciences militaires, vol. IX, Janvier 1883, pp. 538, Fvrier 1883, pp. 161191.
11. K. McElvain, "LGSyntb.93 Benchmark Set: Version 4.0", Http://www.cbl.ncsu.edu/pub/Benchmark_dirs/LGSynth93/, 1993.
12. A. L. Oliveira, "Techniques for the Creation of Digital Watermarks in Sequential Circuit Designs", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 20, No. 9, September 2001, pp. 1101-1117.
13. F. A. P. Petitcolas,"Watermarking Schemes Evaluation", IEEE Magazine of Signal Processing, Vol. 17, No. 5, September 2000, pp. 58-64.
14. F. A. P. Petitcolas, R.J. Anderson, and M. G. Kuhn, "Attacks on copyright marking systems", Information Hiding, LNCS 1525, Springer-Verlag, 1998, pp. 219-239.
15. R. Rivest, "RFC 1321: The MD5 Message-Digest Algorithm", Network Working Group, 1992.
16. E. M. Sentovich, et al., "SIS: A System for Sequential Circuit Synthesis", Technical Report 94720, Dept. of Electrical Engineering and Computer Science, University of California, Berkeley, USA, 1992.
17. I. Torunoglu, and E. Charbon, "Watermarking-Based Copyright Protection of Sequential Functions", IEEE Journal of Solid-State Circuits, Vol. 35, No. 3, February 2000, pp. 434-440.
18. M. Von Der Beeck, A Comparison of Statecharts Variants, In Proc. Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 863, Springer-Verlag 1994, pp. 128148.