This book constitutes the proceedings of the first International Symposium on Cyber Security
Cryptography and Machine Learning held in Beer-Sheva Israel in June 2017.The 17 full and 4
short papers presented include cyber security secure software development methodologies
formal methods semantics and verification of secure systems fault tolerance reliability
availability of distributed secure systems game-theoretic approaches to secure computing
automatic recovery of self-stabilizing and self-organizing systems communication
authentication and identification security cyber security for mobile and Internet of things
cyber security of corporations security and privacy for cloud edge and fog computing
cryptography cryptographic implementation analysis and construction secure multi-party
computation privacy-enhancing technologies and anonymity post-quantum cryptography and
security machine learning and big data anomaly detection and malware identification business
intelligence and security digital forensics digital rights management trust management and
reputation systems information retrieval risk analysis DoS.
