Tahiry M. Rabehaja

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 25

Top Topics

Healthcare Systems

Discriminative Training

Information Flows

Top Venues

Theor. Comput. Sci.

Publications

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