Fatemeh Kazemeyni
	Home	Educational	Gallery	Personal	Links
CV

Academic Records
	Nov. 2008 – Present Department of Informatics, University of Oslo, Oslo, Norway. Program: PhD in Computer Science Research Area: Modeling and Verification for Wireless Sensor Networks Advisors: Ilangko Balasingham, Olaf Owe, Einar Broch Johnsen Sep. 2005 – Jan. 2008 Department of Computer Engineering and Information Technology, Amirkabir University of Technology (Tehran Poly technique), Tehran, Iran Program: Master of Science in Information Technology M. Sc. Project: “Host-based Worm Detection in P2P Networks” Advisor: B. Sadeghian Sep. 2000 – Feb. 2005 Department of Computer Engineering, Shahid Beheshti University, Tehran, Iran Program: Bachelor of Science, Computer Software Engineering B. Sc. Project: “Conceptual Classification of Web Pages” Advisor: M. ShamsFard Sep 1996 – Jul. 2000 Farzanegan High School, affiliated to the National Organization For Development of Exceptional Talents (NODET) Tehran, Iran. National Diploma with Math and Physics
Publications
	Refereed Publications [2010] F. Kazemeyni, E. B. Johnsen, O. Owe, and I. Balasinham, ''Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory ”, submitted to ACM Symposium on Applied Computing 2011 (ACM SAC 2011), Taichung, Taiwan, March 2011. [2010] R. Schlatte, E. B. Johnsen, F. Kazemeyni, and S. L. T. Tarifa, “Models of Rate Restricted Communication for Concurrent Objects”, In Proc. 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS'10), Shanghai, China, November 2010. [2010] F. Kazemeyni, E. B. Johnsen, O. Owe, and I. Balasinham, “Power-Efficient Sensor Networks: Modeling, Simulation and Verification ”, submitted to 22nd Nordic Workshop on Programming Theory (NWPT '10), Turku, Finland, November 2010. [2010] F. Kazemeyni, E. B. Johnsen, O. Owe, and I. Balasinham, “Grouping nodes in WSNs using coalitional game theory”, In Proc. FMOODS/FORTE’09, LNCS 6117. Springer, 2010, pp. 95–109. [2009] W. Leister, X. Liang, S. Klüppelholz, J. Klein, O. Owe, Fatemeh Kazemeyni, J. Bjørk, B. M. Østvold, ''Modelling of Biomedical Sensor Networks using the Creol Tools'', Technical report 1022, Norsk Regnesentral (Norwegian Computing Center, NR), ISBN 978-82-539-0532-7, 2009. [2008] F. Kazemeyni, B. Sadeghian and M. Shajari, “Host based Worm Detection in P2P Networks”, In Proc. Of 16^th Iranian Conference on Electrical Engineering (ICEE2008), Iran, 2008. (In Persian) [2007] F. Kazemeyni, N. Ramezani, M. Abbaspour and A. Behzadi , “Anomaly Detection Based on Bayesian Algorithm Using Port Scan Frequency”, Technical report, IPM, Tehran, Iran, 2008. [2007] F. Kazemeyni and B. Sadeghian, “Decreasing Bogus Alerts in P2P Networks by a Group Membership Protocol”, In proc. of 4^th Int. Asian applied computing conf. (AACC 2007), Nepal, 2007. [2005] M. Khordad, F. Kazemeyni and M. ShamsFard, “A Hybrid Method to Categorize HTML Documents”, In proc. of the 6^th Int. Conf. on Data Mining (DATA MINING VI), Skiathos, Greece, 2005. [2005] M. Khordad, F. Kazemeyni and M. ShamsFard, “Conceptual Classification of Web Pages”, In proc. of the 10^th Annual Int. CSI Computer Conf., Tehran, Iran, 2005. (In Persian) Non-Refereed Publications [2009] Fatemeh S. Kazemeyni, Olaf Owe, and Einar B. Johnsen, Model checking of the AODV Protocol Using Spin and Creol: Analysis and Comparison, Technical report, Oslo, Norway. [2008] F. Kazemeyni, Malicious, Host-based Worm Detection in P2P Networks, M.S. thesis, Amirkabir University of Technology, Tehran, Iran. (In Persian with English Abstract) [2006] F. Kazemeyni, Malicious Codes: Detection and Defense, M.S. seminar, Amirkabir University of Technology, Tehran, Iran. (In Persian with English Abstract) [2005] F. Kazemeyni, Conceptual Classification of Web Pages, BS Thesis, Shahid Beheshti University, Tehran, Iran. (In Persian with English Abstract)
work experiences
	Present University of Oslo, Oslo, Norway Interventional Centre of Rikshospitalet, Oslo, Norway Research fellow. 2008 Pars Processing Pioneer Co. Tehran, Iran. Security Engineer, DataBase security. 2006 Iranian Research and Academic Network (IRANET), Tehran, Iran Researcher, Researching on network security and intrusion detection systems and developing anomaly based IDS. 2005 Eta Co. , Tehran, Iran System Analyst and Software Designer, Analyzing an accounting system and designing software for this system. 2004 Samen Samaneh Co. , Tehran, Iran Programmer, ASP programming and designing web pages. 2003 KhobrePardaz Pars Co. , Tehran, Iran Programmer, Software programming.
Academic Projects
	Cryptology: Design & Implementation of new cipher using AES component. Secure Protocol: Implementation of digital coin protocol Database Security: Research on wireless network trust management Operating System Security: Research on Virus structures Data Base: Modeling, Design and Implementation of the "Organ Transplantation", using C# and SQL Server 2000. Operating System: Simulating memory management of operating system, using C#. Compiler: Designing a sample programming language and implementing compiler (scanner, parser, code generator, and error handler) for it, using VC++. Computer Graphics: Designing a Paint editor using C#. Network Security: Setting up VPN, Designing Firewall Interfaces.
Skills
	Modeling Experiece in Maude, Creol, Spin model checkers. Programming Experience in C, C++, C#, VB.Net, and Java programming. Database Programming with PL SQL. Web programming with ASP.Net, Java Script, HTML. Software Experience with Rational Unified Process (RUP) and UML. Experience with Microsoft SQL Server 2000, MySQL, and Oracle. Experience with Snort IDS. Experience with NS simulator. Familiarity with Qt Designer Development kit. Other Skills Network configuration of Linux and Windows operating systems.