Some recent publications
(More publications here)
Books:

M. Fernández. Programming Languages and Operational Semantics: A Concise Overview.
Springer, UTiCS series, 2014. ISBN 9781447163688
From the reviews:
"This text can serve as a complement to traditional undergraduate programming language course resources or as the main textbook for introductory courses in programming language operational semantics. The book is well organized, flows well, and is pleasant to read. ... Summing Up: Recommended. Upperdivision undergraduates and faculty." (D. Papamichail, Choice, Vol. 52 (5), January, 2015)
"There are many things in this book that would lead to its recommendation as a course textbook: it provides a good breadth of material, and a stepping stone from programming experience to more theoretical aspects of programming languages. ... it would be an excellent addition to a reference list that could be used to inform a solid understanding of programming language theory. (Sara Kalvala, Computing Reviews, July, 2014)

M. Fernández. Programming Languages and Operational Semantics.
Texts in Computing, Volume 1. King's College Publications, 2004. ISBN 0954300637

M. Fernández. Models of computation  An introduction to computability theory. Springer, UTiCS series, 2009. ISBN10: 1848824335,
ISBN13: 9781848824331
From the reviews:
"The focus of this relatively short book is on newer objectoriented and interactionoriented models, including recent work in quantum computing and systems biology. ... the book is designed for advanced undergraduate and graduate students. ... Each chapter starts by clearly indicating what will be covered and ends with a series of exercises. ... the book as a whole is extremely well written. Definitions are clearly stated ... . Each model of computation is precisely defined, and the examples are clear and to the point." (K. Harrow, ACM Computing Reviews, September 2009)
"It is a pleasure to see a book which takes a different approach to computer theory. ... This short book can be used for a oneterm course ... . A valuable primer for students of programming languages. Summing Up: Highly recommended. Upperdivision undergraduates and graduate students." (P. Cull, Choice, Vol. 47 (3), November 2009)
"In the preface, the author writes to whom the book is addressed: to advanced undergraduate
students, as a complement to programming languages or computability courses, and to postgraduate
students who are interested in the theory of computation. If used as indicated, this is a magnificent
book. Most of the chapters have exactly the amount of material that should be taught in an
undergraduate course."
(J. Guimaraes, The Book Review Column, 2012)
Book chapters:
 Nneka Ene, Maribel Fernández and Bruno Pinaud. A Strategic Graph Rewriting Model of Rational Negligence in Financial Markets.
In G. Jaiani and D. Natroshvili (eds.), Applications of Mathematics and Informatics
in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics
and Statistics 334, 2020. https://doi.org/10.1007/9783030563561_8
pdf
 Oana Andrei, Maribel Fernández, Hélène Kirchner and Bruno Pinaud. StrategyDriven Exploration for RuleBased Models of Biochemical
Systems with PORGY.
In Modeling Biomolecular Site Dynamics:
Methods and Protocols.
William S. Hlavacek (Ed.) Springer  Methods in Molecular Biology series, 2019. Springer link
Journals:

M. Fernández, J. Jaimunk, B. Thuraisingham. A PrivacyPreserving Architecture and DataSharing Model for CloudIoT Applications. IEEE Transactions on Dependable and Secure Computing, 2022 early publication, doi: 10.1109/TDSC.2022.3204720.
 Mauricio AyalaRincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele NantesSobrinho. Formalising nominal Cunification generalised with protected variables.
Mathematical Structures in Computer Science. First published online May 2021. Cambridge University Press.
 Jesús Domínguez, Maribel Fernández,
Nominal syntax with atom substitutions,
Journal of Computer and System Sciences,
Volume 119,
2021,
Pages 3459,
ISSN 00220000,
https://doi.org/10.1016/j.jcss.2021.01.002.
 Mauricio AyalaRincón, Maribel Fernández, Daniele NantesSobrinho. On nominal syntax and permutation fixed points. Logical Methods in Computer Science, Volume 16, Issue 1 (2020). pdf
 Mauricio AyalaRincón, Washington de CarvalhoSegundo, Maribel Fernández, Daniele NantesSobrinho, Ana Cristina Rocha Oliveira. A Formalisation of Nominal AlphaEquivalence with A, C and AC Function Symbols. Theor. Comput. Sci. (2019). DOI 10.1016/j.tcs.2019.02.020 pdf
 E. Fairweather and M. Fernández. Typed Nominal Rewriting. ACM Transactions on Computational Logic (TOCL), 2018. pdf
 Mauricio AyalaRincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Ventura. Nominal Essential Intersection Types. Theor. Comput. Sci. 672: 64100 (2018).
 M. Fernández, H. Kirchner, B. Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling Framework. Mathematical Structures in Computer Science, 2018.
 M. Fernández, H. Kirchner, B. Pinaud, J. Vallet.
