All Outputs (31)

A Privacy-Preserving Platform for Recording COVID-19 Vaccine Passports (2022)
Conference Proceeding
Barati, M., Buchanan, W. J., Lo, O., & Rana, O. (2022). A Privacy-Preserving Platform for Recording COVID-19 Vaccine Passports. In UCC '21: Proceedings of the 14th IEEE/ACM International Conference on Utility and Cloud Computing Companion. https://doi.org/10.1145/3492323.3495626

Digital vaccination passports are being proposed by various governments internationally. Trust, scalability and security are all key challenges in implementing an online vaccine passport. Initial approaches attempt to solve this problem by using cent... Read More about A Privacy-Preserving Platform for Recording COVID-19 Vaccine Passports.

Privacy-Aware Cloud Auditing for GDPR Compliance Verification in Online Healthcare (2021)
Journal Article
Barati, M., Aujla, G. S., Llanos, J. T., Duodu, K. A., Rana, O. F., Carr, M., & Rajan, R. (2022). Privacy-Aware Cloud Auditing for GDPR Compliance Verification in Online Healthcare. IEEE Transactions on Industrial Informatics, 18(7), 4808-4819. https://doi.org/10.1109/tii.2021.3100152

Emerging multi-tenant cloud computing ecosystems allow multiple applications to share virtualised pool of computing and networking resources. As a result such ecosystems are becoming increasingly prone to data privacy concerns (personal data leakages... Read More about Privacy-Aware Cloud Auditing for GDPR Compliance Verification in Online Healthcare.

Privacy Laws and Privacy by Design Schemes for the Internet of Things: A Developer’s Perspective (2021)
Journal Article
Aljeraisy, A., Barati, M., Rana, O., & Perera, C. (2021). Privacy Laws and Privacy by Design Schemes for the Internet of Things: A Developer’s Perspective. ACM computing surveys, 54(5), Article 102. https://doi.org/10.1145/3450965

Internet of Things applications have the potential to derive sensitive information about individuals. Therefore, developers must exercise due diligence to make sure that data are managed according to the privacy regulations and data protection laws.... Read More about Privacy Laws and Privacy by Design Schemes for the Internet of Things: A Developer’s Perspective.

Design and Verification of Privacy Patterns for Business Process Models (2021)
Book Chapter
Barati, M., & Rana, O. (2021). Design and Verification of Privacy Patterns for Business Process Models. In S. Patnaik, T. Wang, T. Shen, & S. Kumar Panigrahi (Eds.), Blockchain Technology and Innovations in Business Processes (125-139). Singapore: Springer. https://doi.org/10.1007/978-981-33-6470-7_8

Business process models can involve numerous operational activities for collecting, processing, and exchanging personal user data. Such processes may involve activities that are executed over one or more cloud-based platforms. With an increase in the... Read More about Design and Verification of Privacy Patterns for Business Process Models.

Automating GDPR Compliance Verification for Cloud-hosted Services (2020)
Conference Proceeding
Barati, M., Rana, O., & Theodorakopoulos, G. (2020). Automating GDPR Compliance Verification for Cloud-hosted Services. In 2020 International Symposium on Networks, Computers and Communications (ISNCC). https://doi.org/10.1109/isncc49221.2020.9297309

Cloud-hosted business processes require access to customer data to complete a transaction, to improve a customer's on-line experience or provide useful product recommendations. However, privacy concerns associated with the use of this data have led t... Read More about Automating GDPR Compliance Verification for Cloud-hosted Services.

COM-PACE: Compliance-Aware Cloud Application Engineering Using Blockchain (2020)
Journal Article
Singh Aujla, G., Barati, M., Rana, O., Dustdar, S., Noor, A., Tomas Llanos, J., …Ranjan, R. (2020). COM-PACE: Compliance-Aware Cloud Application Engineering Using Blockchain. IEEE Internet Computing, 24(5), 45-53. https://doi.org/10.1109/mic.2020.3014484

The COVID19 Pandemic has highlighted our dependence on online services (from government, e-commerce/retail, and entertainment), often hosted over external cloud computing infrastructure. The users of these services interact with a web interface rathe... Read More about COM-PACE: Compliance-Aware Cloud Application Engineering Using Blockchain.

Blockchain for energy sharing and trading in distributed prosumer communities (2020)
Journal Article
Petri, I., Barati, M., Rezgui, Y., & Rana, O. F. (2020). Blockchain for energy sharing and trading in distributed prosumer communities. Computers in Industry, 123, Article 103282. https://doi.org/10.1016/j.compind.2020.103282

The decentralisation of energy supply and demand can contribute decisively to protecting the environment and climate of the planet by consuming electricity in the proximity of the generation source and avoiding losses in transmission and distribution... Read More about Blockchain for energy sharing and trading in distributed prosumer communities.

GDPR Compliance Verification in Internet of Things (2020)
Journal Article
Barati, M., Rana, O., Petri, I., & Theodorakopoulos, G. (2020). GDPR Compliance Verification in Internet of Things. IEEE Access, 8, 119697-119709. https://doi.org/10.1109/access.2020.3005509

Data privacy in Internet of Things (IoT) applications remains a major concern of regulation bodies. The introduction of the European General Data Protection Regulation (GDPR) enables users to control how their data is accessed and processed, requirin... Read More about GDPR Compliance Verification in Internet of Things.

Exploring the relationships between privacy by design schemes and privacy laws: a comparative analysis (2020)
Report
Aljeraisy, A., Barati, M., Rana, O., & Perera, C. (2020). Exploring the relationships between privacy by design schemes and privacy laws: a comparative analysis. Cardiff: Cardiff University

Internet of Things (IoT) applications have the potential to derive sensitive information about individuals. Therefore, developers must exercise due diligence to make sure that data are managed according to the privacy regulations and data protection... Read More about Exploring the relationships between privacy by design schemes and privacy laws: a comparative analysis.

Privacy‐aware cloud ecosystems: Architecture and performance (2020)
Journal Article
Barati, M., & Rana, O. (2021). Privacy‐aware cloud ecosystems: Architecture and performance. Concurrency and Computation: Practice and Experience, 33(23), Article e5852. https://doi.org/10.1002/cpe.5852

With an increasing number of cloud providers offering services made use of by both individual users and other providers, there is a realization that service provision now involves an “ecosystem” of providers. Some providers may be directly visible to... Read More about Privacy‐aware cloud ecosystems: Architecture and performance.

Tracking GDPR Compliance in Cloud-based Service Delivery (2020)
Journal Article
Barati, M., & Rana, O. (2022). Tracking GDPR Compliance in Cloud-based Service Delivery. IEEE Transactions on Services Computing, 15(3), 1498-1511. https://doi.org/10.1109/tsc.2020.2999559

The European General Data Protection Regulation (GDPR) has had a far-reaching impact on data privacy for cloud providers. GDPR influences access to, storage, and transmission of personal data, requiring these operations to be verified by cloud users... Read More about Tracking GDPR Compliance in Cloud-based Service Delivery.

A Formal Technique for Composing Cloud Services (2020)
Journal Article
Barati, M. (2020). A Formal Technique for Composing Cloud Services. Information Technology and Control, 49(1), 5-27. https://doi.org/10.5755/j01.itc.49.1.23403

Recent cloud search engines lack a formal method in their service composition mechanisms to automatically build composite services realizing user requirements. This paper prescribes behavior composition framework as a formal tools for the search engi... Read More about A Formal Technique for Composing Cloud Services.

C-Blondel: An Efficient Louvain-Based Dynamic Community Detection Algorithm (2020)
Journal Article
Seifikar, M., Farzi, S., & Barati, M. (2020). C-Blondel: An Efficient Louvain-Based Dynamic Community Detection Algorithm. IEEE Transactions on Computational Social Systems, 7(2), 308-318. https://doi.org/10.1109/tcss.2020.2964197

One of the most interesting topics in the scope of social network analysis is dynamic community detection, keeping track of communities' evolutions in a dynamic network. This article introduces a new Louvain-based dynamic community detection algorith... Read More about C-Blondel: An Efficient Louvain-Based Dynamic Community Detection Algorithm.

Privacy-Aware Cloud Ecosystems and GDPR Compliance (2020)
Conference Proceeding
Barati, M., Rana, O., Theodorakopoulos, G., & Burnap, P. (2020). Privacy-Aware Cloud Ecosystems and GDPR Compliance. In 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud). https://doi.org/10.1109/ficloud.2019.00024

