Notes on Refinement, Interpolation and Uniformity. - Theodosis Dimitrakos; T. S. E. Maibaum (ASE, 1997)

Parameterising (Algebraic) Specifications on Diagrams. - Theodosis Dimitrakos (ASE, 1998)

Formal support for specification, design and implementation. - Theo Dimitrakos (1998)

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. - Theodosis Dimitrakos; Juan Bicarregui; Brian Matthews; T. S. E. Maibaum (ZB, 2000)

On a generalized modularization theorem. - Theodosis Dimitrakos; T. S. E. Maibaum (Inf. Process. Lett., 2000)

System Models, e-Risks and e-Trust - Towards bridging the gap? - Theodosis Dimitrakos (I3E, 2001)

Interpolation in Practical Formal Development. - Juan Bicarregui; Theodosis Dimitrakos; Dov M. Gabbay; T. S. E. Maibaum (Log. J. IGPL, 2001)

A Service-Oriented Trust Management Framework. - Theodosis Dimitrakos (Trust, Reputation, and Security, 2002)

The coras approach for model-based risk management applied to e-commerce domain. - Dimitris Raptis; Theodosis Dimitrakos; Bjørn Axel Gran; Ketil Stølen (Communications and Multimedia Security, 2002)

Model-Based Risk Assessment to Improve Enterprise Security. - Jan Øyvind Aagedal; Folker den Braber; Theodosis Dimitrakos; Bjørn Axel Gran; Dimitris Raptis; Ketil Stølen (EDOC, 2002)

Discretionary Enforcement of Electronic Contracts. - Zoran Milosevic; Audun Jøsang; Theodosis Dimitrakos; Mary Anne Patton (EDOC, 2002)

Model Based Security Risk Analysis for Web Applications. - Theodosis Dimitrakos; Dimitris Raptis; Brian Ritchie; Ketil Stølen (EuroWeb, 2002)

Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach. - Theodosis Dimitrakos; Brian Ritchie; Dimitris Raptis; Jan Øyvind Aagedal; Folker den Braber; Ketil Stølen; Siv Hilde Houmb (I3E, 2002)

Policy-Driven Access Control over a Distributed Firewall Architecture. - Theodosis Dimitrakos; Ivan Djordjevic; Brian Matthews; Juan Bicarregui; Chris I. Phillips 001 (POLICY, 2002)

The CORAS Framework for a Model-Based Risk Management Process. - Rune Fredriksen; Monica Kristiansen; Bjørn Axel Gran; Ketil Stølen; Tom Arthur Opperud; Theodosis Dimitrakos (SAFECOMP, 2002)

Contract Performance Assessment for Secure and Dynamic Virtual Collaborations. - Theodosis Dimitrakos; Ivan Djordjevic; Zoran Milosevic; Audun Jøsang; Chris I. Phillips 001 (EDOC, 2003)

An Emerging Architecture Enabling Grid Based Application Service Provision. - Theodosis Dimitrakos; Damian Mac Randal; Fajin Yuan; Matteo Gaeta; Giuseppe Laria; Pierluigi Ritrovato; Bassem Serhan; Stefan Wesner; Konrad Wulf (EDOC, 2003)

Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. - Theodosis Dimitrakos; Brian Matthews; Simon C. Lambert; Juan Bicarregui (MMGPS, 2003)

Towards Dynamic Population Management of Abstract Machines in the B Method. - Nazareno Aguirre; Juan Bicarregui; Theodosis Dimitrakos; T. S. E. Maibaum (ZB, 2003)

Overview of an Architecture Enabling Grid Based Application Service Provision. - Stefan Wesner; Bassem Serhan; Theodosis Dimitrakos; Damian Mac Randal; Pierluigi Ritrovato; Giuseppe Laria (European Across Grids Conference, 2004)

