Publications :

1.Hasan M. Al-Refai, 2010. New Bisimulation Technique For Cryptographic Protocols In The Spi-Calculus. Journal of Institute of Mathematics and Computer Science. Sent and still under process.[pdf]

2.Hasan M. Al-Refai, 2010.The New formal method Calculus For Cryptographic Protocols. Science World International Journal. Sent and still under process [PDF]

Conferences, Symposiums, Seminars Workshops:

• Amer AbuAli, Hasan Al Refai, Models in Security, International conference on Information Systems and Economic Intelligence (SIIE), Tunisia,2010.
• Hasan M. Al-refai. 2009. Evaluation Technique In The Spi-Calculus For Cryptographic Protocols. Third International Symposium on Innovation in Information Communication Technology - ISIICT 2009 (From 15 - 17 December, 2009).[PDF]
• Hasan M. Al-refai, Tengku M. T. Sembok Mohammed Yusoff. 2004. Decidablity of Cryptographic Protocol Properties through Framed bisimulation. Proc. International conference on Informatics. 2(1): 779-796.
• Hasan M. Al-refai. 2009. New Technique In The Spi-Calculus For Cryptographic Protocols. The 20th IASTED International Conference on Modelling and Simulation ~MS 2009~ July 6 8, 2009. Banff, Alberta, Canada. Accepted.

Consultation, and Training Activities:

• IJOPCM Editorial Board Editorial Review Board, International Journal of Open Problems in Computer Science. WebSite
• Program Committee, Third International Symposium on Innovation in Information Communication Technology - ISIICT 2009 (From 15 - 17 December, 2009).
• Reviewer at Third International Symposium on Innovation in Information Communication Technology - ISIICT 2009 (From 15 - 17 December, 2009).