Labelledgraph strategic rewriting for social networks. Special Issue, Journal of Logic and Algebraic Methods in Programming (JLAMP), 2018.
 I. Cervesato and M. Fernández, editors. Linearity. Special issue of the International Journal on Automated Reasoning  2019.
 T. Altenkirch and M. Fernández, editors. Selected papers from RTA and TLCA 2015. Logical Methods in Computer Science, 2019.
 S. Alves and M. Fernández. A GraphBased Framework for the Analysis of Access Control Policies. Theoretical Computer Science, 2017.

Mauricio AyalaRincón, Maribel Fernández, Daniele NantesSobrinho. Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672: 64100 (2017).

J Domínguez and M. Fernández. From Nominal to HigherOrder Rewriting and Back Again. International Journal Logical Methods in Computer Science, 2015.

F. Alarifi and M. Fernández. Towards PrivacyPreserving Web Metering Via UserCentric Hardware. ICST Transactions on Security and Safety 2(4):e4, 2015.
 C. Bertolissi and M. Fernández. A Metamodel of Access
Control for Distributed Environments: Applications and
Properties. Information and Computation, volume 238, pp. 187  207. Special Issue on Security and Rewriting Techniques, 2014.
pdf©Elsevier 2014.
 M. Fernández and N. Siafakas.
Labelled calculi of resources. Special issue: Linearity in Computation.
Volume 24 Issue 3,
Journal of Logic and Computation, OUP, 2014. doi: 10.1093/logcom/exs021
pdf at JLC
 S. Alves, M. Fernández, M. Florido, I. Mackie.
Linearity: A Roadmap. Special issue: Linearity in Computation.
Volume 24 Issue 3,
Journal of Logic and Computation, OUP, 2014.
Conferences and Workshops with Refereed Proceedings:
 A. Bamberger and M. Fernández. Automated Generation and Update of Structured ABAC Policies. Proceedings of SATCPS at CODASPY 2024: 3140, ACM Press.
 C. Bertolissi, M. Fernández, B. Thuraisingham. An Axiomatic CategoryBased Access Con trol Model for Smart Homes. Proceedings of LOPSTR 2024, Milan, September 2024. Lecture Notes in Computer Science, Springer.

M. Fernández, I. Mackie. Hierarchical HigherOrder Port Graphs: A RewritingBased Modelling Language. Proceedings of the ACM Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milan, September 2024. ACM Press.
 M. Fernández, C.M. Poskitt (eds.). Proceedings of the 16th International Conference on Graph Transformation (ICGT 2023), LNCS vol. 13961, Springer.
 A. Bamberger and M. Fernández. From Static to Dynamic Access Control Policies via AttributeBased Category Mining. In Proceedings of LogicBased Program Synthesis and Transformation, LOPSTR 2023. Cascais, October 2023. Lecture Notes in Computer Science, Springer.
 M. AyalaRincón, M. Fernández, T. Kutsia, G. Ferreira Silva, D. NantesSobrinho. Nominal ACMatching.
Proceedings of the 16th Conference on Intelligent Computer Mathematics, CICM 2023. LNCS.
 M. Fernández. Nominal Techniques for Software Specification and Verification. Proceedings of 29th CADE and 8th FSCD. LNCS and LIPICS (Abstract of Joint Invited Talk), 2023.
 M. Fernández, Ninghui Li, Mohammad Shehab (eds.). CODASPY '23: Proceedings of the Thirtheenth ACM Conference on Data and Application Security and Privacy, Charlotte NC, USA, April 24  26, 2023. ACM Press.
 J. Cheney and M. Fernández. Nominal Matching Logic. PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, September 2022. ACM Press https://doi.org/10.1145/3551357.3551375
 M. Fernández. The CategoryBased Approach to Access Control, Obligations and Privacy. Proceedings of SACMAT 2023, 28th ACM Symposium on Access Control Models and Technologies. June 810, 2022. Abstract of Invited Talk.

M. Fernández, Anupam Joshi, Rakesh Verma (eds.). CODASPY '22: Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy, Baltimore MD, USA, April 25  27, 2022. ACM Press.
ISBN: 9781450392204
 C. Bertolissi, M. Fernández. Modular Composition of Access Control Policies:
A Framework to Build MultiSite MultiLevel Combinations.
Proceedings of SACMAT 2022, 27th ACM Symposium on Access Control Models and Technologies. June 810, 2022. New York, NY, USA. ACM Press.
 M. AyalaRincón, M. Fernández, G. Ferreira Silva, D. NantesSobrinho. A Certified Algorithm for ACUnification. FSCD 2022,
