Abstract
We present a formally verified proof of the correctness and IND-CCA security of ML-KEM, the Kyber-based Key Encapsulation Mechanism (KEM) undergoing standardization by NIST. The proof is machine-checked in EasyCrypt and it includes: 1) A formalization of the correctness (decryption failure probability) and IND-CPA security of the Kyber base public-key encryption scheme, following Bos et al. at Euro S&P 2018; 2) A formalization of the relevant variant of the Fujisaki-Okamoto transform in the Random Oracle Model (ROM), which follows closely (but not exactly) Hofheinz, Hovelmanns and Kiltz at TCC 2017; 3) A proof that the IND-CCA security of the ML-KEM specification and its correctness as a KEM follows from the previous results; 4) Two formally verified implementations of ML-KEM written in Jasmin that are provably constant-time, functionally equivalent to the ML-KEM specification and, for this reason, inherit the provable security guarantees established in the previous points. The top-level theorems give self-contained concrete bounds for the correctness and security of ML-KEM down to (a variant of) Module-LWE. We discuss how they are built modularly by leveraging various EasyCrypt features.

Abstract
PurposeIn a society that encourages consumption, attributes such as exclusivity and social recognition are important in what is intended to be restricted to a certain exclusive segment. Luxury is something that is more desirable than necessary. This study develops and tests a model that analyses the brand loyalty-risk relationship in the luxury watch market.Design/methodology/approachTo test the proposed research model, a sample of 306 international consumers and enthusiasts of luxury brand watches was collected. The data were analysed using structural equation modelling.FindingsThe results show that perceived quality has a negative indirect influence on brand risk and brand trust has a strong direct negative effect on brand risk. However, the findings also show that in the luxury market, the greater the affection for the brand, the greater the risk perceived by consumers.Research limitations/implicationsThe study was conducted in a single market, luxury watches and the sample includes both enthusiasts and consumers of the luxury brands.Practical implicationsManagers should be aware of the double-edged role of brand affect on brand risk. The quality of a brand and the trust in its promise decrease the risk to the consumer.Originality/valueThis pioneering study is one of the first to approach an underexplored topic as is the case of the risk associated with a brand in the context of the luxury goods market. Moreover, it relies on an international sample composed of consumers from several countries.

Abstract
Municipalities are key players in their role as sustainable development planners and have a responsibility to change behavior at the local level. This study uses a panel of French municipalities to explore their role in promoting responsible consumption and production practices. A questionnaire was set up to obtain data from 186 citizens, of which 77 come from rural areas and 109 from urban zones. The findings reveal that French municipalities have a wide influence on the consumption and more responsible production of individuals through their actions. They encourage inhabitants to reduce energy and water consumption, waste management, and local and organic consumption. French citizens are mainly influenced by social and economic factors, while political and marketing factors are of little relevance. Furthermore, there are no differences in the importance and involvement of citizens in responsible consumption and production actions between rural and urban municipalities. © 2025 by IGI Global Scientific Publishing. All rights reserved.

Abstract

Abstract
Small living spaces require ingenious solutions that are functional, ergonomic and, above all, reconfigurable. This project for smart, ergonomic and adjustable furniture was embraced by a team of students from different countries, universities and study areas enrolled in the European Project Semester (EPS) at Instituto Superior de Engenharia do Porto (ISEP). EPS is a design project where international students work in teams to create a solution to a real problem from scratch, analysing the state of the art, the market and the associated ethical and sustainability issues. As a project-based learning process, EPS aims to prepare engineering students to work together in multidisciplinary teams, develop personal skills and address the challenges of the contemporary world. The current project aims to design, simulate and test an ethically and sustainability-driven safe and transformable furniture. Amplea is the adjustable furniture solution developed by five EPS students in spring 2023. It transforms into a kitchen counter, dining table or standing desk. By transforming easily, Amplea’s design provides more comfort and saves space in small living spaces. This paper summarises the research, the design of the solution and the development and testing of the proof-of-concept prototype. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

Abstract
Phonology is a linguistic discipline that is naturally computational. However, as many researchers are not familiar with the use of digital methods, most of the computation required is still performed by humans. This article presents a training experiment of master's students of the phonology seminar at the University of Porto, bringing the research process directly to the classroom. The experiment was designed to raise students' awareness of the potentialities of combining human and machine computation in phonology. The Centre for Digital Culture and Innovation (CODA) readily embraced this project to showcase the application of digital humanities as humanities in both research and training activities. During this experiment, students were trained to collect and process phonological data using various open-source and free web-based resources. By combining a strict protocol with some individual research freedom, the students were able to make valuable contributions towards Creolistic Studies, while enriching their individual skills. Finally, the interdisciplinary nature of the approach has demonstrated its potential within and beyond the humanities and social sciences fields (e.g., linguistics, archaeology, history, geography, ethnology, sociology, and genetics), by also introducing the students to basic concepts and practices of Open Science and FAIR principles, including Linked Open Data.