Towards Dynamic Security Perimeters for Virtual Collaborative Networks. - Ivan Djordjevic; Theodosis Dimitrakos (iTrust, 2004)

Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision. - Matteo Gaeta; Giuseppe Laria; Pierluigi Ritrovato; N. Romano; Bassem Serhan; Stefan Wesner; Theodosis Dimitrakos; Damian Mac Randal (iTrust, 2004)

Deploying Trust Policies on the Semantic Web. - Brian Matthews; Theodosis Dimitrakos (iTrust, 2004)

An architecture for dynamic security perimeters of virtual collaborative networks. - Ivan Djordjevic; Chris I. Phillips 001; Theodosis Dimitrakos (NOMS (1), 2004)

Toward Web Services Profiles for Trust and Security in Virtual Organisations. - Alvaro E. Arenas; Ivan Djordjevic; Theo Dimitrakos; Leonid Titkov; Joris Claessens; Christian Geuer-Pollmann; Emil C. Lupu; Nilufer Tuptuk; Stefan Wesner; Lutz Schubert (PRO-VE, 2005)

Towards a Grid Platform Enabling Dynamic Virtual Organisations for Business Applications. - Theodosis Dimitrakos; Giuseppe Laria; Ivan Djordjevic; N. Romano; Francesco D'Andria; V. Trpkovski; P. Kearney; Matteo Gaeta; Pierluigi Ritrovato; Lutz Schubert; Bassem Serhan; Leonid Titkov; et al. (iTrust, 2005)

Can We Manage Trust? - Audun Jøsang; Claudia Keser; Theodosis Dimitrakos (iTrust, 2005)

Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures. - Adomas Svirskas; Michael D. Wilson; Alvaro E. Arenas; Emil C. Lupu; Nilufer Tuptuk; David W. Chadwick; Pablo Giambiagi; Theodosis Dimitrakos; Bob Roberts (CEC Workshops, 2005)

Extendable and Adaptive Message-Level Security Enforcement Framework. - Andreas Maierhofer; Theodosis Dimitrakos; Leonid Titkov; David Brossard (ICNS, 2006)

The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises. - Michael D. Wilson; Alvaro Arenas; David W. Chadwick; Theo Dimitrakos; Jürgen Doser; Pablo Giambiagi; David Golby; Christian Geuer-Pollmann; Jochen Haller; Ketil Stølen; Tobias Mahler; Lorenzo Martino; et al. (I-ESA, 2006)

Virtualised Trusted Computing Platform for Adaptive Security Enforcement of Web Services Interactions. - Ivan Djordjevic; Srijith K. Nair; Theodosis Dimitrakos (ICWS, 2007)

Design patterns for secure virtual organization management architecture. - Angelo Gaeta; Matteo Gaeta; Alan Smith; Ivan Djordjevic; Theo Dimitrakos; Maurizio Colombo; Sergio Miranda (SecureComm, 2007)

Secure web service federation management using tpm virtualisation. - Srijith Krishnan Nair; Ivan Djordjevic; Bruno Crispo; Theodosis Dimitrakos (SWS, 2007)

Dynamic security perimeters for inter-enterprise service integration. - Ivan Djordjevic; Theodosis Dimitrakos; N. Romano; Damian Mac Randal; Pierluigi Ritrovato (Future Gener. Comput. Syst., 2007)

Guest Editors' Preface. - Theodosis Dimitrakos; Fabio Martinelli; Peter Y. A. Ryan; Steve A. Schneider (Int. J. Inf. Sec., 2007)

An Architecture for Non Functional Properties Management in Distributed Computing. - Pierre de Leusse; Panos Periorellis; Theodosis Dimitrakos; Paul Watson 001 (DCSOFT, 2008)

Preface. - Theodosis Dimitrakos; Fabio Martinelli (STM@IFIPTM, 2008)

A Governance Model for SOA. - Pierre de Leusse; Theodosis Dimitrakos; David Brossard (ICWS, 2009)

