Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

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

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


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 2019

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

Activities 2001 2019

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

Third World Congress on Formal Methods

Annabelle McIver (Participant)
7 Oct 201911 Oct 2019

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

Press / Media

Socially responsible technology

Annabelle McIver


1 media contribution

Press/Media: Public Engagement Activities