2022
AC/DC: Adaptive Cutoffs and Disputable Cutoffs for Robust Critical Transactions in Smart-Contracts.
IEEE Trans. Netw. Serv. Manag., December, 2022
RANC: reward-all nakamoto consensus.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Towards Equity in Proof-of-Work Mining Rewards.
Proceedings of the 3rd International Conference on Mathematical Research for Blockchain Economy, 2022
2021
PoSH in Practice: Implementing Proof of Staked Hardware Consensus with Limited Storage.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021
Adaptive layer-two dispute cutoffs in smart-contract blockchains.
Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021
2020
Adaptive layer-two dispute periods in blockchains.
IACR Cryptol. ePrint Arch., 2020
Short Paper: PoSH Proof of Staked Hardware Consensus.
IACR Cryptol. ePrint Arch., 2020
XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit.
Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020
2018
DejaVu: Visual Diffing of Cyber Physical Systems.
Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018
PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
2016
Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper).
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016
2015
Integrating Privacy and Safety Criteria into Planning Tasks.
Proceedings of the Security and Trust Management - 11th International Workshop, 2015
An Approach for Collective Adaptation in Socio-Technical Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
2014
Rumpole: An Introspective Break-Glass Access Control Language.
ACM Trans. Inf. Syst. Secur., 2014
RingLearn: Long-term mitigation of disruptive smartphone interruptions.
Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014
Learning to recognise disruptive smartphone notifications.
Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services, 2014
When did your smartphone bother you last?
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014
2013
Exploring concept drift using interactive simulations.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013
2012
Self-Management Framework for Mobile Autonomous Systems.
J. Netw. Syst. Manag., 2012
Home Network Management Policies: Putting the User in the Loop.
Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012
A configuration service for home networks.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012
2011
A policy-based publish/subscribe middleware for sense-and-react applications.
J. Syst. Softw., 2011
Shared and searchable encrypted data for untrusted servers.
J. Comput. Secur., 2011
Argumentation-based fault diagnosis for home networks.
Proceedings of the 2nd ACM SIGCOMM workshop on Home networks, 2011
Rumpole: a flexible break-glass access control model.
Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011
An information plane architecture supporting home network management.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011
Longitude: A Privacy-Preserving Location Sharing Protocol for Mobile Applications.
Proceedings of the Trust Management V, 5th IFIP WG 11.11 International Conference, 2011
Verifying home network bandwidth sharing plans.
Proceedings of the 7th International Conference on Network and Service Management, 2011
2010
Providing data confidentiality against malicious hosts in Shared Data Spaces.
Sci. Comput. Program., 2010
Context-based authentication and transport of cultural assets.
Pers. Ubiquitous Comput., 2010
Teleo-Reactive Policies in Ponder2.
Proceedings of the POLICY 2010, 2010
Coordinating Data Usage Control in Loosely-Connected Networks.
Proceedings of the POLICY 2010, 2010
Teleo-Reactive workflows for pervasive healthcare.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010
An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance.
Proceedings of the Architecting Critical Systems, First International Symposium, 2010
Shinren: Non-monotonic Trust Management for Distributed Systems.
Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010
Predicting human behaviour from selected mobile phone data points.
Proceedings of the UbiComp 2010: Ubiquitous Computing, 12th International Conference, 2010
Distributed Fault Tolerant Controllers.
Proceedings of the Distributed Applications and Interoperable Systems, 2010
Teleo-Reactive policies for managing human-centric pervasive services.
Proceedings of the 6th International Conference on Network and Service Management, 2010
Distributed Orchestration of Pervasive Services.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010
2009
Locating network domain entry and exit point/path for DDoS attack traffic.
IEEE Trans. Netw. Serv. Manag., 2009
Policy conflict analysis for diffserv quality of service management.
IEEE Trans. Netw. Serv. Manag., 2009
xDUCON: Cross Domain Usage Control through Shared Data Spaces.
Proceedings of the POLICY 2009, 2009
Policies for Self Tuning Home Networks.
Proceedings of the POLICY 2009, 2009
Aligning Activity Sequences for Continuous Tracking of Cellphone Users.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009
A Policy-Based Management Architecture for Mobile Collaborative Teams.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009
xDUCON: Coordinating Usage Control Policies in Distributed Domains.
Proceedings of the Third International Conference on Network and System Security, 2009
A Mission Management Framework for Unmanned Autonomous Vehicles.
Proceedings of the Mobile Wireless Middleware, 2009
Routine classification through sequence alignment.
Proceedings of the 17th International Conference on Multimedia 2009, 2009
Activity Inference through Sequence Alignment.
Proceedings of the Location and Context Awareness, 4th International Symposium, 2009
Adaptive response system for distributed denial-of-service attacks.
Proceedings of the Integrated Network Management, 2009
Ponder2: A Policy System for Autonomous Pervasive Environments.
Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009
An Architectural Approach for Self-Managing Security Services.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
Approximating Travel Times Using Opportunistic Networking.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Reconfigurable Architecture for Network Flow Analysis.
IEEE Trans. Very Large Scale Integr. Syst., 2008
AMUSE: autonomic management of ubiquitous e-Health systems.
Concurr. Comput. Pract. Exp., 2008
GSpace: an architectural approach for self-managing extra-functional concerns.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008
Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Ponder2 - A Policy Environment for Autonomous Pervasive Systems.
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008
Consent-Based Workflows for Healthcare Management.
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008
Personalising situated workflow systems for pervasive healthcare applications.
Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008
Network domain entrypoint/path determination for DDoS attacks.
Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008
Towards context-aware face anonymisation.
Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia, 2008
Using screenplays as a source of context data.
Proceedings of the 2nd ACM Workshop on Story Representation, Mechanism and Context, 2008
Adaptive self-management of teams of autonomous vehicles.
Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), 2008
Finger: An efficient policy system for body sensor networks.
Proceedings of the IEEE 5th International Conference on Mobile Adhoc and Sensor Systems, 2008
Place and Time Authentication of Cultural Assets.
Proceedings of the Trust Management II, 2008
An Efficient Policy System for Body Sensor Networks.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008
TRAcME: Temporal Activity Recognition Using Mobile Phone Data.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
Flexible Resolution of Authorisation Conflicts in Distributed Systems.
Proceedings of the Managing Large-Scale Service Deployment, 2008
Encrypted Shared Data Spaces.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
ESCAPE: A Component-Based Policy Framework for Sense and React Applications.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008
A Workflow-Based Access Control Framework for e-Health Applications.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2007
A Survey of Bots Used for Distributed Denial of Service Attacks.
Proceedings of the New Approaches for Security, 2007
Towards Supporting Interactions between Self-Managed Cells.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007
Authorisation and Conflict Resolution for Hierarchical Domains.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Autonomous Pervasive Systems and the Policy Challenges of a Small World!
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Self-Managed Cell: A Middleware for Managing Body-Sensor Networks.
Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), 2007
Dynamic Ontology Mapping for Interacting Autonomous Systems.
Proceedings of the Self-Organizing Systems, Second International Workshop, 2007
Trust Transfer in Distributed Systems.
Proceedings of the Trust Management, 2007
Non-intrusive IP traceback for DDoS attacks.
Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007
Policy-based Management for Body-Sensor Networks.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 4th International Workshop on Wearable and Implantable Body Sensor Networks, 2007
Enforcing Fine-Grained Authorization Policies for Java Mobile Agents.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
Policy refinement for IP differentiated services Quality of Service management.
IEEE Trans. Netw. Serv. Manag., 2006
Privacy Preserving Trust Negotiation for Pervasive Healthcare.
Proceedings of the 1st International ICST Conference on Pervasive Computing Technologies for Healthcare, 2006
Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006
2005
Policy Conflict Analysis for Quality of Service Management.
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005
Self-managed Cells for Ubiquitous Systems.
Proceedings of the Computer Network Security, 2005
Policy refinement for DiffServ quality of service management.
Proceedings of the Integrated Network Management, 2005
A Combined Hardware-Software Architecture for Network Flow.
Proceedings of The 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms, 2005
Self-Managed Cells and their Federation.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005
2004
A framework for contextual mediation in mobile and ubiquitous computing applied to the context-aware adaptation of maps.
Pers. Ubiquitous Comput., 2004
Meta Data to Support Context Aware Mobile Applications.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004
2003
Irregular Reconfigurable CAM Structures for Firewall Applications.
Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003
Compiling Policy Descriptions into Reconfigurable Firewall Processors.
Proceedings of the 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 2003
2002
Tools for domain-based policy management of distributed systems.
Proceedings of the Management Solutions for the New Communications World, 2002
Development framework for firewall processors.
Proceedings of the 2002 IEEE International Conference on Field-Programmable Technology, 2002
2001
Flexible security policies for mobile agent systems.
Microprocess. Microsystems, 2001
Map adaptation for users of mobile systems.
Proceedings of the Tenth International World Wide Web Conference, 2001
The Ponder Policy Specification Language.
Proceedings of the Policies for Distributed Systems and Networks, 2001
Policy-Driven Management of Agent Systems.
Proceedings of the Policies for Distributed Systems and Networks, 2001
A Policy Deployment Model for the Ponder Language.
Proceedings of the 2001 IEEE/IFIP International Symposium on Integrated Network Management, 2001
A Policy Language for the Management of Distributed Agents.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001
2000
Ponder: Realising Enterprise Viewpoint Concepts.
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000
1999
Dynamic Architectures and Architectural Styles for Distributed Program.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999
1997
A configurable protocol architecture for CORBA environments.
Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997
1995
Configuration management for distributed software services.
Proceedings of the Integrated Network Management IV, 1995
The Software Architect's Assistant-a visual environment for distributed programming.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995
Specifying Distributed Software Architectures.
Proceedings of the 5th European Software Engineering Conference, 1995
1994
Regis: a constructive development environment for distributed programs.
Distributed Syst. Eng., 1994
A constructive development environment for parallel and distributed programs.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994
1993
Structuring parallel and distributed programs.
Softw. Eng. J., 1993
1992
Configuring object-based distributed programs in REX.
Softw. Eng. J., 1992
A configuration approach to parallel programming.
Future Gener. Comput. Syst., 1992
MP: A Programming Environment for Multicomputers.
Proceedings of the Programming Environments for Parallel Computing, 1992
1990
A configuration language for distributed programming.
PhD thesis, 1990
1987
Distributed System Construction: Experience with the Conic Toolkit.
Proceedings of the Experiences with Distributed Systems, 1987