Hybrid Flow-Sensitive Security Monitor For JavaScript<\/a>\u201c, Tech. Rpt. No. ECE-2016-05-19-1, Department of Electrical and Computer Engineering, University of Victoria, Canada, May 2016.<\/span><\/li>\n<\/ul>\n<\/span><\/p>\n\n- Almulhem A., and I. Traore, \u201cConnections chains: a review and taxonomy\u201d, Tech. Rpt. No. ECE05-44, Department of Electrical and Computer Engineering, University of Victoria, Canada, July 2004 (10 pages).<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- Wei Lu, and I. Traore, \u201cAn unsupervised anomaly detection framework for network intrusions\u201d, Tech. Rpt. No. ECE05-2, Department of Electrical and Computer Engineering, University of Victoria, Canada, July 2004 (10 pages).<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- D. B. Aredo, I. Traore, M.L. Yanguo, H. Ye, \u201cIntegration of structured review and model-based verification: a case study\u201d, Research Report No. ECE04-03, July 2004, Department of Electrical and Computer Engineering, University of Victoria, Canada.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, M.L. Yanguo, \u201cEvaluation of whitenoise cryptosystem\u201d, Technical Report No. ECE03-3, 2003, Department of Electrical and Computer Engineering, University of Victoria, Canada.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, A.E.K. Sahraoui, \u201cFormalizing large-scale requirements: an avionics case study\u201d, Research Report no. ECE02-01, Department of Electrical and Computer Engineering, University of Victoria, May 2002.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, Aug. 1999, \u201cThe UML specification of the ntegrator\u201d, Technical Report No. 275, Department of Informatics, University of Oslo, Norway.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, D. B. Aredo, K. Stolen, August 1999, \u201cTracking inconsistencies in an integrated platform\u201d, Research report no. 274, Department of Informatics, University of Oslo, Norway.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- D.B. Aredo, I. Traore, K. Stolen, August 1999, \u201cTowards a formalisation UML class structure in PVS\u201d, Research report no. 272, Department of Informatics, University of Oslo, Norway.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, K. Stolen, Aug. 1999, \u201cTowards the definition of a platform supporting the formal development of open distributed systems\u201d, Research report no. 271, Department of Informatics, University of Oslo, Norway.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- A.E.K. Sahraoui, I. Traore, \u201cBridging the gap between formal and semi-formal methods for discrete control: a case study with VDM and statecharts\u201d, Research Report no. 99249, June 1999, LAAS-CNRS, Toulouse, France.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, A.E.K. Sahraoui, \u201cIntegrating formal methods in the development process: an approach with VDM and statecharts\u201d, Research Report no. 98253, June 1998, LAAS-CNRS, Toulouse, France.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- M. Romdhani, I. Traore, A.E.K. Sahraoui, \u201cA multiformalism approach for system specification\u201d, Research Report N0. 97086, March 1997, LAAS-CNRS, Toulouse, France.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, \u201cApplication characterization and multiformalism in software engineering\u201d. PhD thesis, LAAS-CNRS, Toulouse, France, May 1998.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- A.E.K. Sahraoui, M. Romdhani, A. Jeffroy, I. Traore, \u201cA multi-formalism approach for codesign in the development of avionics\u201d, Research Report no. 96026, May 1996, LAAS-CNRS, Toulouse, France.<\/span><\/li>\n<\/ul>\n
<\/span><\/p>\n\n- I. Traore, Feb. 1996, \u201cProblematics of the strategies of integration of formal methods in the development of complex and critical systems\u201d, Research report no. 96019, LAAS-CNRS, 7 Av. du colonel Roche, 31077 Toulouse, France.<\/span><\/li>\n<\/ul>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"
B. Sayed, I. Traore, and A. Abdelhalim, \u201cHybrid Flow-Sensitive Security Monitor For JavaScript\u201c, Tech. Rpt. No. ECE-2016-05-19-1, Department of Electrical and Computer Engineering, University of Victoria, Canada, May 2016. Almulhem A., and I. Traore, \u201cConnections chains: a review and taxonomy\u201d, Tech. Rpt. No. ECE05-44, Department of Electrical and Computer Engineering, University of Victoria, Canada, July […]<\/p>\n","protected":false},"author":17669,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"
- B. Sayed, I. Traore, and A. Abdelhalim, \u201cHybrid Flow-Sensitive Security Monitor For JavaScript<\/a>\u201c, Tech. Rpt. No. ECE-2016-05-19-1, Department of Electrical and Computer Engineering, University of Victoria, Canada, May 2016.<\/li>
- Almulhem A., and I. Traore, \u201cConnections chains: a review and taxonomy\u201d, Tech. Rpt. No. ECE05-44, Department of Electrical and Computer Engineering, University of Victoria, Canada, July 2004 (10 pages).<\/li>
- Wei Lu, and I. Traore, \u201cAn unsupervised anomaly detection framework for network intrusions\u201d, Tech. Rpt. No. ECE05-2, Department of Electrical and Computer Engineering, University of Victoria, Canada, July 2004 (10 pages).<\/li>
- D. B. Aredo, I. Traore, M.L. Yanguo, H. Ye, \u201cIntegration of structured review and model-based verification: a case study\u201d, Research Report No. ECE04-03, July 2004, Department of Electrical and Computer Engineering, University of Victoria, Canada.<\/li>
- I. Traore, M.L. Yanguo, \u201cEvaluation of whitenoise cryptosystem\u201d, Technical Report No. ECE03-3, 2003, Department of Electrical and Computer Engineering, University of Victoria, Canada.<\/li>
- I. Traore, A.E.K. Sahraoui, \u201cFormalizing large-scale requirements: an avionics case study\u201d, Research Report no. ECE02-01, Department of Electrical and Computer Engineering, University of Victoria, May 2002.<\/li>
- I. Traore, Aug. 1999, \u201cThe UML specification of the ntegrator\u201d, Technical Report No. 275, Department of Informatics, University of Oslo, Norway.<\/li>
- I. Traore, D. B. Aredo, K. Stolen, August 1999, \u201cTracking inconsistencies in an integrated platform\u201d, Research report no. 274, Department of Informatics, University of Oslo, Norway.<\/li>
- D.B. Aredo, I. Traore, K. Stolen, August 1999, \u201cTowards a formalisation UML class structure in PVS\u201d, Research report no. 272, Department of Informatics, University of Oslo, Norway.<\/li>
- I. Traore, K. Stolen, Aug. 1999, \u201cTowards the definition of a platform supporting the formal development of open distributed systems\u201d, Research report no. 271, Department of Informatics, University of Oslo, Norway.<\/li>
- A.E.K. Sahraoui, I. Traore, \u201cBridging the gap between formal and semi-formal methods for discrete control: a case study with VDM and statecharts\u201d, Research Report no. 99249, June 1999, LAAS-CNRS, Toulouse, France.<\/li>
- I. Traore, A.E.K. Sahraoui, \u201cIntegrating formal methods in the development process: an approach with VDM and statecharts\u201d, Research Report no. 98253, June 1998, LAAS-CNRS, Toulouse, France.<\/li>
- M. Romdhani, I. Traore, A.E.K. Sahraoui, \u201cA multiformalism approach for system specification\u201d, Research Report N0. 97086, March 1997, LAAS-CNRS, Toulouse, France.<\/li>
- I. Traore, \u201cApplication characterization and multiformalism in software engineering\u201d. PhD thesis, LAAS-CNRS, Toulouse, France, May 1998.<\/li>
- A.E.K. Sahraoui, M. Romdhani, A. Jeffroy, I. Traore, \u201cA multi-formalism approach for codesign in the development of avionics\u201d, Research Report no. 96026, May 1996, LAAS-CNRS, Toulouse, France.<\/li>
- I. Traore, Feb. 1996, \u201cProblematics of the strategies of integration of formal methods in the development of complex and critical systems\u201d, Research report no. 96019, LAAS-CNRS, 7 Av. du colonel Roche, 31077 Toulouse, France.<\/li><\/ol>","_et_gb_content_width":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[6,4],"tags":[],"class_list":["post-381","post","type-post","status-publish","format-standard","hentry","category-complete-list","category-publications"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/posts\/381","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/users\/17669"}],"replies":[{"embeddable":true,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/comments?post=381"}],"version-history":[{"count":7,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/posts\/381\/revisions"}],"predecessor-version":[{"id":1097,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/posts\/381\/revisions\/1097"}],"wp:attachment":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/media?parent=381"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/categories?post=381"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/isot\/wp-json\/wp\/v2\/tags?post=381"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}