Behrouz Tork Ladani

64 papers Misc 3Journal 45Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A configurable approach for intra-model inconsistency management in multi-view collaborative modeling. Frontiers Comput. Sci. Hayder Ali Neamah Alsharuee, Mohammadreza Sharbaf, Behrouz Tork Ladani
2026	J	`jnl`	Unmasking Influence: The Power of Artificial Entities in Shaping Public Opinion on Social Networks. IEEE Trans. Comput. Soc. Syst. Hani Rabiee, Behrouz Tork Ladani, Ebrahim Sahafizadeh
2025	J	`jnl`	CST-SDL: A Scenario Description Language for Collaborative Security Training in Cyber Ranges. ISC Int. J. Inf. Secur. Navid Shirmohammadi, Behrouz Tork Ladani
2025	J	`jnl`	Learning to Locate: GNN-Powered Vulnerability Path Discovery in Open Source Code. CoRR Nima Atashin, Behrouz Tork Ladani, Mohammadreza Sharbaf
2024	J	`jnl`	A Social Network Model for Analysis of Public Opinion Formation Process. IEEE Trans. Comput. Soc. Syst. Hani Rabiee, Behrouz Tork Ladani, Ebrahim Sahafizadeh
2024	J	`jnl`	A comprehensive framework for inter-app ICC security analysis of Android apps. Autom. Softw. Eng. Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani
2023	J	`jnl`	A Machine Learning Approach for Detecting and Categorizing Sensitive Methods in Android Malware. ISC Int. J. Inf. Secur. Hayyan Hasan, Hasan Deeb, Behrouz Tork Ladani
2023	J	`jnl`	A model-based framework for inter-app Vulnerability analysis of Android applications. Softw. Pract. Exp. Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani, Jacques Klein, Tegawendé F. Bissyandé
2023	J	`jnl`	Maaker: A framework for detecting and defeating evasion techniques in Android malware. J. Inf. Secur. Appl. Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
2023	J	`jnl`	Privacy, reputation, and incentive provision for vehicular social networks. J. Reliab. Intell. Environ. Sanaz Zamani, Behrouz Tork Ladani, Maede Ashouri-Talouki
2023	J	`jnl`	Privacy, trust, and secure rewarding in mobile crowd-sensing based spectrum monitoring. J. Ambient Intell. Humaniz. Comput. Golbarg Hajian, Behrouz Shahgholi Ghahfarokhi, Mehri Asadi Vasfi, Behrouz Tork Ladani
2022	Misc	`conf`	A Model-Based Approach for Representing Data Sharing Mechanism in Android Applications. CSICC Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani
2022	J	`jnl`	Adaptive cost-sensitive stance classification model for rumor detection in social networks. Soc. Netw. Anal. Min. Zahra Zojaji, Behrouz Tork Ladani
2022	J	`jnl`	Efficient Secure Pattern Matching With Malicious Adversaries. IEEE Trans. Dependable Secur. Comput. Maryam Zarezadeh, Hamid Mala, Behrouz Tork Ladani
2022	J	`jnl`	Light-Weight Privacy-Preserving Data Aggregation Protocols in Smart Grid Metering Networks. ISC Int. J. Inf. Secur. Afshin Karampour, Maede Ashouri-Talouki, Behrouz Tork Ladani
2022	J	`jnl`	SANT: Static Analysis of Native Threads for Security Vetting of Android Applications. ISC Int. J. Inf. Secur. Seyed Behnam Andarzian, Behrouz Tork Ladani
2022	J	`jnl`	Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. CoRR Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
2022	J	`jnl`	Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. ISC Int. J. Inf. Secur. Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
2021	—	`conf`	A machine learning approach for detecting and categorizing evasion sources in Android malware. ISCISC Hasan Deeb, Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
2021	J	`jnl`	Curious-Monkey: Evolved Monkey for Triggering Malicious Payloads in Android Malware. ISC Int. J. Inf. Secur. Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
2021	J	`jnl`	MEGDroid: A model-driven event generation framework for dynamic android malware analysis. Inf. Softw. Technol. Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
2021	J	`jnl`	Soft rumor control in social networks: Modeling and analysis. Eng. Appl. Artif. Intell. Mojgan Askarizadeh, Behrouz Tork Ladani
2020	J	`jnl`	A Model for Social Communication Network in Mobile Instant Messaging Systems. IEEE Trans. Comput. Soc. Syst. Ebrahim Sahafizadeh, Behrouz Tork Ladani
2020	J	`jnl`	Alerts Correlation and Causal Analysis for APT Based Cyber Attack Detection. IEEE Access Mehran Khosravi, Behrouz Tork Ladani
2020	—	`conf`	Enhancing Monkey to trigger malicious payloads in Android malware. ISCISC Hayyan Hasan, Behrouz Tork Ladani, Bahman Zamani
2020	J	`jnl`	Interdependency Analysis in Security Investment against Strategic Attacks. Inf. Syst. Frontiers Mansooreh Ezhei, Behrouz Tork Ladani
2020	J	`jnl`	Model checking of robustness properties in trust and reputation systems. Future Gener. Comput. Syst. Seyed Asgary Ghasempouri, Behrouz Tork Ladani
2020	J	`jnl`	Secure parameterized pattern matching. Inf. Sci. Maryam Zarezadeh, Hamid Mala, Behrouz Tork Ladani
2019	J	`jnl`	Interdependent Security Game Design over Constrained Linear Influence Networks. ISC Int. J. Inf. Secur. Seyed Alireza Hasheminasab, Behrouz Tork Ladani, Tansu Alpcan
2019	J	`jnl`	Modeling trust and reputation systems in hostile environments. Future Gener. Comput. Syst. Seyed Asgary Ghasempouri, Behrouz Tork Ladani
2019	J	`jnl`	VAnDroid: A framework for vulnerability analysis of Android applications using a model-driven reverse engineering technique. Softw. Pract. Exp. Atefeh Nirumand, Bahman Zamani, Behrouz Tork Ladani
2017	—	`conf`	A Formal Model for Security Analysis of Trust and Reputation systems. ISCISC Seyed Asgary Ghasempouri, Behrouz Tork Ladani
2017	J	`jnl`	An automatic test case generator for evaluating implementation of access control policies. ISC Int. J. Inf. Secur. Marzieh Safarzadeh, Mahboubeh Taghizadeh, Bahman Zamani, Behrouz Tork Ladani
2017	J	`jnl`	Information sharing vs. privacy: A game theoretic analysis. Expert Syst. Appl. Mansooreh Ezhei, Behrouz Tork Ladani
2016	J	`jnl`	Automated program repair using genetic programming and model checking. Appl. Intell. Zahra Zojaji, Behrouz Tork Ladani, Alireza Khalilian
2016	J	`jnl`	Benchmarking reputation systems: A quantitative verification approach. Comput. Hum. Behav. Amir Jalaly Bidgoly, Behrouz Tork Ladani
2016	J	`jnl`	Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers. Comput. J. Amir Jalaly Bidgoly, Behrouz Tork Ladani
2015	J	`jnl`	GGRA: a grouped gossip-based reputation aggregation algorithm. ISC Int. J. Inf. Secur. Safieh Ghasemi Falavarjani, Behrouz Tork Ladani, Simin Ghasemi
2015	J	`jnl`	Gossip-based data aggregation in hostile environments. Comput. Commun. Mousa Mousazadeh, Behrouz Tork Ladani
2015	J	`jnl`	Modelling and Quantitative Verification of Reputation Systems Against Malicious Attackers. Comput. J. Amir Jalaly Bidgoly, Behrouz Tork Ladani
2015	J	`jnl`	Security Analysis and Strengthening of an RFID Lightweight Authentication Protocol Suitable for VANETs. Wirel. Pers. Commun. Fereidoun Moradi, Hamid Mala, Behrouz Tork Ladani
2014	J	`jnl`	DDoS attack detection in IEEE 802.16 based networks. Wirel. Networks Maryam Shojaei, Naser Movahhedinia, Behrouz Tork Ladani
2014	—	`conf`	DoS and port scan attack detection in high speed networks. ISCISC Masoud Hasanifard, Behrouz Tork Ladani
2014	J	`jnl`	Randomized gossip algorithms under attack. Int. J. Inf. Sec. Mousa Mousazadeh, Behrouz Tork Ladani
2013	J	`jnl`	GTrust: a group based trust model. ISC Int. J. Inf. Secur. Mansooreh Ezhei, Behrouz Tork Ladani
2013	—	`conf`	Quantitative verification of beta reputation system using PRISM probabilistic model checker. ISCISC Amir Jalaly Bidgoly, Behrouz Tork Ladani
2013	J	`jnl`	Structural Weights in Ontology Matching. CoRR Mohammad Mehdi Keikha, Mohammad Ali Nematbakhsh, Behrouz Tork Ladani
2011	—	`conf`	A Context-Aware Reputation-Based Model of Trust for Open Multi-agent Environments. Canadian AI Ehsan Mokhtari, Zeinab Noorian, Behrouz Tork Ladani, Mohammad Ali Nematbakhsh
2011	J	`jnl`	A model for specification, composition and verification of access control policies and its application to web services. ISC Int. J. Inf. Secur. Zahra Derakhshandeh, Behrouz Tork Ladani
2011	Misc	`conf`	An Entropy Based Approach for DDoS Attack Detection in IEEE 802.16 Based Networks. IWSEC Maryam Shojaei, Naser Movahhedinia, Behrouz Tork Ladani
2010	—	`conf`	Adaptive Similarity Aggregation Method for Ontology Matching. EMS Mohammad Mehdi Keikha, Mohammad Ali Nematbakhsh, Behrouz Tork Ladani
2010	J	`jnl`	An auction method for resource allocation in computational grids. Future Gener. Comput. Syst. Hesam Izakian, Ajith Abraham, Behrouz Tork Ladani
2010	J	`jnl`	Anonymity and security for autonomous mobile agents. IET Inf. Secur. Fatemeh Raji, Behrouz Tork Ladani
2010	J	`jnl`	Liveness Verification in TRSs Using Tree Automata and Termination Analysis. Comput. Informatics Mousa Mousazadeh, Behrouz Tork Ladani, Hans Zantema
2010	—	`conf`	Toward a software development methodology for anonymity applications. EDBT/ICDT Workshops Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shariat Panahi, Zahra Nasr Azadani
2009	—	`conf`	A Novel Particle Swarm Optimization Approach for Grid Job Scheduling. ICISTM Hesam Izakian, Behrouz Tork Ladani, Kamran Zamanifar, Ajith Abraham
2009	—	`conf`	A conceptual framework for specification, analysis, and design of anonymity services. EDBT/ICDT Workshops Marzieh Ispareh, Behrouz Tork Ladani
2009	—	`conf`	A continuous double auction method for resource allocation in computational grids. CISched Hesam Izakian, Behrouz Tork Ladani, Kamran Zamanifar, Ajith Abraham, Václav Snásel
2008	Misc	`conf`	A New Approach for Scoring Relevant Documents by Applying a Farsi Stemming Method in Persian Web Search Engines. CSICC Hamed Shahbazi, Alireza Mokhtaripour, Mohammad Dalvi Esfahani, Behrouz Tork Ladani
2007	—	`conf`	A Dynamic Reconfigurable Web Service Composition Framework Using Reo Coordination Language. ECOWS Soheil Saifipoor, Behrouz Tork Ladani, Naser Nematbakhsh
2007	—	`conf`	Comparing Negotiation Strategies Based on Offers. DMBiz@PAKDD Lena Mashayekhy, Mohammad Ali Nematbakhsh, Behrouz Tork Ladani
2007	—	`conf`	Measuring of Strategies' Similarity in Automated Negotiation. IMECS Lena Mashayekhy, Mohammad Ali Nematbakhsh, Behrouz Tork Ladani
2006	—	`conf`	Specification and Implementation of Multi-Agent Organizations. WEBIST (1) Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani
2005	—	`conf`	Passive Testing - A Constrained Invariant Checking Approach. TestCom Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli