Behrouz Tork Ladani
Colleague (@University of Isfahan)
+98 31 37934069
Behrouz Tork Ladani holds a bachelor's in Computer Engineering from University of Isfahan, MSc. in Software Engineering from Amir Kabir University of Technology and a Ph.D. in Software Engineering from University of Tarbiat Modarres. He joined University of Isfahan (UI) in 2005 and currently is a full professor in the Faculty of Computer Engineering at this University. His research interest is around modeling, analysis and verification of security in information syetems including software security (vulnerability detection and malware analysis), and soft security (computational trust and rumor control in social networks).more
Papers in English
- Maaker: A framework for detecting and defeating evasion techniques in Android malware
- A Model-Based Framework for Inter-App Vulnerability Analysis of Android Applications
- A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications
- Automatic Generation of XACML Code using Model-Driven Approach
- A machine learning approach for detecting and categorizing evasion sources in Android malware
- Curious-Monkey: Evolved Monkey for triggering malicious payloads in Android malware
- MEGDroid: A Model-Driven Event Generation Framework for Dynamic Android Malware Analysis
- Enhancing Monkey to trigger malicious payloads in Android malware
- VAnDroid: A framework for vulnerability analysis of Android applications using a model‐driven reverse engineering technique
- An automatic test case generator for evaluating implementation of access control policies
- Towards automatic generation of formal specifications for UML consistency verification
Papers in Persian
- تشخیص حمله وکیل سرگردان در برنامه‌های اندرویدی با استفاده از رویکرد مهندسی معکوس مدل‌رانده
- بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل
- تولید خودکار موارد آزمون جهت ارزیابی صحت پیاده‌سازی سیاست‌های کنترل دسترسی
- آزمون فاز اکتشافی جهت کشف خطاهای نرم‌افزاری
- توصیه رفاقتی برای بهبود مدیریت اعتماد در شبکه‌های اقتضایی حمل و نقل
- خودکارسازی تبدیل مدل جهت تسهیل وارسی رفتار پویای سیستم
- استفاده از بررسی مدل در سیستم های کنترل ترافیک: یک کاربرد عملی