Filtered_publications

BAILIF: A Blockchain Agnostic Interoperability Framework

Samuel Karumba, Raja Jurdak, Salil S. Kanhere, Subbu Sethuvenkatraman

Jan 1, 2023

Barriers to blockchain-based decentralised energy trading: a systematic review

Samuel Karumba, Subbu Sethuvenkatraman, Volkan Dedeoglu, Raja Jurdak, Salil S. Kanhere

Jan 1, 2023

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

S. Thakur, B. Ahmad, Z. Fan, H. Pearce, B. Tan, R. Karri, B. Dolan-Gavitt, S. Garg

Jan 1, 2023

Can Large Language Models Identify And Reason About Security Vulnerabilities? Not Yet

S. Ullah, M. Han, S. Pujar, H. Pearce, A. Coskun, G. Stringhini

Jan 1, 2023

Chip-Chat: Challenges and Opportunities in Conversational Hardware Design

J. Blocklove, S. Garg, R. Karri, H. Pearce

Jan 1, 2023

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