Proceedings of the International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, August 2022 (part of FLoC). LiPICS, 2022.
 C. Bertolissi, M. Fernández, B. Thuraisingham. GraphBased Specification of AdminCBAC Policies.
Proceedings of CODASPY 2021,
11th ACM Conference on Data and Application Security and Privacy,
April 2628, 2021. Virtual Event, USA. ACM Press.
 M. AyalaRincón, M. Fernández, D. NantesSobrinho, D. Vale. Nominal Equational Problems. 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, Luxembourg City, Luxembourg, March 27  April 1, 2021, Proceedings. Lecture Notes in Computer Science 12650, Springer.
pdf

M. Fernández (ed.). Proceedings of LogicBased Program Synthesis and Transformation, 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7?9, 2020, Lecture Notes in Computer Science volume 12561, Springer, 2021.
 Maribel Fernández, Ian Mackie. A Reversible Operational Semantics for Imperative Programming Languages. Proceedings of the International Conference on Formal Engineering Methods, ICFEM 2020, Singapore March 2021. LNCS, Springer.
 Maribel Fernández, Janos Varga. Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. Proceedings of the ACM Conference on Principles and Practice of Declarative Programming, PPDP 2020. Bologna, Italy, September 2020. ACM Press.
 M. Fernández, A. Franch Tapia, J. Jaimunk, M. Martinez Chamorro, B. Thuraisingham. A DataAccess Model for PrivacyPreserving CloudIoT Architectures. Proceedings of SACMAT 2020, ACM Symposium on Access Control Models and Technologies,
1012 June 2020. Barcelona. ACM Press.
 C. Bertolissi, M. Fernández, B. Thuraisingham. AdminCBAC: An Administration Model for CategoryBased Access Control. Proceedings of CODASPY 2020, 10th ACM Conference on Data and Application Security and Privacy
March 1618, 2020. New Orleans, USA. ACM Press.
 M. Fernández, Bruno Pinaud and Janos Varga. A Port Graph Rewriting Approach to Relational Database Modelling. Proceedings of LOPSTR 2019, Lecture Notes in Computer Science, Springer, 2020.

M. AyalaRincón, M. Fernández, G. Ferreira Silva, Daniele NantesSobrinho.
A Certified Functional Nominal CUnification
Algorithm. Proceedings of LOPSTR 2019, Lecture Notes in Computer Science, Springer, 2020.
 M. Fernández and A. Muscholl (editors). Proceedings of the EACSL Annual Conference on Computer Science Logic (CSL 2020), LIPICS, 2020.
 J. Dominguez, M. Fernández. Nominal Syntax with Atom Substitution: Matching, Unification, Rewriting. Proceedings of FCT 2019, 22nd International Symposium on Fundamentals of Computation Theory, Copenhagen, August 2019. Lecture Notes in Computer Science, Springer.

M. Fernández, J. Jaimunk, B. Thuraisingham. PrivacyPreserving Architecture for CloudIoT Platforms. Proceedings of IEEE ICWS 2019, IEEE International Conference on Web Services, July 2019, Milan. IEEE Press.
 M. Fernández, I. Mackie, B. Thuraisingham. Specification and Analysis of ABAC Policies
via the CategoryBased Metamodel. Proceedings of CODASPY 2019, 9th ACM Conference on Data and Application Security and Privacy
March 25  27, 2019. Dallas, TX, USA. ACM Press.
 M. Fernández and I. Mackie (eds.). Proceedings of the 10th International
Workshop on Computing with Terms and Graphs, TERMGRAPH 2018, Oxford, 7 July 201
8 (part of FLoC). EPTCS 288, 2019.
 T. Erharhd, M. Fernández, V. de Paiva, L. Tortora de Falco (eds). Proceedings of the Joint Linearity and Trends in Linear Logic and Applications
Workshops, LinearityTLLA 2018, Oxford 78 July 2018, FLoC, EPTCS 292, 2019.
 M. AyalaRincón, M. Fernández, D. NantesSobrinho. FixedPoint Constraints for Nominal Equational Unification. In Proceedings of FSCD 2018  International Conference on Formal Structures for Computation and Deduction. Oxford, 912 July 2018. LIPIcs, 108, Schloss Dagstuhl  LeibnizZentrum fuer Informatik 2018, ISBN 9783959770774.