Virtual Hosting Environments for Online Gaming. - David Brossard; Francesco D'Andria; Theo Dimitrakos; Angelo Gaeta (Grid and Cloud Computing, 2010)

Aspects of General Security & Trust. - David Brossard; Theo Dimitrakos; Angelo Gaeta; Stéphane Mouton (Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise, 2010)

The BEinGRID Project. - Theo Dimitrakos (Grid and Cloud Computing, 2010)

Common Capabilities for Service Oriented Infrastructures - Grid and Cloud Computing. - Theo Dimitrakos (Grid and Cloud Computing, 2010)

Introduction. - Theo Dimitrakos (Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise, 2010)

Approach Towards Technical Innovations for Service Oriented Infrastructures and Clouds. - Theo Dimitrakos; Angelo Gaeta; Craig Thomson (Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise, 2010)

Bringing it all Together. - Angelo Gaeta; Theo Dimitrakos; David Brossard; Robert B. Piotter; Horst Schwichtenberg; André Gemünd; Efstathios Karanastasis; Igor Rosenberg; Ana Maria Juan Ferrer; Craig Thomson (Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise, 2010)

Common Capabilities for Service Oriented Infrastructures and Platforms: An Overview. - Theo Dimitrakos (ECOWS, 2010)

Towards Secure Cloud Bursting, Brokerage and Aggregation. - Srijith K. Nair; Sakshi Porwal; Theo Dimitrakos; Ana Juan Ferrer; Johan Tordsson; Tabassum Sharif; Craig Sheridan; Muttukrishnan Rajarajan; Afnan Ullah Khan (ECOWS, 2010)

An Efficient Secure Shared Storage Service with Fault and Investigative Disruption Tolerance. - Stelios Erotokritou; Srijith K. Nair; Theo Dimitrakos (ICPP Workshops, 2010)

SOA-Based Security Governance Middleware. - Pierre de Leusse; Theo Dimitrakos (SECURWARE, 2010)

Special issue on security and trust management for dynamic coalitions. - Theo Dimitrakos; Fabio Martinelli; Bruce Schneier (Secur. Commun. Networks, 2010)

Security of Service Networks. - Theodosis Dimitrakos; David Brossard; Pierre de Leusse; Srijith K. Nair (Handbook of Information and Communication Security, 2010)

Privacy-preserving Collaborative Filtering for the Cloud. - Anirban Basu 001; Jaideep Vaidya; Hiroaki Kikuchi; Theo Dimitrakos (CloudCom, 2011)

Regulatory Impact of Data Protection and Privacy in the Cloud. - Sakshi Porwal; Srijith K. Nair; Theo Dimitrakos (IFIPTM, 2011)

Demonstration of the OPTIMIS Toolkit for Cloud Service Provisioning. - Rosa M. Badia; Marcelo Corrales; Theo Dimitrakos; Karim Djemame; Erik Elmroth; Ana Juan Ferrer; Nikolaus Forgó; Jordi Guitart; Francisco Hernández-Rodriguez; Benoit Hudzia; Alexander Kipp; Kleopatra Konstanteli; et al. (ServiceWave, 2011)

Opinion Model Based Security Reputation Enabling Cloud Broker Architecture. - Pramod S. Pawar; Srijith K. Nair; Fadi Ali El-Moussa; Theo Dimitrakos; Muttukrishnan Rajarajan; Andrea Zisman (CloudComp, 2012)

Secure communication using dynamic VPN provisioning in an Inter-Cloud environment. - Ali Sajjad; Andrea Zisman; Muttukrishnan Rajarajan; Srijith K. Nair; Theo Dimitrakos (ICON, 2012)

A Perspective on the Evolution of the International Trust Management Research Community in the Last Decade. - Theo Dimitrakos (IFIPTM, 2012)

Feasibility of a privacy preserving collaborative filtering scheme on the Google App Engine: a performance case study. - Anirban Basu 001; Jaideep Vaidya; Theo Dimitrakos; Hiroaki Kikuchi (SAC, 2012)

