Keynote Speaker 1:
Professor Maribel Fernández King’s College London, UK
Date/Time: Monday, August 25, 2025 , 03.20 PM - 04.20 PM
Speech Abstract
The category-based access control metamodel provides an axiomatic framework for the specification of access control models. In fact, we have shown that one simple model in this framework (the CBAC model) subsumes popular models such Role-Based Access Control and Attribute-Based Access Control. The advantage of having one formal model of which the others are instances is that properties can be proved in the general model and inherited by its instances, and similarly languages, analysis tools and enforcement techniques designed for the general model can be applied to the instances, saving time and effort. It is therefore natural to use a similar approach in related areas such as the specification of privacy policies or obligation policies. In this talk, I will give an overview of the category-based approach to access control, obligation and privacy policy specification. I will show how to define policies that combine privacy and data-sharing specifications, and, using the DataBank (a privacy-preserving cloud-IoT architecture), will illustrate the use of such policies to ensure that data collected by IoT devices is shared with services according to the data-owner's privacy preferences.
Keynote Speaker Biography
Maribel Fernández is a Professor of Computer Science at King’s College London, where she is currently Vice Dean in the Faculty of Natural, Mathematical and Engineering Sciences. Her research interests include computation models, programming languages, and the development of tools for the analysis and verification of software systems. She uses rewriting-based techniques to analyse the dynamic behaviour, security and reliability of systems in various domains (e.g., Internet-of-Things, finance, biochemistry), and has developed modelling and simulation tools based on graph rewriting in collaboration with researchers in the UK and abroad. She has also written textbooks on programming languages and computation models to introduce these research areas to undergraduate and MSc students. She is the President of the European Association for Computer Science Logic, General Secretary of the board of the European Association for Programming Languages and Systems and a member of the Executive Committee of ACM SIGLOG.
Keynote Speaker 2:
Professor María Isabel González Vasco Universidad Carlos III de Madrid, Spain
Date/Time: Tuesday, August 26, 2025, 03.00 PM - 04.00 PM.
Speech Abstract
Post-quantum cryptography demands new mathematical foundations resilient to quantum attacks. This talk surveys key approaches, including lattice-based schemes, multivariate polynomial systems, coding theory, and isogeny-based cryptography. We will examine their underlying mathematical structures, security assumptions, and algorithmic challenges. Through this lens, we’ll assess the evolving landscape of cryptographic design in a quantum-enabled world.
Keynote Speaker Biography
Professor María Isabel González Vasco currently holds a Chair of Excellence in the Department of Mathematics at Universidad Carlos III de Madrid. She is on leave from her position as Full Professor of Applied Mathematics at Universidad Rey Juan Carlos. With over two decades of experience in mathematical cryptography, Professor González Vasco has built a distinguished career marked by extensive collaboration with national and international institutions, including Philips Crypto B.V., the IAKS Institute in Karlsruhe, Florida Atlantic University, and the IMDEA Software Institute. She is the author or co-author of more than 60 scientific publications, including four presented at top-tier conferences and 31 articles published in JCR-indexed journals—six of which appear in the first quartile. Additionally, she is co-inventor on two patents. Currently, she serves as the Principal Investigator of the Spanish node for the NATO Science for Peace and Security Program-funded project "Secure Communication via Classical and Quantum Technologies." Since 2017, she has been a member of the Board of the Spanish Royal Mathematical Society (RSME), where she now holds the position of Vice President
Keynote Speaker 3:
Professor Pascal Lorenz University of Haute-Alsace, France
Date/Time: Wednesday, August 27, 2025, 3:00 PM – 4:00 PM.
Speech Abstract
Internet Quality of Service (QoS) mechanisms are expected to enable wide spread use of real time services. New standards and new communication architectures allowing guaranteed QoS services are now developed. We will cover the issues of QoS provisioning in heterogeneous networks, Internet access over 5G networks and discusses most emerging technologies in the area of networks and telecommunications such as IoT, SDN, Edge Computing and MEC networking. We will also present routing, security, baseline architectures of the inter-networking protocols and end-to-end traffic management issues.
Keynote Speaker Biography
Pascal Lorenz (lorenz@ieee.org) received his M.Sc. (1990) and Ph.D. (1994) from the University of Nancy, France. Between 1990 and 1995 he was a research engineer at WorldFIP Europe and at Alcatel-Alsthom. He is a professor at the University of Haute-Alsace, France, since 1995. His research interests include QoS, wireless networks and high-speed networks. He is the author/co-author of 3 books, 3 patents and 200 international publications in refereed journals and conferences. He was Technical Editor of the IEEE Communications Magazine Editorial Board (2000-2006), IEEE Networks Magazine since 2015, IEEE Transactions on Vehicular Technology since 2017, Chair of IEEE ComSoc France (2014-2020), Financial chair of IEEE France (2017-2022), Chair of Vertical Issues in Communication Systems Technical Committee Cluster (2008-2009), Chair of the Communications Systems Integration and Modeling Technical Committee (2003-2009), Chair of the Communications Software Technical Committee (2008-2010) and Chair of the Technical Committee on Information Infrastructure and Networking (2016-2017), Chair of IEEE/ComSoc Satellite and Space Communications Technical (2022-2023), IEEE R8 Finance Committee (2022-2023), IEEE R8 Conference Coordination Committee (2023). He has served as Co-Program Chair of IEEE WCNC'2012 and ICC'2004, Executive Vice-Chair of ICC'2017, TPC Vice Chair of Globecom'2018, Panel sessions co-chair for Globecom'16, tutorial chair of VTC'2013 Spring and WCNC'2010, track chair of PIMRC'2012 and WCNC'2014, symposium Co-Chair at Globecom 2007-2011, Globecom'2019, ICC 2008-2010, ICC'2014 and '2016. He has served as Co-Guest Editor for special issues of IEEE Communications Magazine, Networks Magazine, Wireless Communications Magazine, Telecommunications Systems and LNCS. He is associate Editor for International Journal of Communication Systems (IJCS-Wiley), Journal on Security and Communication Networks (SCN-Wiley) and International Journal of Business Data Communications and Networking, Journal of Network and Computer Applications (JNCA-Elsevier). He is senior member of the IEEE, IARIA fellow and member of many international program committees. He has organized many conferences, chaired several technical sessions and gave tutorials at major international conferences. He was IEEE ComSoc Distinguished Lecturer Tour during 2013-2014.