Professor Maribel Fernandez Professor Maribel Fernandez Academics Supervisors Professor in Computer Science Deputy Head of Department, Education (Informatics). Corner editor of the International Journal on Logic and Computation, OUP. Editor of the LMS Journal of Computation and Mathematics. Research subject areas Computer science Contact details +44 020 7848 2499 maribel.fernandez@kcl.ac.uk
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. DOIs: https://doi.org/10.1109/TDSC.2022.3204720 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 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. DOIs: https://doi.org/10.1145/3532105.3535043 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 Relating Nominal and Higher-Order Rewriting Domínguez, J. & Fernández, M., 2014, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings. PART 1 ed. Springer Verlag, p. 244-255 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8634 LNCS, no. PART 1). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-662-44522-8_21 Formalising nominal C-unification generalised with protected variables Ayala-Rincón, M., de Carvalho-Segundo, W., Fernandez, M., Silva, G. F. & Nantes-Sobrinho, D., 7 May 2021, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. Research output: Contribution to journal › Article › peer-review Nominal Equational Problems Ayala-Rincón, M., Fernandez, M., Nantes-Sobrinho, D. & Val, D., 20 Mar 2021, Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Kiefer, S. & Tasson, C. (eds.). Springer, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12650). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-030-71995-1_2 Graph-Based Specification of Admin-CBAC Policies Bertolissi, C., Fernandez, M. & Thuraisingham, B., 26 Apr 2021, CODASPY 2021 - Proceedings of the 11th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, p. 173-184 12 p. (CODASPY 2021 - Proceedings of the 11th ACM Conference on Data and Application Security and Privacy). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3422337.3447850 Nominal Syntax with Atom Substitutions Dominguez, J. & Fernandez, M., 1 Feb 2021, (Accepted/In press) In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. Research output: Contribution to journal › Article › peer-review A Reversible Operational Semantics for Imperative Programming Languages Fernández, M. & Mackie, I., 2020, Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings. Lin, S-W., Hou, Z. & Mahoney, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 91-106 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12531 LNCS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-030-63406-3_6 View all publications
9 December 2021 Simplifying software verification techniques Researchers at King’s and the University of Illinois at Urbana-Champaign (UIUC) are collaborating to…