An Architecture for the Enforcement of Privacy and Security Requirements in Internet-Centric Services. - Yair Diaz-Tellez; Eliane L. Bodanese; Srijith K. Nair; Theo Dimitrakos (TrustCom, 2012)

Securing business operations in an SOA - Theo Dimitrakos; David Brossard; Pierre de Leusse (CoRR, 2012)

Self Managed Security Cell, a security model for the Internet of Things and Services - Pierre de Leusse; Panos Periorellis; Theo Dimitrakos; Srijith K. Nair (CoRR, 2012)

OPTIMIS: A holistic approach to cloud service provisioning. - Ana Juan Ferrer; Francisco Hernández-Rodriguez; Johan Tordsson; Erik Elmroth; Ahmed Ali-Eldin; Csilla Zsigri; Raül Sirvent; Jordi Guitart; Rosa M. Badia; Karim Djemame; Wolfgang Ziegler; Theo Dimitrakos; et al. (Future Gener. Comput. Syst., 2012)

Privacy preserving collaborative filtering for SaaS enabling PaaS clouds. - Anirban Basu 001; Jaideep Vaidya; Hiroaki Kikuchi; Theo Dimitrakos; Srijith K. Nair (J. Cloud Comput., 2012)

Privacy-Preserving Collaborative Filtering on the Cloud and Practical Implementation Experiences. - Anirban Basu 001; Jaideep Vaidya; Hiroaki Kikuchi; Theo Dimitrakos (IEEE CLOUD, 2013)

Trust Model for Cloud Based on Cloud Characteristics. - Pramod S. Pawar; Muttukrishnan Rajarajan; Theo Dimitrakos; Andrea Zisman (IFIPTM, 2013)

Secure Execution Context Enforcement Framework Based on Activity Detection on Data and Applications Hosted on Smart Devices. - Yair Diaz-Tellez; Eliane L. Bodanese; Fadi Ali El-Moussa; Theo Dimitrakos (SocialCom, 2013)

CloudJet4BigData: Streamlining Big Data via an Accelerated Socket Interface. - Frank Zhigang Wang; Theo Dimitrakos; Na Helian; Sining Wu; Ling Li; Rodric Yates (BigData Congress, 2014)

Seamless Enablement of Intelligent Protection for Enterprise Cloud Applications through Service Store. - Joshua Daniel; Theodosis Dimitrakos; Fadi Ali El-Moussa; Gery Ducatel; Pramod S. Pawar; Ali Sajjad (CloudCom, 2014)

A Low-Overhead Secure Communication Framework for an Inter-cloud Environment. - Ali Sajjad; Muttukrishnan Rajarajan; Theo Dimitrakos (ICC, 2014)

Trust Assessment Using Cloud Broker. - Pramod S. Pawar; Muttukrishnan Rajarajan; Theo Dimitrakos; Andrea Zisman (IFIPTM, 2014)

Mirroring Mobile Phone in the Clouds. - Bin Ye; Frank Zhigang Wang; Ling Li; Na Helian; Theo Dimitrakos (IEEE MS, 2014)

Context-Aware Multifactor Authentication Based on Dynamic Pin. - Yair Diaz-Tellez; Eliane L. Bodanese; Theo Dimitrakos; Michael Turner (SEC, 2014)

Data Interface All-iN-A-Place (DIANA) for Big Data. - Frank Zhigang Wang; Theo Dimitrakos; Na Helian; Sining Wu; Yuhui Deng; Ling Li; Rodric Yates (TrustCom, 2014)

Secure Cloud Storage: A framework for Data Protection as a Service in the multi-cloud environment. - Quang Hieu Vu; Maurizio Colombo; Rasool Asal; Ali Sajjad; Fadi Ali El-Moussa; Theo Dimitrakos (CNS, 2015)

