Tahiry M. Rabehaja

Orcid: 0000-0002-3630-4749

According to our database1, Tahiry M. Rabehaja authored at least 27 papers between 2009 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions.
Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

2021
A blockchain-based trust management framework with verifiable interactions.
Comput. Networks, 2021

Controlling Resource Allocation using Blockchain-Based Delegation.
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.
IEEE Trans. Ind. Informatics, 2020

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

On the Integration of Blockchain to the Internet of Things for Enabling Access Right Delegation.
IEEE Internet Things J., 2020

2019
Abstract Hidden Markov Models: a monadic account of quantitative information flow.
Log. Methods Comput. Sci., 2019

Policy-based access control for constrained healthcare resources in the context of the Internet of Things.
J. Netw. Comput. Appl., 2019

Program algebra for quantitative information flow.
J. Log. Algebraic Methods Program., 2019

Design and implementation of a secure and flexible access-right delegation for resource constrained environments.
Future Gener. Comput. Syst., 2019

Categorical Information Flow.
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.
Theor. Comput. Sci., 2018

Fine-Grained Access Control for Smart Healthcare Systems in the Internet of Things.
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2018

Policy-Based Access Control for Constrained Healthcare Resources.
Proceedings of the 19th IEEE International Symposium on "A World of Wireless, 2018

2017
Privacy in elections: How small is "small"?
J. Inf. Secur. Appl., 2017

On Design of A Fine-Grained Access Control Architecture for Securing IoT-Enabled Smart Healthcare Systems.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

Reasoning About Distributed Secrets.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Algebra for Quantitative Information Flow.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016
Probabilistic rely-guarantee calculus.
Theor. Comput. Sci., 2016

Compositional security and collateral leakage.
CoRR, 2016

Schedulers and Finishers: On Generating the Behaviours of an Event Structure.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2013
Weak Concurrent Kleene Algebra with Application to Algebraic Verification
CoRR, 2013

Probabilistic Concurrent Kleene Algebra.
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.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011
On Probabilistic Kleene Algebras, Automata and Simulations.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2009
Data Refinement with Probability in Mind.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement Algebra with Explicit Probabilism.
Proceedings of the TASE 2009, 2009


  Loading...