Computer science and theological writing.
My academic work is divided between computer science and theology. In computer science, I work on Internet architecture, routing scalability, network measurement, identifier–locator separation, DNS implications, and contactless-payment security.
My theological interests include Anglican doctrine, ecclesiology, worship, authority, and the institutional life of the Church.
Published work
Provable-Security Model for Strong Proximity-based Attacks
Ioana Boureanu, Liqun Chen, and Samuel J. Ivey. “Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments.” Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS ’20, pp. 87–100, 2020.
This paper develops a formal model for strong proximity-based attacks in contactless payment systems, including cases involving dishonest timing-measuring parties. It studies PayBCR and PayCCR, protocols designed to strengthen contactless payments against collusive relaying.
PhD thesis
My doctoral work studies how a global deployment of the Identifier-Locator Network Protocol would affect Internet routing state, DNS state, and the distribution of control information across the network.
The thesis combines longitudinal Internet measurement, growth modelling, counterfactual architectural analysis, and DNS-state modelling.
Contribution chapters
IPv6 routing-state growth, 2010–2025
This contribution analyses longitudinal IPv6 routing-state growth using large-scale Internet measurement data. It compares candidate growth models and uses rolling backtests to assess the stability and usefulness of routing-state forecasts.
Counterfactual routing state under global ILNP deployment
This contribution asks how the global routing table might look if ILNP semantics were deployed at Internet scale. It transforms observed IPv6 routing data into a counterfactual ILNP representation, estimating the effect of identifier–locator separation on routing-state size while preserving inter-domain connectivity.
DNS state under identifier–locator separation
This contribution studies the corresponding displacement of state into the Domain Name System. It models the additional DNS records required under ILNP, including identifier and locator-related state, and considers the implications for storage, update behaviour, TTL selection, resolver load, and operational deployment.
Theological work
My theological writing is rooted in the Anglican tradition and concerned with doctrine, ecclesiology, worship, church order, and the relationship between Christian truth and institutional life.
Anglican doctrine and ecclesiology
Work in this area concerns Anglican identity, authority, formularies, worship, and the visible order of the Church.
Technology, institutions, and Christian thought
I am interested in how technical systems shape human communities, and in how Christian theology can speak carefully about mediation, authority, infrastructure, and trust.
Academic correspondence
For academic enquiries, invitations, or requests relating to papers and talks, please get in touch.