Tahiry M. Rabehaja

32 papers A* 1B 2C 6Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Blockchain-Based Approach for Parametric Insurance Under Multiple Sources of Truth.
IEEE Trans. Serv. Comput.
Tahiry M. Rabehaja, Shantanu Pal, Ambrose Hill, Michael Hitchens
2022 B conf
VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions.
ICCCN
Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens
2022 J jnl
VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions.
CoRR
Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens
2021 J jnl
A Blockchain-Based Trust Management Framework with Verifiable Interactions.
CoRR
Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens
2021 J jnl
A blockchain-based trust management framework with verifiable interactions.
Comput. Networks
Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens
2021 — conf
Controlling Resource Allocation using Blockchain-Based Delegation.
GLOBECOM (Workshops)
Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens
2021 J jnl
Controlling Resource Allocation using Blockchain-Based Delegation.
CoRR
Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens
2020 J jnl
On the Design of a Flexible Delegation Model for the Internet of Things Using Blockchain.
IEEE Trans. Ind. Informatics
Shantanu Pal, Tahiry M. Rabehaja, Michael Hitchens, Vijay Varadharajan, Ambrose Hill
2020 J jnl
On the Integration of Blockchain to the Internet of Things for Enabling Access Right Delegation.
IEEE Internet Things J.
Shantanu Pal, Tahiry M. Rabehaja, Ambrose Hill, Michael Hitchens, Vijay Varadharajan
2020 J jnl
Security Requirements for the Internet of Things: A Systematic Approach.
Sensors
Shantanu Pal, Michael Hitchens, Tahiry M. Rabehaja, Subhas Mukhopadhyay
2019 J jnl
Abstract Hidden Markov Models: a monadic account of quantitative information flow.
Log. Methods Comput. Sci.
Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2019 — conf
Categorical Information Flow.
The Art of Modelling Computational Systems
Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
2019 J jnl
Design and implementation of a secure and flexible access-right delegation for resource constrained environments.
Future Gener. Comput. Syst.
Tahiry M. Rabehaja, Shantanu Pal, Michael Hitchens
2019 J jnl
Policy-based access control for constrained healthcare resources in the context of the Internet of Things.
J. Netw. Comput. Appl.
Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja
2018 J jnl
Fine-Grained Access Control for Smart Healthcare Systems in the Internet of Things.
EAI Endorsed Trans. Ind. Networks Intell. Syst.
Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja
2018 C conf
Policy-Based Access Control for Constrained Healthcare Resources.
WOWMOM
Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja
2018 J jnl
Schedulers and finishers: On generating and filtering the behaviours of an event structure.
Theor. Comput. Sci.
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2017 J jnl
Abstract Hidden Markov Models: a monadic account of quantitative information flow.
CoRR
Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2017 C conf
Algebra for Quantitative Information Flow.
RAMiCS
Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja
2017 C conf
On Design of A Fine-Grained Access Control Architecture for Securing IoT-Enabled Smart Healthcare Systems.
MobiQuitous
Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja
2017 J jnl
Privacy in elections: How small is "small"?
J. Inf. Secur. Appl.
Annabelle McIver, Tahiry M. Rabehaja, Roland Wen, Carroll Morgan
2017 C conf
Reasoning About Distributed Secrets.
FORTE
Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2016 J jnl
Compositional security and collateral leakage.
CoRR
Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2016 J jnl
Probabilistic rely-guarantee calculus.
Theor. Comput. Sci.
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2016 C conf
Schedulers and Finishers: On Generating the Behaviours of an Event Structure.
ICTAC
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2015 A* conf
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow.
LICS
Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2014 J jnl
Probabilistic Rely-guarantee Calculus.
CoRR
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013 B conf
An Event Structure Model for Probabilistic Concurrent Kleene Algebra.
LPAR
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013 J jnl
An Event Structure Model for Probabilistic Concurrent Kleene Algebra.
CoRR
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013 — conf
Probabilistic Concurrent Kleene Algebra.
QAPL
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013 J jnl
Weak Concurrent Kleene Algebra with Application to Algebraic Verification
CoRR
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2011 C conf
On Probabilistic Kleene Algebras, Automata and Simulations.
RAMiCS
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth