Tahiry M. Rabehaja

According to our database, Tahiry M. Rabehaja authored at least 28 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Blockchain-Based Approach for Parametric Insurance Under Multiple Sources of Truth.

Tahiry M. Rabehaja, Shantanu Pal, Ambrose Hill, Michael Hitchens

IEEE Trans. Serv. Comput., 2024

2022

VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions.

Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens

Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

2021

A blockchain-based trust management framework with verifiable interactions.

Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens

Comput. Networks, 2021

Controlling Resource Allocation using Blockchain-Based Delegation.

Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens

Proceedings of the IEEE Globecom 2021 Workshops, Madrid, Spain, December 7-11, 2021, 2021

2020

On the Design of a Flexible Delegation Model for the Internet of Things Using Blockchain.

Shantanu Pal, Tahiry M. Rabehaja, Michael Hitchens, Vijay Varadharajan, Ambrose Hill

IEEE Trans. Ind. Informatics, 2020

Security Requirements for the Internet of Things: A Systematic Approach.

Shantanu Pal, Michael Hitchens, Tahiry M. Rabehaja, Subhas Mukhopadhyay

Sensors, 2020

On the Integration of Blockchain to the Internet of Things for Enabling Access Right Delegation.

Shantanu Pal, Tahiry M. Rabehaja, Ambrose Hill, Michael Hitchens, Vijay Varadharajan

IEEE Internet Things J., 2020

2019

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

Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja

Log. Methods Comput. Sci., 2019

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

Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja

J. Netw. Comput. Appl., 2019

Program algebra for quantitative information flow.

A. K. McIver, Carroll C. Morgan, T. M. Rabehaja

J. Log. Algebraic Methods Program., 2019

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

Tahiry M. Rabehaja, Shantanu Pal, Michael Hitchens

Future Gener. Comput. Syst., 2019

Categorical Information Flow.

Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Schedulers and finishers: On generating and filtering the behaviours of an event structure.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Theor. Comput. Sci., 2018

Fine-Grained Access Control for Smart Healthcare Systems in the Internet of Things.

Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2018

Policy-Based Access Control for Constrained Healthcare Resources.

Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja

Proceedings of the 19th IEEE International Symposium on "A World of Wireless, 2018

2017

Privacy in elections: How small is "small"?

Annabelle McIver, Tahiry M. Rabehaja, Roland Wen, Carroll Morgan

J. Inf. Secur. Appl., 2017

On Design of A Fine-Grained Access Control Architecture for Securing IoT-Enabled Smart Healthcare Systems.

Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja

Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

Reasoning About Distributed Secrets.

Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Algebra for Quantitative Information Flow.

Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Probabilistic rely-guarantee calculus.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Theor. Comput. Sci., 2016

Compositional security and collateral leakage.

Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja

CoRR, 2016

Schedulers and Finishers: On Generating the Behaviours of an Event Structure.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2013

Weak Concurrent Kleene Algebra with Application to Algebraic Verification

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

CoRR, 2013

Probabilistic Concurrent Kleene Algebra.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

On Probabilistic Kleene Algebras, Automata and Simulations.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2009

Data Refinement with Probability in Mind.

T. M. Rabehaja, Jeff W. Sanders

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement Algebra with Explicit Probabilism.

T. M. Rabehaja, Jeff W. Sanders

Proceedings of the TASE 2009, 2009