Afshin Lamei

Ph.D.
Formal Security Lab.

Department of Computer Engineering and Information Technology
Amirkabir University of Technology (Tehran Polytechnic)

 

<lamei> AT aut D0T ac DOT ir

 


I've received my BSc in Computer Engineering with major in Software from the University of Tehran, Electrical and Computer Engineering Department (2004), and my MSc in Information Technology (2007) and my Ph.D in Software Engineering (2016) from the Department of CEIT, AmirKabir University of Technology

My Ph.D. thesis title was Formal Characterization of Security Policy Enforcement by Automated Program Rewriting and I was working under supervision of Professor Mehran S. Fallah.

My MSc thesis title was Modeling and Improving Public Key Certificate Revocation Schemes in Wireless Mobile Ad hoc Networks (Abstract) and I was working under supervision of Professor Mehran S. Fallah.

 

Publications:

Lamei, Afshin, and Mehran S. Fallah. "Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values." Journal of Universal Computer Science 22.7 (2016): 956-991. (pdf)

کارخانه, هانیه و افشین لامعی، ۱۳۹۳، تدوین معماری بومی امنیت سازمانی بر اساس نیازمندیهای لایه های معماری سازمانی، هشتمین کنفرانس ملی فرماندهی و کنترل ایران (C4I)، تهران، دانشگاه هوایی شهید ستاری، http://www.civilica.com/Paper-CCCI08-CCCI08_136.html