Computers & Security
Formal verification of TLS 1.2 by automatically generating proof scores
Publication date: December 2022Source: Computers & Security, Volume 123Author(s): Duong Dinh Tran, Kazuhiro Ogata
Computers & Security
Capturing drivers’ privacy preferences for intelligent transportation systems: An intercultural perspective
Publication date: December 2022Source: Computers & Security, Volume 123Author(s): Lejla Islami, Simone Fischer-Hübner, Panos Papadimitratos
Computers & Security
Improving Source location privacy in social Internet of Things using a hybrid phantom routing technique
Publication date: December 2022Source: Computers & Security, Volume 123Author(s): Tariq Hussain, Bailin Yang, Haseeb Ur Rahman, Arshad Iqbal, Farman Ali, Babar shah
Computers & Security
A GPU-based machine learning approach for detection of botnet attacks
Publication date: December 2022Source: Computers & Security, Volume 123Author(s): Michal Motylinski, Áine MacDermott, Farkhund Iqbal, Babar Shah
Computers & Security
Investigating Machine Learning Attacks on Financial Time Series Models
Publication date: Available online 28 September 2022Source: Computers & SecurityAuthor(s): Michael Gallagher, Nikolaos Pitropakis, Christos Chrysoulas, Pavlos Papadopoulos, Alexios Mylonas, Sokratis Katsikas
Computers & Security
Add Noise to Remove Noise: Local Differential Privacy for Feature Selection
Publication date: Available online 28 September 2022Source: Computers & SecurityAuthor(s): Mina Alishahi, Vahideh Moghtadaiee, Hojjat Navidan
Computers & Security
Why people keep falling for phishing scams: The effects of time pressure and deception cues on the detection of phishing emails
Publication date: Available online 26 September 2022Source: Computers & SecurityAuthor(s): Marcus Butavicius, Ronnie Taib, Simon J. Han
Computers & Security
Rise of the Metaverse’s Immersive Virtual Reality Malware and the Man-in-the-Room Attack & Defenses
Publication date: Available online 22 September 2022Source: Computers & SecurityAuthor(s): M. Vondrek, Ibrahim Baggili, Peter Casey, Mehdi Mekni
Computers & Security
Statistical Machine Learning Defensive Mechanism against Cyber Intrusion in Smart Grid Cyber-Physical Network
Publication date: Available online 2 October 2022Source: Computers & SecurityAuthor(s): Neeraj Kumar Singh, Mahshooq Abdul Majeed, Vasundhara Mahajan
Computers & Security
Attack Dynamics: An Automatic Attack Graph Generation Framework Based on System Topology, CAPEC, CWE, and CVE Databases
Publication date: Available online 1 October 2022Source: Computers & SecurityAuthor(s): Ferda özdemir Sönmez, Chris Hankin, Pasquale Malacaria