Understanding how cloud providers support the European General Data Protection Regulation (GDPR) remains an imporant challenge for new providers emerging on the market. GDPR influences access to, storage, processing and tranmission of data, requiring... Read More about Privacy-Aware Cloud Ecosystems and GDPR Compliance.

Enhancing User Privacy in IoT: Integration of GDPR and Blockchain (2019)
Conference Proceeding
Barati, M., & Rana, O. (2020). Enhancing User Privacy in IoT: Integration of GDPR and Blockchain. In Blockchain and Trustworthy Systems: First International Conference, BlockSys 2019, Guangzhou, China, December 7–8, 2019, Proceedings (322-335). https://doi.org/10.1007/978-981-15-2777-7_26

The development of Internet of Things (IoT) industries has raised significant questions in terms of accountability of smart devices and user privacy. The advent of European General Data Protection Regulation (GDPR) in such industries enabled users to... Read More about Enhancing User Privacy in IoT: Integration of GDPR and Blockchain.

Developing GDPR Compliant User Data Policies for Internet of Things (2019)
Conference Proceeding
Barati, M., Petri, I., & Rana, O. F. (2019). Developing GDPR Compliant User Data Policies for Internet of Things. In UCC'19: Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing (133-141). https://doi.org/10.1145/3344341.3368812

