Modern Cryptography with Proof Techniques and Implementations

Proof techniques in cryptography are very difficult to understand, even for students or researchers who major in cryptography. In addition, in contrast to the excessive emphases on the security proofs of the cryptographic schemes, practical aspects of them have received comparatively less attention. This book addresses these two issues by providing detailed, structured proofs and demonstrating examples, applications and implementations of the schemes, so that students and practitioners may obtain a practical view of the schemes.

Seong Oun Hwang is a professor in the Department of Computer Engineering and director of Artificial Intelligence Security Research Center, Gachon University, Korea. He received the Ph.D. degree in computer science from the Korea Advanced Institute of Science and Technology (KAIST), Korea. His research interests include cryptography, cybersecurity, networks, and machine learning.

Intae Kim is an associate research fellow at the Institute of Cybersecurity and Cryptology, University of Wollongong, Australia. He received the Ph.D. degree in electronics and computer engineering from Hongik University, Korea. His research interests include cryptography, cybersecurity, and networks.

Wai Kong Lee is an assistant professor in UTAR (University Tunku Abdul Rahman), Malaysia. He received the Ph.D. degree in engineering from UTAR, Malaysia. In between 2009 - 2012, he served as an R&D engineer in several multinational companies including Agilent Technologies (now known as Keysight) in Malaysia. His research interests include cryptography engineering, GPU computing, numerical algorithms, Internet of Things (IoT) and energy harvesting.

密碼學中的證明技巧對於專攻密碼學的學生或研究人員來說非常難以理解。此外，與密碼方案的安全證明相比，對其實際應用方面的關注相對較少。本書通過提供詳細結構化的證明，並展示方案的示例、應用和實現，解決了這兩個問題，使學生和從業人員能夠獲得方案的實際觀點。

Seong Oun Hwang是韓國嘉泉大學計算機工程系教授，人工智能安全研究中心主任。他在韓國科學技術院獲得計算機科學博士學位。他的研究興趣包括密碼學、網絡安全、網絡和機器學習。

Intae Kim是澳大利亞伍倫貢大學網絡安全與密碼學研究所的副研究員。他在韓國弘益大學獲得電子與計算機工程博士學位。他的研究興趣包括密碼學、網絡安全和網絡。

Wai Kong Lee是馬來西亞拉曼大學的助理教授。他在拉曼大學獲得工程博士學位。2009年至2012年期間，他在馬來西亞的幾家跨國公司擔任研發工程師，包括Agilent Technologies（現稱Keysight）。他的研究興趣包括密碼工程、GPU計算、數值算法、物聯網和能量收集。

Seong Oun Hwang received the BS degree in Mathematics in 1993 from the Seoul National University, the MS degree in Computer and Communications Engineering in 1998 from the Pohang University of Science and Technology, and the PhD degree in Computer Science from the Korea Advanced Institute of Science and Technology. He worked as a software engineer at the LG-CNS Systems, Inc. from 1994 to 1996. He worked as a senior researcher at the Electronics and Telecommunications Research Institute (ETRI) from 1998 to 2007. Since 2008, he has been working as an associate professor with the Department of Computer and Information Communication Engineering, Hongik University, Korea. His research interests include cryptography, cyber security and mobile network. He is a member of IEEE and IEEE Communications Society. He is also a lifelong member of IEEK (Institute of Electronics and Information Engineers) and KIISC (Korea Institute of Information Security and Cryptology). He has served as a director in IEEK Computer Society and led the Commission of Information Security in the IEEK Computer Society. He has led ICGHIT, one of the famous international conferences as an organizing chair. He has been an editor at ETRI Journal, International Journal of Advanced Research in Computer and Information Security, International Journal of Software Engineering, and Journal of Security Engineering Research Support Center. As an guest editor, he served a lot of journals including Journal of Intelligent and Fuzzy System, Springer's Lecture Notes in Electrical Engineering, International Journal of Computational Vision and Robotics, International Journal of Internet Technology and Secured Transactions. He has also been the reviewers for international journals such as IEEE Computer, IEEE Transactions on Dependable and Secure Computing, Security and Communications Network, Journal of Communications and Networks, Journal of Systems and Software, Nonlinear Dynamics, Computer and Communications, Wireless Personal Communications, and so on. He has authored three books on information security and its applications. He also published a lot of outstanding research papers on information security in premium journals such as IEEE Transactions on Computers and IEEE Transactions on Broadcasting.

Intae Kim is an associate research fellow at the Institute of Cybersecurity and Cryptology, University of Wollongong, Australia. He received the Ph.D. degree in electronics and computer engineering from Hongik University, Korea. His research interests include cryptography, cybersecurity, and networks.

Wai Kong Lee is an assistant professor in UTAR (University Tunku Abdul Rahman), Malaysia. He received the Ph.D. degree in engineering from UTAR, Malaysia. In between 2009 - 2012, he served as an R&D engineer in several multinational companies including Agilent Technologies (now known as Keysight) in Malaysia. His research interests include cryptography engineering, GPU computing, numerical algorithms, Internet of Things (IoT) and energy harvesting.

Seong Oun Hwang於1993年從首爾國立大學獲得數學學士學位，於1998年從浦項科技大學獲得計算機與通信工程碩士學位，並從韓國科學技術院獲得計算機科學博士學位。他曾於1994年至1996年在LG-CNS Systems, Inc.擔任軟體工程師，並於1998年至2007年在電子與通信研究院（ETRI）擔任高級研究員。自2008年以來，他一直在韓國弘益大學的計算機與信息通信工程系擔任副教授。他的研究興趣包括密碼學、網絡安全和移動網絡。他是IEEE和IEEE通信學會的成員，也是IEEK（電子與信息工程師學會）和KIISC（韓國信息安全與密碼學研究所）的終身會員。他曾擔任IEEK計算機學會的理事，並領導IEEK計算機學會的信息安全委員會。他曾擔任ICGHIT國際會議的組織主席。他曾擔任ETRI Journal、International Journal of Advanced Research in Computer and Information Security、International Journal of Software Engineering和Journal of Security Engineering Research Support Center的編輯。作為客座編輯，他為許多期刊服務，包括Journal of Intelligent and Fuzzy System、Springer的Lecture Notes in Electrical Engineering、International Journal of Computational Vision and Robotics、International Journal of Internet Technology and Secured Transactions等。他還擔任國際期刊的審稿人，如IEEE Computer、IEEE Transactions on Dependable and Secure Computing、Security and Communications Network、Journal of Communications and Networks、Journal of Systems and Software、Nonlinear Dynamics、Computer and Communications、Wireless Personal Communications等。他撰寫了三本關於信息安全及其應用的書籍。他還在IEEE Transactions on Computers和IEEE Transactions on Broadcasting等頂級期刊上發表了許多優秀的信息安全研究論文。

Intae Kim是澳大利亞伍倫貢大學網絡安全與密碼學研究所的副研究員。他從韓國弘益大學獲得電子與計算機工程博士學位。他的研究興趣包括密碼學、網絡安全和網絡。

Wai Kong Lee是馬來西亞拉曼大學的助理教授。他從拉曼大學獲得工程博士學位。在2009年至2012年期間，他曾在馬來西亞的幾家跨國公司擔任研發工程師，包括Agilent Technologies（現稱為Keysight）。他的研究興趣包括密碼工程、GPU計算、數值算法、物聯網和能量收集。