menu Research Members Papers Contact language
Research Members Papers Contact فارسی

ATLAS Lab

Welcome to Analysis and Design of Secure Systems Lab

About

ATLAS lab was founded in 2007 (1386 S.H.) by Dr Hamid-Reza Shahriari in Computer Engineering Department of Amirkabir University of Technology. Lab title is “Design and Analysis of Secure Systems” which in Persian language is abbreviated as “ATLAS”.

Main research areas of ATLAS lab are as follows:

  • Software Security
  • AI and Security
  • Malware Detection
  • Privacy
school
book

Awards

  • Best Workshop Award (2016): “Security Vulnerabilities of Android Apps and Secure Programming in Android”, 13th International ISC (Iranian Society of Cryptology) Conference on Information Security and Cryptology – ISCISC’2106.
  • Elite Young Researcher (2010): Award by National Elites Foundation.
book

Publication Highlights

Below are a few high-lights of our various publications in international journals and conferences. For a full list of publications visit the papers page:

  • H. Homaei, H.R. Shahriari, “Athena: a Framework to Automatically Generate Security Test Oracle via Extracting Policies from Source Code and Intended Software Behaviour”, Information and Software Technology, Elsevier, Nov 2018.
  • S.M. Ghaffarian, H.R. Shahriari, “Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey”, ACM Computing Surveys (CSUR), vol 50, issue 4, article 56, Nov 2017.

Amirkabir University of Technology