Integrating Security Services in Cloud Service Stores. - Joshua Daniel; Fadi Ali El-Moussa; Gery Ducatel; Pramod S. Pawar; Ali Sajjad; Robert Rowlingson; Theo Dimitrakos (IFIPTM, 2015)

Foreword: Towards Trusted Cloud Ecosystems. - Theo Dimitrakos (IFIPTM, 2015)

A Cloud Orchestrator for Deploying Public Services on the Cloud - The Case of STRATEGIC Project. - Panagiotis Gouvas; Konstantinos Kalaboukas; Giannis Ledakis 001; Theo Dimitrakos; Joshua Daniel; Gery Ducatel; Nuria Rodriguez Dominguez (IFIPTM, 2015)

Security-as-a-Service in Multi-cloud and Federated Cloud Environments. - Pramod S. Pawar; Ali Sajjad; Theo Dimitrakos; David W. Chadwick (IFIPTM, 2015)

A scalable and dynamic application-level secure communication framework for inter-cloud services. - Ali Sajjad; Muttukrishnan Rajarajan; Andrea Zisman; Theo Dimitrakos (Future Gener. Comput. Syst., 2015)

A Certification Technique for Cloud Security Adaptation. - Claudio A. Ardagna; Rasool Asal; Ernesto Damiani; Nabil El Ioini; Claus Pahl; Theo Dimitrakos (SCC, 2016)

Managed security service distribution model. - Gery Ducatel; Joshua Daniel; Theo Dimitrakos; Fadi Ali El-Moussa; Robert Rowlingson; Ali Sajjad (CCIS, 2016)

Deploying Visual Analytics Through a Multi-cloud Service Store with Encrypted Big Data (Short Paper). - Mark Shackleton; Fadi Ali El-Moussa; Robert Rowlingson; Alex Healing; John Crowther; Joshua Daniel; Theo Dimitrakos; Ali Sajjad (OTM Conferences, 2016)

How to Develop a Security Controls Oriented Reference Architecture for Cloud, IoT and SDN/NFV Platforms. - Theo Dimitrakos (IFIPTM, 2018)

Data Protection as a Service in the Multi-Cloud Environment. - Maurizio Colombo; Rasool Asal; Quang Hieu Hieu; Fadi Ali El-Moussa; Ali Sajjad; Theo Dimitrakos (CLOUD, 2019)

A Framework for Blockchain-Based Verification of Integrity and Authenticity. - Anirban Basu 001; Theo Dimitrakos; Yuto Nakano; Shinsaku Kiyomoto (IFIPTM, 2019)

A Comparison Among Policy Editors for Attributed Based Access Control Model. - Fabio Martinelli; Christina Michailidou; Oleksii Osliak; Alessandro Rosetti; Antonio La Marra; Theo Dimitrakos (ETAA@ESORICS, 2020)

Trust Aware Continuous Authorization for Zero Trust in Consumer Internet of Things. - Theo Dimitrakos; Tezcan Dilshener; Alexander Kravtsov; Antonio La Marra; Fabio Martinelli; Athanasios Rizos; Alessandro Rosetti; Andrea Saracino (TrustCom, 2020)

Session-dependent Usage Control for Big Data. - Gabriele Baldi; Yair Diaz-Tellez; Theo Dimitrakos; Fabio Martinelli; Christina Michailidou; Paolo Mori; Oleksii Osliak; Andrea Saracino (J. Internet Serv. Inf. Secur., 2020)

Handling Meta Attribute Information in Usage Control Policies (Short Paper). - Theo Dimitrakos; Tezcan Dilshener; Alexander Kravtsov; Antonio La Marra; Fabio Martinelli; Athanasios Rizos; Alessandro Rosetti (ETAA, 2021)

Towards Collaborative Cyber Threat Intelligence for Security Management. - Oleksii Osliak; Andrea Saracino; Fabio Martinelli; Theo Dimitrakos (ICISSP, 2021)

