Search

Your search keyword '"Lee, Y. (Yi)"' showing total 2 results
Start Over Author "Lee, Y. (Yi)"
2 results on '"Lee, Y. (Yi)"'

1. Fixing and mechanizing the security proof of Fiat-Shamir with Aborts and Dilithium

Author

Barbosa, M. (Manuel), Barthe, G. (Gilles), Doczkal, C. (Christian), Don, J.W. (Jelle), Fehr, S. (Serge), Grégoire, B. (Benjamin), Huang, Y.H. (Yu-Hsuan), Hülsing, A. (Andreas), Lee, Y. (Yi), Wu, X. (Xiaodi), Barbosa, M. (Manuel), Barthe, G. (Gilles), Doczkal, C. (Christian), Don, J.W. (Jelle), Fehr, S. (Serge), Grégoire, B. (Benjamin), Huang, Y.H. (Yu-Hsuan), Hülsing, A. (Andreas), Lee, Y. (Yi), and Wu, X. (Xiaodi)

Abstract

We extend and consolidate the security justification for the Dilithium signature scheme. In particular, we identify a subtle but crucial gap that appears in several ROM and QROM security proofs for signature schemes that are based on the Fiat-Shamir with aborts paradigm, including Dilithium. The gap lies in the CMA-to-NMA reduction and was uncovered when trying to formalize a variant of the QROM security proof by Kiltz, Lyubashevsky, and Schaffner (Eurocrypt 2018). The gap was confirmed by the authors, and there seems to be no simple patch for it. We provide new, fixed proofs for the affected CMA-to-NMA reduction, both for the ROM and the QROM, and we perform a concrete security analysis for the case of Dilithium to show that the claimed security level is still valid after addressing the gap. Furthermore, we offer a fully mechanized ROM proof for the CMA-security of Dilithium in the EasyCrypt proof assistant. Our formalization includes several new tools and techniques of independent interest for future formal verification results.

Published
2023
Full Text
View/download PDF

2. Assessing the awareness and readiness of the Malaysian furniture industry for Industry 4.0

Author

Maria Victoria Bueno, Albert Khoo, Lim Choon Liat, Jegatheswaran Ratnasingam, Muhamad Muhaizi Mat Daud, Sarani Zakaria, Maria Victoria Gómez Gómez, Hazirah Ab Latib, Abdul Latib Senin, Marcin Zbiec, Josefina Garrido, Juanjo Ortega, Lee Y. Yi, Amir Affan Abdul Azim, Mohd Nor Zamri Mat Amin, Shahriman Zainal Abidin, Rokiah Hashim, and Rasmina Halis

Subjects
0106 biological sciences, Environmental Engineering, Industry 4.0, Furniture industry, Bioengineering, 01 natural sciences, Order (business), 010608 biotechnology, Workforce, Production (economics), Business, Marketing, Wood industry, Waste Management and Disposal, Erasmus+, Productivity
Abstract

The lack of knowledgeable and skilled workers is a major challenge faced by the Malaysian furniture sector. It hinders industrial productivity and its ability to move up the value-chain by adopting high technology. Therefore, in order to assess the awareness and readiness of the Malaysian furniture industry for Industry 4.0, a questionnaire-based survey was conducted with a sample of 778 large-, medium-, and small-sized furniture manufacturers throughout Malaysia. This study is part of an on-going Erasmus+ program funded by the European Commission, initiated in 2018 to develop a university-level education program to train workers capable of handling Industry 4.0 technologies for the furniture and wood industry in Malaysia. The results revealed that manufacturers of wood-based panel and metal furniture were more prepared to adopt automation and Industry 4.0 technologies compared to solid-wood and leather furniture manufacturers. The benefits from Industry 4.0 technologies include increased production capacity, product diversity, cost competitiveness, and workforce reduction. Further, the results of this study suggest that the lack of knowledgeable and skilled workers to handle Industry 4.0 technology is a concern among furniture manufacturers, and possibly the proposed university-level Industry 4.0 program may be beneficial to train workers for the future of the industry.

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results