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
-
University of Oxford
eMail.
amir.payberah@cs.ox.ac.uk,
payberah@gmail.com
Department of Computer Engineering and Information Technology at amirkabir university of technology (tehran polytechnic)
eMail.
msfallah@aut.ac.ir
Department of Computer Engineering and Information Technology at amirkabir university of technology (tehran polytechnic)
eMail.
shahriari@aut.ac.ir