With recent adoption of Internet of Things (IoT) technologies and their use in industry, user data privacy concerns remain a major preoccupation of regulation bodies. The European General Data Protection Regulation (GDPR) enables users to control the... Read More about Developing GDPR Compliant User Data Policies for Internet of Things.

Composition of dynamic components based on behavioral descriptions (2018)
Thesis
Barati, M. (2018). Composition of dynamic components based on behavioral descriptions. (Thesis). Université de Sherbrooke. Retrieved from http://researchrepository.napier.ac.uk/Output/2767225

Abstract: This thesis proposes solutions to four new problems stemming from a general framework of horizontal behavior composition, in which transition systems are used to model behaviors. The framework allows the realization of a new behavior from a... Read More about Composition of dynamic components based on behavioral descriptions.

Team Formation Through Preference-Based Behavior Composition (2017)
Conference Proceeding
Barati, M., & St-Denis, R. (2017). Team Formation Through Preference-Based Behavior Composition. In Multiagent System Technologies: 15th German Conference, MATES 2017, Leipzig, Germany, August 23–26, 2017, Proceedings (54-71). https://doi.org/10.1007/978-3-319-64798-2_4

A team formation problem consists in finding an effective group of experts in a social network to accomplish a job with a minimum expenditure of energy and time. This problem has been transposed into the domain of multiagent systems to form a team of... Read More about Team Formation Through Preference-Based Behavior Composition.

Behavior Composition Meets Supervisory Control (2015)
Conference Proceeding
Barati, M., & St-Denis, R. (2015). Behavior Composition Meets Supervisory Control. In 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC). https://doi.org/10.1109/smc.2015.33

With the evolution of software engineering since the advent of structured programming until now, software engineers are faced with tremendous challenges mostly due to the development of large software programs that behave as open systems. Multi-agent... Read More about Behavior Composition Meets Supervisory Control.

Optimal control in a value-based automatic behavior composition framework (2015)
Conference Proceeding
Barati, M., & St-Denis, R. (2015). Optimal control in a value-based automatic behavior composition framework. In 2015 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). https://doi.org/10.1109/icumt.2015.7382395

The behavior composition problem consists in the automatic synthesis of a controller being able to realize a desired target behavior by coordinating a set of available behaviors. Although many frameworks have been proposed for this problem, one of th... Read More about Optimal control in a value-based automatic behavior composition framework.