Select Publications
Preprints
, 2025, Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees, http://dx.doi.org/10.48550/arxiv.2507.17453
, 2025, Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models, http://dx.doi.org/10.48550/arxiv.2506.00943
, 2024, Is Your AI Truly Yours? Leveraging Blockchain for Copyrights, Provenance, and Lineage, http://arxiv.org/abs/2404.06077v1
, 2024, Maximizing NFT Incentives: References Make You Rich, http://arxiv.org/abs/2402.06459v1
, 2022, A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning, http://dx.doi.org/10.48550/arxiv.2211.10012
, 2021, Patterns for Blockchain-Based Payment Applications, http://dx.doi.org/10.48550/arxiv.2102.09810
, 2020, An Analysis of Data Driven, Decision-Making Capabilities of Managers in Banks, http://dx.doi.org/10.48550/arxiv.2007.01862
, 2020, Real-Time Monitoring and Driver Feedback to Promote Fuel Efficient Driving, http://dx.doi.org/10.48550/arxiv.2007.02728
, 2019, Patterns for Blockchain Data Migration, http://dx.doi.org/10.1145/3424771.3424796
, 2012, Collaborative Applications over Peer-to-Peer Systems - Challenges and Solutions, http://dx.doi.org/10.1007/s12083-012-0157-3