Designing in-VM-assisted lightweight agent-based malware detection framework for securing virtual machines in cloud computing Rajendra PatilHarsha DudejaChirag Modi Regular Contribution 26 June 2019 Pages: 147 - 162
Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies Hasiba Ben AttiaLaid KahloulSamir Bourekkache Regular Contribution 27 June 2019 Pages: 163 - 187
Attacks on smart grid: power supply interruption and malicious power generation Sridhar AdepuNandha Kumar KandasamyAditya Mathur Regular Contribution 04 July 2019 Pages: 189 - 211
SonarSnoop: active acoustic side-channel attacks Peng ChengIbrahim Ethem BagciJeff Yan Regular contribution Open access 05 July 2019 Pages: 213 - 228
SEDS: secure and efficient server-aided data deduplication scheme for cloud storage Sanjeet Kumar NayakSomanath Tripathy Regular Contribution 15 July 2019 Pages: 229 - 240
Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies Hasiba Ben AttiaLaid KahloulSamir Bourekkache Correction 05 July 2019 Pages: 241 - 241