All Stories

  1. Implementing a hardware-assisted memory management mechanism for ARM platforms using the B method

    Article • Concurrency and Computation Practice and Experience, August 2018, Wiley

    Rui Chang

  2. Towards a multilayered permission-based access control for extending Android security

    Article • Concurrency and Computation Practice and Experience, June 2017, Wiley

    Rui Chang