Agenda

Result 1 - 3 of 3 results
  • Post-Quantum Cryptography in Resource-Constrained Environments

    Post-Quantum Cryptography in Resource-Constrained Environments

    This PhD thesis explores the implementation of post-quantum cryptography (PQC) in resource-constrained environments, providing insights into the feasibility and cost of deploying PQC in such settings.

  • Comparing and proving computer system behaviour

    Comparing and proving computer system behaviour

    This PhD thesis aimed to develop a better understanding of two aspects of state-transition systems: the effect of modifications to systems on their behaviour; and the comparison of the behaviour of systems.

  • Personalization and Evaluation of Conversational Information Access

    Personalization and Evaluation of Conversational Information Access

    The PhD defence of H. Joko is on 8 July 2026 at 12:30 pm.