Behrouz Tork Ladani

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 36

Top Topics

Attack Detection

Social Networks

Reputation Systems

Top Venues

ISC Int. J. Inf. Secur.

Future Gener. Comput. Syst.

Softw. Pract. Exp.

Publications

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