Title	Formal Analysis of Distributed Shared Memory Algorithms
Author	Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation	Vol. 24  No. 4  pp. 192-196
Keywords	Virtual memory, Distributed Algorithm, Formal Specification, Verification.

Title	Using Machine Learning Techniques for Accurate Attack Detection in Intrusion Detection Systems using Cyber Threat Intelligence Feeds
Author	Ehtsham Irshad and Abdul Basit Siddiqui
Citation	Vol. 24  No. 4  pp. 179-191
Keywords	Cyber-threat intelligence (CTI), Security Information and event management (SIEM), Intrusion detection system (IDS), Intrusion prevention system (IPS), Denial of service (DoS), Principal component analysis (PCA), Support vector machine (SVM), Indicators o

Title	A DDoS attack Mitigation in IoT Communications Using Machine Learning
Author	Hailye Tekleselase
Citation	Vol. 24  No. 4  pp. 170-178
Keywords	Distributed denial of Service; wireless networks; Machine Learning Algorithms; Transmission Control Protocol; CNN; network security

Title	Design and Implementation of IoT based Low cost, Effective Learning Mechanism for Empowering STEM Education in India
Author	Simmi Chawla, Parul Tomar, and Sapna Gambhir
Citation	Vol. 24  No. 4  pp. 163-169
Keywords	Internet of Things, STEM education, Low cost, effective learning, Node-Red, Raspberry pi, Python