M. Fernández, J. Jaimunk, B. Thuraisingham. GraphBased Data Collection Policies for the Internet of Things. Proceedings of ICSS 2018  Annual Industrial Control System Security (ICSS) Workshop, part of the 2018 Annual Computer Security Applications Conference. ACM Press.
 M. Fernández, B. Thuraisingham. A Categorybased Model for ABAC. ABAC'18 Invited Talk. Conference on Data and Application Security and Privacy (CODASPY) 2018, Workshop on AttributeBased Access Control. Tempe, Arizona, March 2018. ACM Press.
 M. AyalaRincón, W. de CarvalhoSegundo, M. Fernández, D. NantesSobrinho. Nominal C Unification. Proceedings of LOPSTR 2017, LNCS, Springer 2018.
 N. Ene, M. Fernández, B. Pinaud. Attributed Hierarchical Port Graphs and Applications.
Proceedings of WPTE 2017, EPTCS, 2018.
 M. AyalaRincón, W. de CarvalhoSegundo, M. Fernández, D. NantesSobrinho. On solving nominal fixpoint equations. Proceedings of FroCoS 2017, LNAI, Springer 2017.

M. Fernández, M. Kantarcioglu, B. Thuraisingham. A framework for secure data collection and management for Internet of Things. In Proceedings of the Second Industrial Control System Security (ICSS) Workshop (part of ACSAC), Los Angeles, December 2016. ACM Press.
 M. AyalaRincón, M. Fernández, D. NantesSobrinho. Nominal Narrowing. In Proceedings of International Conference on Formal Structures for Computation and Deduction. Porto, 2326 June 2016. LIPIcs, 2016.
 M. Fernández, H. Kirchner, B. Pinaud, J. Vallet. Labelled Graph Rewriting Meets Social Networks. In Proceedings of the International Workshop on Rewriting Logic and Applications (WRLA 2016). Eindhoven, April 2016. Lecture Notes in Computer Science. Springer.
 E. Fairweather, M. Fernández, N. Szasz, A. Tasistro. Dependent types for nominal terms with atom substitutions. In Proceedings of TLCA 2015, 13th International Conference on Typed Lambda Calculi and Applications, Warsaw, July 13 2015. Volume 38, LIPIcs, 2015.
 M. Fernández, editor. Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29 to July 1, 2015, Warsaw, Poland. LIPIcs 36, Schloss Dagstuhl  LeibnizZentrum fuer Informatik 2015, ISBN 9783939897859

S. Alves, S. Broda and M. Fernández. A typed language for events. In Proceedings of LOPSTR 2015, LogicBased Program Synthesis and Transformation, Siena, Italy, July 2015. Lecture Notes in Computer Science, Springer. pdf© Springer 2015.

Abeer S. AlHumaimeedy and Maribel Fernández.
Enhancing the specification and verification techniques of multiparty sessions in SOC. Proceedings of PPDP 2015, 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 1416, 2015. ISBN 9781450335164, pages 1930. ACM Press 2015.
 M. AyalaRincón, M. Fernández, M. J. Gabbay, A. C. RochaOliveira. Checking Overlaps of Nominal Rewriting Rules.
In Proceedings of Logical and Semantic Frameworks, with Applications (LSFA 2015), ENTCS 2016.
 M. AyalaRincón, M. Fernández, A. C. RochaOliveira. Completeness in PVS of a Nominal Unification Algorithm.
In Proceedings of Logical and Semantic Frameworks, with Applications (LSFA 2015), ENTCS 2016.

S. Alves, A. Degtyarev and M. Fernández. Access Control and Obligations in the CategoryBased Metamodel: A rewriting semantics. In Proceedings of LOPSTR 2014, LogicBased Program Synthesis and Transformation, Canterbury, September 2014. Lecture Notes in Computer Science, Springer. pdf© Springer 2014.
 Abeer AlHumaimeedy and Maribel Fernández.
Enabling Synchronous and Asynchronous Communications in CSP.
Proceedings of the 9th Int. Workshop on Logic and Semantic Frameworks, with Applications. Brasilia, September 2014. ENTCS.

A. Ali, M. Fernández. Hybrid enforcement of CategoryBased Access Control. In Proceedings of the 10th International Workshop on Security and Trust Management (in conjunction with ESORICS 2014), Wroclaw, Poland, September 1011, 2014. Lecture Notes in Computer Science, Springer, 2014.

M. Fernández, H. Kirchner, I. Mackie, B. Pinaud. Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. In Proceedings of Computability in Europe (CiE 2014, Budapest, June 2014). Invited paper (keynote presentation by the first author). Lecture Notes in Computer Science, Springer, 2014.

J. Dominguez, M. Fernández. Relating Nominal and HigherOrder Rewriting. Proceedings of the 39th International Symposium on Mathematical
Foundations of Computer Science (MFCS 2014). Lecture Notes in Computer Science, Springer, 2014.
 A. Ali, M. Fernández. Static Enforcement of RoleBased Access Control. Proceedings of 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), Vienna, July 2014. EPTCS, 2014.
More publications here.
Maribel Fernandez
Department of Informatics, King's College London