Benjamin Aziz – Research outputs — University of Portsmouth

EmailBenjamin.Azizport.acuk

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

43 Conference contribution
43 Article
23 Paper
8 Working paper
More

3 results

Filter

2021
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
Aziz, B., 15 Dec 2021, 1st ed. Springer. 113 p. (SpringerBriefs in Applied Sciences and Technology)
Research output: Book/Report › Book

Open Access
2016
Engineering secure Internet of Things systems
Aziz, B. (ed.), Arenas, A. (ed.) & Crispo, B. (ed.), Oct 2016, Institution of Engineering and Technology. 280 p.
Research output: Book/Report › Book

Open Access
2003
Proceedings of the 6th International Workshop on Formal Methods
Morris, J. (ed.), Aziz, B. (ed.) & Oehl, F. (ed.), 11 Jul 2003, BCS Learning and Development. (Electronic Workshops in Computing)
Research output: Book/Report › Book

Open Access