2 citations · 2 across the 2 of their papers we have counts for
4 papers
Controlling Resource Allocation using Blockchain-Based Delegation
Shantanu Pal, Ambrose Hill, Tahiry Rabehaja +1
Allocation of resources and their control over multiple organisations is challenging. This is especially true for a large-scale and dynamic system like the Internet of Things (IoT)…
A Blockchain-Based Trust Management Framework with Verifiable Interactions
Shantanu Pal, Ambrose Hill, Tahiry Rabehaja +1
There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epist…
Compositional security and collateral leakage
N. Bordenabe, A. McIver, C Morgan +1
In quantitative information flow we say that program is "at least as secure as" just when the amount of secret information flowing from is never more than flows from $P…
Weak Concurrent Kleene Algebra with Application to Algebraic Verification
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound wit…