# Tahiry M. Rabehaja

According to our database

Collaborative distances:

^{1}, Tahiry M. Rabehaja authored at least 20 papers between 2009 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

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. Indust. Netw. & Intellig. 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. Sec. Appl., 2017

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

CoRR, 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

2015

Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow.

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Probabilistic Rely-guarantee Calculus.

CoRR, 2014

2013

Weak Concurrent Kleene Algebra with Application to Algebraic Verification

CoRR, 2013

An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

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.

Electr. Notes Theor. Comput. Sci., 2009

Refinement Algebra with Explicit Probabilism.

Proceedings of the TASE 2009, 2009