Neil Veira

12 papers A* 1A 1B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle.
IEEE Trans. Engineering Management
Keerthi Nelaturu, John Adler, Marco Merlini, Ryan Berryhill, Neil Veira, Zissis Poulos, Andreas G. Veneris
2020 J jnl
Searching for Bugs Using Probabilistic Suspect Implications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Neil Veira, Zissis Poulos, Andreas G. Veneris
2019 J jnl
Generating Realistic Sequences of Customer-level Transactions for Retail Datasets.
CoRR
Thang Doan, Neil Veira, Brian Keng
2019 — conf
On Public Decentralized Ledger Oracles via a Paired-Question Protocol.
IEEE ICBC
Marco Merlini, Neil Veira, Ryan Berryhill, Andreas G. Veneris
2019 — conf
Suspect2vec: a suspect prediction model for directed RTL debugging.
ASP-DAC
Neil Veira, Zissis Poulos, Andreas G. Veneris
2019 A* conf
Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations.
IJCAI
Neil Veira, Brian Keng, Kanchana Padmanabhan, Andreas G. Veneris
2018 — conf
Astraea: A Decentralized Blockchain Oracle.
iThings/GreenCom/CPSCom/SmartData
John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania
2018 J jnl
Astraea: A Decentralized Blockchain Oracle.
CoRR
John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania
2018 — conf
Generating Realistic Sequences of Customer-Level Transactions for Retail Datasets.
ICDM Workshops
Thang Doan, Neil Veira, Brian Keng
2018 A conf
Suspect set prediction in RTL bug hunting.
DATE
Neil Veira, Zissis Poulos, Andreas G. Veneris
2017 — conf
Learning lemma support graphs in Quip and IC3.
IVSW
Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos
2017 B conf
Learning support sets in IC3 and Quip: The good, the bad, and the ugly.
FMCAD
Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling