menu پژوهش اعضا مقالات تماس language
پژوهش اعضا مقالات تماس English

آزمایشگاه اطلس

به «آزمایشگاه طراحی و تحلیل سامانه‌های امن» خوش آمدید

معرفی

آزمایشگاه «اطلس» در سال ۱۳۸۶ (۲۰۰۷ میلادی) توسط دکتر حمیدرضا شهریاری در دانشکده مهندسی کامپیوتر و فناوری اطلاعات دانشگاه صنعتی امیرکبیر پایه گذاری شد. عنوان «آزمایشگاه طراحی و تحلیل سامانه‌های امن» می‌باشد که بطور مخفف «اطلس» نامیده می‌شود.

حوزه‌های اصلی پژوهشی در آزمایشگاه اطلس عبارتند از:

  • تحلیل امنیتی نرم‌افزار
  • هوش مصنوعی و امنیت رایانش
  • تحلیل و کشف بدافزار
  • حریم خصوصی
school
book

مقالات شاخص

چند مورد شاخص از مقالات منتشر شده در ژورنال‌های معتبر بین‌المللی در زیر آمده است. برای مشاهده فهرست کاملی از مقالات منتشر شده توسط اعضای آزمایشگاه، به بخش «مقالات» مراجعه نمایید.

  • 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.

دانشگاه صنعتی امیرکبیر