| OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. | 0 | 0.34 | 2022 |
| SoK: TEE-Assisted Confidential Smart Contract. | 0 | 0.34 | 2022 |
| Root-of-Trust Abstractions for Symbolic Analysis - Application to Attestation Protocols. | 0 | 0.34 | 2021 |
| Technofixing the Future - Ethical Side Effects of Using AI and Big Data to Meet the SDGs. | 0 | 0.34 | 2019 |
| Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. | 0 | 0.34 | 2017 |
| Time-release Protocol from Bitcoin and Witness Encryption for SAT. | 6 | 0.46 | 2015 |
| Implementing an ethical approach to big data analytics in assistive robotics for elderly with dementia. | 3 | 0.50 | 2015 |
| Tests for Establishing Security Properties. | 1 | 0.35 | 2014 |
| Dynamic Measurement and Protected Execution: Model and Analysis. | 2 | 0.37 | 2013 |
| Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK | 24 | 4.25 | 2005 |
| Feature Integration as an Operation of Theory Change | 2 | 0.50 | 2002 |
| Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000. | 0 | 0.34 | 2001 |
| SFI: a Feature Integration Tool | 11 | 1.44 | 1998 |
| Symbolic Model Checking for Probabilistic Processes | 87 | 5.84 | 1997 |
| Belief Revision and Ordered Theory Presentations | 13 | 1.70 | 1996 |
| A New Continuous Propositional Logic | 0 | 0.34 | 1995 |
| Writing about C++ | 0 | 0.34 | 1993 |
| Prioritising preference relations | 3 | 0.57 | 1993 |
