Follow
Benjamin Aziz, Ph.D.
Benjamin Aziz, Ph.D.
Associate Professor
Verified email at bucks.ac.uk - Homepage
Title
Cited by
Cited by
Year
Federated identity and access management for the internet of things
P Fremantle, B Aziz, J Kopecký, P Scott
2014 International Workshop on Secure Internet of Things, 10-17, 2014
1552014
A formal model and analysis of an IoT protocol
B Aziz
Ad Hoc Networks 36, 49-57, 2016
832016
A temporal blockchain: a formal analysis
R Dennis, G Owenson, B Aziz
2016 International Conference on Collaboration Technologies and Systems (CTS …, 2016
822016
Detecting man-in-the-middle attacks by precise timing
B Aziz, G Hamilton
2009 Third International Conference on Emerging Security Information …, 2009
552009
Reconfiguring role based access control policies using risk semantics
B Aziz, SN Foley, J Herbert, G Swart
Journal of High Speed Networks 15 (3), 261-273, 2006
542006
Towards modelling obligations in Event-B
J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard
Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008
422008
Reputation management in collaborative computing systems
AE Arenas, B Aziz, GC Silaghi
Security and Communication Networks 3 (6), 546-564, 2010
402010
Smart routing: Towards proactive fault handling of software-defined networks
A Malik, B Aziz, M Adda, CH Ke
Computer Networks 170, 107104, 2020
382020
Web api management meets the internet of things
P Fremantle, J Kopecký, B Aziz
The Semantic Web: ESWC 2015 Satellite Events: ESWC 2015 Satellite Events …, 2015
352015
A formal model and analysis of the MQ telemetry transport protocol
B Aziz
2014 Ninth International Conference on Availability, Reliability and …, 2014
342014
Optimisation methods for fast restoration of software-defined networks
A Malik, B Aziz, M Adda, CH Ke
IEEE Access 5, 16111-16123, 2017
322017
Oauthing: privacy-enhancing federation for the internet of things
P Fremantle, B Aziz
2016 Cloudification of the Internet of Things (CIoT), 1-6, 2016
312016
From goal-oriented requirements to Event-B specifications
B Aziz, AE Arenas, J Bicarregui, C Ponsard, P Massonet
Proceedings of the First NASA Formal Methods Symposium, 2009
312009
Reputation management in grid-based virtual organisations
A Arenas, B Aziz, G Silaghi
International Conference on Security and Cryptography, 2008
262008
Managing conflicts of interest in virtual organisations
A Arenas, B Aziz, J Bicarregui, B Matthews
Electronic Notes in Theoretical Computer Science 197 (2), 45-56, 2008
262008
Enhancing IoT security and privacy with distributed ledgers-a position paper
P Fremantle, B Aziz, T Kirkham
IoTBDS 2017: 2nd Interantional Conference on Internet of Things, Big Data …, 2017
252017
A privacy analysis for the π-calculus: The denotational approach
B Aziz, G Hamilton
Proceedings of the 2nd Workshop on the Specification, Analysis and …, 2002
242002
On the availability of anti-forensic tools for smartphones
I Sporea, B Aziz, Z McIntyre
International Journal of Security 6 (4), 58-64, 2012
232012
Rapid restoration techniques for software-defined networks
A Malik, R de Fréin, B Aziz
Applied Sciences 10 (10), 3411, 2020
212020
Cloud-based federated identity for the Internet of Things
P Fremantle, B Aziz
Annals of Telecommunications 73, 415-427, 2018
212018
The system can't perform the operation now. Try again later.
Articles 1–20