• 42 Citations
  • 4 h-Index
20092019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Tahiry Rabehaja is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Kleene Algebra Mathematics
Algebra Engineering & Materials Science
Event Structures Mathematics
Information Flow Mathematics
Access control Engineering & Materials Science
Model structures Engineering & Materials Science
Semantics Engineering & Materials Science
Regain Engineering & Materials Science

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

Research Outputs 2009 2019

  • 42 Citations
  • 4 h-Index
  • 8 Conference proceeding contribution
  • 8 Article
  • 2 Chapter
  • 1 Conference paper

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
File
Information Flow
Hidden Markov models
Markov Model
Semantics
Transformer

Categorical information flow

Rabehaja, T., McIver, A., Morgan, C. & Struth, G., 2019, The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 329-343 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Information Flow
Categorical
Transformer
Model

Design and implementation of a secure and flexible access-right delegation for resource constrained environments

Rabehaja, T., Pal, S. & Hitchens, M., 1 Oct 2019, In : Future Generation Computer Systems. 99, p. 593-608 16 p.

Research output: Contribution to journalArticleResearchpeer-review

Access control
Cryptography
Internet of things
Bandwidth
Data storage equipment

Policy-based access control for constrained healthcare resources in the context of the Internet of Things

Pal, S., Hitchens, M., Varadharajan, V. & Rabehaja, T., 1 Aug 2019, In : Journal of Network and Computer Applications. 139, p. 57-74 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Access control
Smart sensors
Internet of things

Program algebra for quantitative information flow

McIver, A. K., Morgan, C. C. & Rabehaja, T., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106, p. 55-77 23 p.

Research output: Contribution to journalArticleResearchpeer-review