Siamak Hatami

Siamak Hatami

eMail:

Welcome to my research page! My interests are at the intersection of Web application technologies (full stack), security, programing languages and formal methods. I developed frameworks for the design/development of web applications and conducted researches on programing languages' security.

Research Interests
  • Web Design and Security
  • Formal Methods and Mathematical Logic
  • Information Security and Privacy Preserving
  • Model Checking
Education
M.Sc. Information Security Engineering, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran
Supervisor. Dr. Mehran S. Fallah 2013 - 2016

B.Sc. Software Engineering, Shamsipour University of Tehran, Iran
Supervisor. Sadatyazdi 2012
Publications

Siamak Hatami. (2017), The Automatic Development of SEO-friendly Single Page Applications Based on HIJAX Approach. in 18th International Conference on Web Information Systems Engineering (WISE 2017).

Siamak Hatami, Mehran S. Fallah. (2018). Verifying Abstract Noninterference in an Imperative Language with Function Calls. Ready to Submit.

Honors
  • Ranked 30th amongst about 30,000 participants in Iran nationwide universities and colleges entrance exam for M.Sc in Information Technology Engineering. Year 2013
  • Ranked 124th amongst about 65,000 participants in Iran nationwide universities and colleges entrance exam for B.Sc in Software Engineering. Year 2010
  • Ranked top 1% amongst about 65,000 participants in Iran nationwide universities and colleges entrance exam for B.Sc in Hardware Engineering. Year 2010
  • Ranked 3th in Information security practical competition at the Amirkabir University of Technology (Tehrhan Polytechnic). Year 2013
Experienced in Topics
  • Web Application Design and Security
  • Information and Computer Security
  • Program Analysis and Formal Methods
  • Vulnerabilities and Exploits
  • OWASP (Code Review, Testing Guide, Cheat Sheet, ASVS)
  • Secure Coding in C# and Java
  • Android Application Development
  • OS & Application Hardening and Deployment
  • Big Data & Cloud Computing
  • Database Design and Security Models
  • Cryptography
  • Secure Protocol Design
  • 3D-Modeing
References

Amir Hossein Payberah

University of Oxford

eMail. ,

Mehran S. Fallah

Department of Computer Engineering and Information Technology at amirkabir university of technology (tehran polytechnic)

eMail.

Hamid Reza Shahriari

Department of Computer Engineering and Information Technology at amirkabir university of technology (tehran polytechnic)

eMail.