| 2022 | ICCCN | VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions. | Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens |
| 2021 | GLOBECOM | Controlling Resource Allocation using Blockchain-Based Delegation. | Shantanu Pal, Ambrose Hill, Tahiry M. Rabehaja, Michael Hitchens |
| 2018 | WoWMoM | Policy-Based Access Control for Constrained Healthcare Resources. | Shantanu Pal, Michael Hitchens, Vijay Varadharajan, Tahiry M. Rabehaja |
| 2017 | FORTE | Reasoning About Distributed Secrets. | Nicols E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2017 | Mobiquitous | 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 |
| 2016 | ICTAC | Schedulers and Finishers: On Generating the Behaviours of an Event Structure. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2015 | LICS | Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. | Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2013 | LPAR | An Event Structure Model for Probabilistic Concurrent Kleene Algebra. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |