04404nam 22007335 450 991079921220332120240104121033.03-031-51399-110.1007/978-3-031-51399-2(CKB)29527056200041(DE-He213)978-3-031-51399-2(MiAaPQ)EBC31094003(Au-PeEL)EBL31094003(EXLCZ)992952705620004120240104d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierTools for Design, Implementation and Verification of Emerging Information Technologies[electronic resource] 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings /edited by Jianghua Liu, Lei Xu, Xinyi Huang1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (XII, 173 p. 48 illus., 42 illus. in color.) Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,1867-822X ;5239783031513985 Blockchain and its applications -- A Novel Cross-Chain Relay Method Based on Node Trust Evaluation -- Collateral-Efficient Instant Contingent Payments: The Promise of A Hardware-Driven Off-Chain Payment System -- Emerging Applications -- A Survey on Edge Intelligence for Music Composition: Principles, Applications, and Privacy Implications -- AI-Driven Sentiment Analysis for Music Composition -- Fault Diagnosis Method for Hydro-Power Plant with Bi-LSTM Knowledge Graph aided by Attention Scheme -- AI and its Security -- Zero-Knowledge with Robust Learning: Mitigating Backdoor Attacks in Federated Learning for Enhanced -- Security and Privacy -- PPAPAFL: A Novel Approach to Privacy Protection and Anti-Poisoning Attacks in Federated Learning -- Towards Retentive Proactive Defense Against DeepFakes -- A Fast and Accurate Non-Interactive Privacy-Preserving Neural Network Inference Framework.This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023. The 9 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on blockchain and its applications; emerging applications; AI and its security.Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,1867-822X ;523Computer networksComputer engineeringComputers, Special purposeElectronic digital computersEvaluationComputer systemsSoftware engineeringComputer Communication NetworksComputer Engineering and NetworksSpecial Purpose and Application-Based SystemsSystem Performance and EvaluationComputer System ImplementationSoftware EngineeringComputer networks.Computer engineering.Computers, Special purpose.Electronic digital computersEvaluation.Computer systems.Software engineering.Computer Communication Networks.Computer Engineering and Networks.Special Purpose and Application-Based Systems.System Performance and Evaluation.Computer System Implementation.Software Engineering.004.6Liu Jianghuaedthttp://id.loc.gov/vocabulary/relators/edtXu Leiedthttp://id.loc.gov/vocabulary/relators/edtHuang Xinyiedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910799212203321Tools for Design, Implementation and Verification of Emerging Information Technologies1946024UNINA