IsPri UNSW
IsPri UNSW
Home
Team
Publications
News
Light
Dark
Automatic
Paper-Conference
An Integrated Testbed for Trojans in Printed Circuit Boards with Fuzzing Capabilities
P. Krishnamurthy
,
H. Pearce
,
V.R. Surabhi
,
J. Trujillo
,
R. Karri
,
F. Khorrami
Cite
DOI
URL
BAILIF: A Blockchain Agnostic Interoperability Framework
Samuel Karumba
,
Raja Jurdak
,
Salil S. Kanhere
,
Subbu Sethuvenkatraman
Jan 1, 2023
DOI
URL
BAILIF: A Blockchain Agnostic Interoperability Framework
Samuel Karumba
,
Raja Jurdak
,
Salil S. Kanhere
,
Subbu Sethuvenkatraman
Cite
DOI
URL
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
DOI
URL
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
Cite
DOI
URL
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
J. Blocklove
,
S. Garg
,
R. Karri
,
H. Pearce
Jan 1, 2023
DOI
URL
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
J. Blocklove
,
S. Garg
,
R. Karri
,
H. Pearce
Cite
DOI
URL
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
DOI
URL
Counterfactual Explanations and Model Multiplicity: a Relational Verification View
Francesco Leofante
,
Elena Botoeva
,
Vineet Rajani
,
Pierre Marquis
,
Tran Cao Son
,
Gabriele Kern-Isberner
Cite
DOI
URL
Examining Zero-Shot Vulnerability Repair with Large Language Models
H. Pearce
,
B. Tan
,
B. Ahmad
,
R. Karri
,
B. Dolan-Gavitt
Jan 1, 2023
DOI
arXiv
URL
«
»
Cite
×