King's College London

• Nominal Matching Logic

  Cheney, J. & Fernandez, M., 22 Sep 2022, Principles and Practice of Declarative Programming - Proceedings PPDP 2022. ACM Press

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications

  Fernandez, M., Jaimunk, J. & Thusaisingham, B. M., 7 Sep 2022, (E-pub ahead of print) In: IEEE Transactions on Dependable and Secure Computing. p. 1-12 12 p.

  Research output: Contribution to journal › Article › peer-review

• A Certified Algorithm for AC-Unification

  Ayala-Rincón, M., Fernandez, M., Nantes-Sobrinho, D. & Silva, G. F., 3 Aug 2022, Proceedings of FSCD 2022. Felty, A. (ed.). LIPIcs

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations

  Bertolissi, C. & Fernandez, M., 7 Jun 2022, SACMAT 2022 - Proceedings of the 27th ACM Symposium on Access Control Models and Technologies. ACM Press, p. 7-18 12 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

View all (106) »