Reports

This page references reports and articles that are either non-peer-reviewed or accepted at venues without published proceedings.

Technical Papers

Model Checking Probabilistic ATL with Imperfect Recall and Imperfect Information
Bryan Kumara
Imperial College London Summer Undergraduate Research, 2019

Articles

ASEAN Cyber Security: Challenges and Resolution
Bryan Kumara
Thinking ASEAN Issue 27, 2017

Theses

Commutative Supersingular Isogeny-based Diffie-Hellman Group Action Through Lattice Reduction Algorithms
Bryan Kumara
MSc Thesis, 2022

Defending Logical Relativism – Examples in Computer Science
Bryan Kumara
BSc Thesis, 2020