Tools for Design, Implementation and Verification of Emerging Information Technologies

Beschreibung

This book constitutes the refereed post-conference proceedings of the 18^th 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.

Autor*in

Jianghua Liu

Themen in »Tools for Design, Implementation and Verification of Emerging Information Technologies«

Intrusion Detection and Prevention Network Infrastructure Security Wireless Security Secure Networked Systems Distributed Systems Security Cloud Security Mobile Security Digital Forensics Formal Verification for Network Systems and Protocols Privacy-enhancing Techniques and Anonymity Cryptographic Protocols with Networks and Systems Blockchain Protocols and Systems Trustworthy Machine Learning and AI Privacy-preserving Machine Learning Cyber-Physical Systems Security

Stimmen zu »Tools for Design, Implementation and Verification of Emerging Information Technologies«

Details

Link teilen