SIUV: A Smart Car Identity Management and Usage Control System Based on Verifiable Credentials. - Ali Hariri; Subhajit Bandopadhyay; Athanasios Rizos; Theo Dimitrakos; Bruno Crispo; Muttukrishnan Rajarajan (SEC, 2021)

DataPAL: Data Protection and Authorization Lifecycle framework. - Subhajit Bandopadhyay; Theo Dimitrakos; Yair Diaz; Ali Hariri; Tezcan Dilshener; Antonio La Marra; Alessandro Rosetti (SEEDA-CECNSM, 2021)

Certification-Based Cloud Adaptation. - Claudio A. Ardagna; Rasool Asal; Ernesto Damiani; Theo Dimitrakos; Nabil El Ioini; Claus Pahl (IEEE Trans. Serv. Comput., 2021)

WiP: Metamodel for Continuous Authorisation and Usage Control. - Ali Hariri; Amjad Ibrahim; Theo Dimitrakos; Bruno Crispo (SACMAT, 2022)

Continuous Authorization Architecture for Dynamic Trust Evaluation. - Hussein Joumaa; Ana Petrovska; Ali Hariri; Theo Dimitrakos; Bruno Crispo (IFIPTM, 2023)

Trust Level Evaluation Engine for Dynamic Trust Assessment with Reference to Subjective Logic. - Ana Petrovska; Gabriele Gelardi; Hüseyin Demirci; Emre Kocyigit; Gabriele Lenzini; Artur Hermann; Natasa Trkulja; Frank Kargl; Ioannis Krontiris; Theo Dimitrakos (IFIPTM, 2023)

A shared responsibility model to support cross border and cross organizational federation on top of decentralized and self-sovereign identity: Architecture and first PoC. - Michael Kubach; Isaac Henderson; Bithin Alangot; Theo Dimitrakos; Juan Vargas; Matthias Winterstetter; Ioannis Krontiris (Open Identity Summit, 2023)

Specifying a Usage Control System. - Ulrich Schöpp; Chuangjie Xu; Amjad Ibrahim; Fathiyeh Faghih; Theo Dimitrakos (SACMAT, 2023)

SecPol: Enabling Security Policy Control in Vehicle Networks using Intrusion Detection and Hardware Trust. - Florian Fenzl; Jonathan Stancke; Christian Plappert; Roland Rieke; Felix Clemens Gail; Theo Dimitrakos; Hussein Joumaa (CSCS, 2024)

On Subjective Logic Trust Discount for Referral Paths. - Koffi Ismael Ouattara; Ana Petrovska; Artur Hermann; Natasa Trkulja; Theo Dimitrakos; Frank Kargl (FUSION, 2024)

Towards Robust Trust Frameworks for Data Exchange: A Multidisciplinary Inquiry. - Aytaj Badirova; Bithin Alangot; Theo Dimitrakos; Ramin Yahyapour (Open Identity Summit, 2024)

Obligation Management Framework for Usage Control. - Hussein Joumaa; Ali Hariri; Ana Petrovska; Oleksii Osliak; Theo Dimitrakos; Bruno Crispo (SACMAT, 2024)

Static and Dynamic Analysis of a Usage Control System. - Ulrich Schöpp; Fathiyeh Faghih; Subhajit Bandopadhyay; Hussein Joumaa; Amjad Ibrahim; Chuangjie Xu; Xin Ye; Theo Dimitrakos (SACMAT, 2024)

Coordinated Enforcement of Obligations in Distributed Usage Control Systems [Work In Progress Paper]. - Hussein Joumaa; Ali Hariri; Theo Dimitrakos; Bruno Crispo (SACMAT, 2025)

Assessing Trustworthiness of AI Training Dataset using Subjective Logic - A Use Case on Bias. - Koffi Ismael Ouattara; Ioannis Krontiris; Theo Dimitrakos; Frank Kargl (CoRR, 2025)