Fingerprint Dive into the research topics where Department of Computing is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Galois field Mathematics
Semantics Engineering & Materials Science
Cryptography Engineering & Materials Science
Communication Engineering & Materials Science
Polynomials Engineering & Materials Science
Industry Engineering & Materials Science
Modulo Mathematics
Exponential Sums Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.


No photo of Fred Amouzgar
Photo of Hassan Asghar

Hassan Asghar

Person: Teaching and research

Photo of Amin Beheshti

Amin Beheshti

Person: Teaching and research


Projects 2003 2022

Research Output 1979 2020

Abstract Hidden Markov Models: a monadic account of quantitative information flow

McIver, A., Morgan, C. & Rabehaja, T., 29 Mar 2019, In : Logical Methods in Computer Science. 15, 1, p. 1-50 50 p., 36.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Information Flow
Hidden Markov models
Markov Model

A cartography of web tracking using DNS records

Su, J., Li, Z., Grumbach, S., Ikram, M., Salamatian, K. & Xie, G., 15 Jan 2019, In : Computer Communications. 134, p. 83-95 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Pareto principle
Asymmetric digital subscriber lines (ADSL)

A correlation-based feature weighting filter for naive Bayes

Jiang, L., Zhang, L., Li, C. & Wu, J., 1 Feb 2019, In : IEEE Transactions on Knowledge and Data Engineering. 31, 2, p. 201-213 13 p., 8359364.

Research output: Contribution to journalArticleResearchpeer-review

Data mining
Learning systems
Computational complexity


ACM AsiaCCS 2019 Best Paper Award

Benjamin Zi Hao Zhao (Recipient), Muhammad Ikram (Recipient), Hassan Asghar (Recipient), Mohamed Ali Kaafar (Recipient), Chaabane Abdelberi (Recipient) & Kanchana Thilakarathna (Recipient), 10 Jul 2019

Prize: Other distinction

Secure communication

Activities 1999 2019

Third World Congress on Formal Methods

Annabelle McIver (Participant)
7 Oct 201911 Oct 2019

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Mário S. Alvim

Annabelle McIver (Host)
3 Jun 201925 Jun 2019

Activity: Hosting a visitorHosting an academic visitor

Experiments in information flow

Annabelle McIver (Speaker)
7 Oct 2019

Activity: Talk or presentationInvited talk

Press / Media

Socially responsible technology

Annabelle McIver


1 media contribution

Press/Media: Public Engagement Activities