Filtered_publications

Counterfactual Explanations and Model Multiplicity: a Relational Verification View

Francesco Leofante, Elena Botoeva, Vineet Rajani, Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner

Jan 1, 2023

Cyber Threat Intelligence Mining for Proactive Cybersecurity Defense: A Survey and New Perspectives

Nan Sun, Ming Ding, Jiaojiao Jiang, Weikang Xu, Xiaoxing Mo, Yonghang Tai, Jun Zhang

Jan 1, 2023

dcc -help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models

A. Taylor, A. Vassar, J. Renzella, H. Pearce

Jan 1, 2023

Decoding ChatGPT's 'impact' on the future of healthcare

H. Pearce, P. Roop

Jan 1, 2023

Don't Be a Victim during a Pandemic! Analysing Security and Privacy Threats in Twitter during COVID-19

B. Sharma, I. Karunanayake, R. Masood, M. Ikram

Jan 1, 2023

DualVAE: Controlling Colours of Generated and Real Images

Keerth Rathakumar, David Liebowitz, Christian Walder, Kristen Moore, Salil S Kanhere

Jan 1, 2023

Examining Zero-Shot Vulnerability Repair with Large Language Models

H. Pearce, B. Tan, B. Ahmad, R. Karri, B. Dolan-Gavitt

Jan 1, 2023

FairShare: Blockchain Enabled Fair, Accountable and Secure Data Sharing for Industrial IoT

Jayasree Sengupta, Sushmita Ruj, Sipra Das Bit

Jan 1, 2023

False Information, Bots and Malicious Campaigns: Demystifying Elements of Social Media Manipulations

M.M. Akhtar, R. Masood, M. Ikram, S.S. Kanhere

Jan 1, 2023

Fixing Hardware Security Bugs with Large Language Models

B. Ahmad, S. Thakur, B. Tan, R. Karri, H. Pearce

Jan 1, 2023