Passive Testing - A Constrained Invariant Checking Approach. - Behrouz Tork Ladani; Baptiste Alcalde; Ana R. Cavalli (TestCom, 2005)

Specification and Implementation of Multi-Agent Organizations. - Fatemeh Ghassemi; Naser Nematbakhsh; Behrouz Tork Ladani; Marjan Sirjani (WEBIST (1), 2006)

A Dynamic Reconfigurable Web Service Composition Framework Using Reo Coordination Language. - Soheil Saifipoor; Behrouz Tork Ladani; Naser Nematbakhsh (ECOWS, 2007)

Measuring of Strategies' Similarity in Automated Negotiation. - Lena Mashayekhy; Mohammad Ali Nematbakhsh; Behrouz Tork Ladani (IMECS, 2007)

Comparing Negotiation Strategies Based on Offers. - Lena Mashayekhy; Mohammad Ali Nematbakhsh; Behrouz Tork Ladani (DMBiz@PAKDD, 2007)

A New Approach for Scoring Relevant Documents by Applying a Farsi Stemming Method in Persian Web Search Engines. - Hamed Shahbazi; Alireza Mokhtaripour; Mohammad Dalvi Esfahani; Behrouz Tork Ladani (CSICC, 2008)

A continuous double auction method for resource allocation in computational grids. - Hesam Izakian; Behrouz Tork Ladani; Kamran Zamanifar; Ajith Abraham; Václav Snásel (CISched, 2009)

A conceptual framework for specification, analysis, and design of anonymity services. - Marzieh Ispareh; Behrouz Tork Ladani (EDBT/ICDT Workshops, 2009)

A Novel Particle Swarm Optimization Approach for Grid Job Scheduling. - Hesam Izakian; Behrouz Tork Ladani; Kamran Zamanifar; Ajith Abraham (ICISTM, 2009)

Toward a software development methodology for anonymity applications. - Marzieh Ispareh; Behrouz Tork Ladani; Shirin Shariat Panahi; Zahra Nasr Azadani (EDBT/ICDT Workshops, 2010)

Adaptive Similarity Aggregation Method for Ontology Matching. - Mohammad Mehdi Keikha; Mohammad Ali Nematbakhsh; Behrouz Tork Ladani (EMS, 2010)

Liveness Verification in TRSs Using Tree Automata and Termination Analysis. - Mousa Mousazadeh; Behrouz Tork Ladani; Hans Zantema (Comput. Informatics, 2010)

An auction method for resource allocation in computational grids. - Hesam Izakian; Ajith Abraham; Behrouz Tork Ladani (Future Gener. Comput. Syst., 2010)

Anonymity and security for autonomous mobile agents. - Fatemeh Raji; Behrouz Tork Ladani (IET Inf. Secur., 2010)

A Context-Aware Reputation-Based Model of Trust for Open Multi-agent Environments. - Ehsan Mokhtari; Zeinab Noorian; Behrouz Tork Ladani; Mohammad Ali Nematbakhsh (Canadian AI, 2011)

An Entropy Based Approach for DDoS Attack Detection in IEEE 802.16 Based Networks. - Maryam Shojaei; Naser Movahhedinia; Behrouz Tork Ladani (IWSEC, 2011)

A model for specification, composition and verification of access control policies and its application to web services. - Zahra Derakhshandeh; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2011)

Quantitative verification of beta reputation system using PRISM probabilistic model checker. - Amir Jalaly Bidgoly; Behrouz Tork Ladani (ISCISC, 2013)

Structural Weights in Ontology Matching. - Mohammad Mehdi Keikha; Mohammad Ali Nematbakhsh; Behrouz Tork Ladani (CoRR, 2013)

GTrust: a group based trust model. - Mansooreh Ezhei; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2013)

DoS and port scan attack detection in high speed networks. - Masoud Hasanifard; Behrouz Tork Ladani (ISCISC, 2014)

Randomized gossip algorithms under attack. - Mousa Mousazadeh; Behrouz Tork Ladani (Int. J. Inf. Sec., 2014)

DDoS attack detection in IEEE 802.16 based networks. - Maryam Shojaei; Naser Movahhedinia; Behrouz Tork Ladani (Wirel. Networks, 2014)

Modelling and Quantitative Verification of Reputation Systems Against Malicious Attackers. - Amir Jalaly Bidgoly; Behrouz Tork Ladani (Comput. J., 2015)

Gossip-based data aggregation in hostile environments. - Mousa Mousazadeh; Behrouz Tork Ladani (Comput. Commun., 2015)

GGRA: a grouped gossip-based reputation aggregation algorithm. - Safieh Ghasemi Falavarjani; Behrouz Tork Ladani; Simin Ghasemi (ISC Int. J. Inf. Secur., 2015)

Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs. - Fereidoun Moradi; Hamid Mala; Behrouz Tork Ladani (Wirel. Pers. Commun., 2015)

Automated program repair using genetic programming and model checking. - Zahra Zojaji; Behrouz Tork Ladani; Alireza Khalilian 001 (Appl. Intell., 2016)

Benchmarking reputation systems: A quantitative verification approach. - Amir Jalaly Bidgoly; Behrouz Tork Ladani (Comput. Hum. Behav., 2016)

Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers. - Amir Jalaly Bidgoly; Behrouz Tork Ladani (Comput. J., 2016)

A Formal Model for Security Analysis of Trust and Reputation systems. - Seyed Asgary Ghasempouri; Behrouz Tork Ladani (ISCISC, 2017)

Information sharing vs. privacy: A game theoretic analysis. - Mansooreh Ezhei; Behrouz Tork Ladani (Expert Syst. Appl., 2017)

An automatic test case generator for evaluating implementation of access control policies. - Marzieh Safarzadeh; Mahboubeh Taghizadeh; Bahman Zamani; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2017)

Modeling trust and reputation systems in hostile environments. - Seyed Asgary Ghasempouri; Behrouz Tork Ladani (Future Gener. Comput. Syst., 2019)

Interdependent Security Game Design over Constrained Linear Influence Networks. - Seyed Alireza Hasheminasab; Behrouz Tork Ladani; Tansu Alpcan (ISC Int. J. Inf. Secur., 2019)

VAnDroid: A framework for vulnerability analysis of Android applications using a model-driven reverse engineering technique. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani (Softw. Pract. Exp., 2019)

Enhancing Monkey to trigger malicious payloads in Android malware. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (ISCISC, 2020)

Alerts Correlation and Causal Analysis for APT Based Cyber Attack Detection. - Mehran Khosravi; Behrouz Tork Ladani (IEEE Access, 2020)

Model checking of robustness properties in trust and reputation systems. - Seyed Asgary Ghasempouri; Behrouz Tork Ladani (Future Gener. Comput. Syst., 2020)

Secure parameterized pattern matching. - Maryam Zarezadeh; Hamid Mala; Behrouz Tork Ladani (Inf. Sci., 2020)

Interdependency Analysis in Security Investment against Strategic Attacks. - Mansooreh Ezhei; Behrouz Tork Ladani (Inf. Syst. Frontiers, 2020)

A Model for Social Communication Network in Mobile Instant Messaging Systems. - Ebrahim Sahafizadeh; Behrouz Tork Ladani (IEEE Trans. Comput. Soc. Syst., 2020)

A machine learning approach for detecting and categorizing evasion sources in Android malware. - Hasan Deeb; Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (ISCISC, 2021)

Soft rumor control in social networks: Modeling and analysis. - Mojgan Askarizadeh; Behrouz Tork Ladani (Eng. Appl. Artif. Intell., 2021)

MEGDroid: A model-driven event generation framework for dynamic android malware analysis. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (Inf. Softw. Technol., 2021)

Curious-Monkey: Evolved Monkey for Triggering Malicious Payloads in Android Malware. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (ISC Int. J. Inf. Secur., 2021)

Android malware dynamic evasions. - Hayyan Hasan; Hasan Deeb; Behrouz Tork Ladani; Bahman Zamani (IEEE DataPort, 2021)

A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani (CSICC, 2022)

SANT: Static Analysis of Native Threads for Security Vetting of Android Applications. - Seyed Behnam Andarzian; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2022)

Light-Weight Privacy-Preserving Data Aggregation Protocols in Smart Grid Metering Networks. - Afshin Karampour; Maede Ashouri-Talouki; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2022)

Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. - Amirhosein Sayyadabdi; Behrouz Tork Ladani; Bahman Zamani (ISC Int. J. Inf. Secur., 2022)

Adaptive cost-sensitive stance classification model for rumor detection in social networks. - Zahra Zojaji; Behrouz Tork Ladani (Soc. Netw. Anal. Min., 2022)

Efficient Secure Pattern Matching With Malicious Adversaries. - Maryam Zarezadeh; Hamid Mala; Behrouz Tork Ladani (IEEE Trans. Dependable Secur. Comput., 2022)

A semi real dataset of Meta-Alerts for APT attack detection. - Behrouz Tork Ladani; Mehran Khosravi (IEEE DataPort, 2022)

A Machine Learning Approach for Detecting and Categorizing Sensitive Methods in Android Malware. - Hayyan Hasan; Hasan Deeb; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2023)

Privacy, trust, and secure rewarding in mobile crowd-sensing based spectrum monitoring. - Golbarg Hajian; Behrouz Shahgholi Ghahfarokhi; Mehri Asadi Vasfi; Behrouz Tork Ladani (J. Ambient Intell. Humaniz. Comput., 2023)

A model-based framework for inter-app Vulnerability analysis of Android applications. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani; Jacques Klein; Tegawendé F. Bissyandé (Softw. Pract. Exp., 2023)

Maaker: A framework for detecting and defeating evasion techniques in Android malware. - Hayyan Hasan; Behrouz Tork Ladani; Bahman Zamani (J. Inf. Secur. Appl., 2023)

Privacy, reputation, and incentive provision for vehicular social networks. - Sanaz Zamani; Behrouz Tork Ladani; Maede Ashouri-Talouki (J. Reliab. Intell. Environ., 2023)

A comprehensive framework for inter-app ICC security analysis of Android apps. - Atefeh Nirumand; Bahman Zamani; Behrouz Tork Ladani (Autom. Softw. Eng., 2024)

A Social Network Model for Analysis of Public Opinion Formation Process. - Hani Rabiee; Behrouz Tork Ladani; Ebrahim Sahafizadeh (IEEE Trans. Comput. Soc. Syst., 2024)

CST-SDL: A Scenario Description Language for Collaborative Security Training in Cyber Ranges. - Navid Shirmohammadi; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2025)

Learning to Locate: GNN-Powered Vulnerability Path Discovery in Open Source Code. - Nima Atashin; Behrouz Tork Ladani; Mohammadreza Sharbaf (CoRR, 2025)