πŸ“ƒ
Documentation
  • πŸ‘οΈβ€πŸ—¨οΈVERITAS PROTOCOL
    • πŸ“–WHITE PAPER
      • Legal and Regulatory Considerations
    • πŸ“ŠTECH PAPER
    • πŸ’™Insurance Pool
    • πŸ“ŠTOKENOMICS
  • πŸ§‘β€πŸ’»RESEARCH
  • πŸ“ƒTHESIS
    • Automated Audits
    • Smart Contract β€œKill Switch”
  • ⁉️WHY AI?
  • ℹ️GUIDES
    • A Guide on What to do After Your Funds Have Been Stolen
    • Security Audit Checklist for Account Abstraction Wallets
    • Upgrade to Public Blockchain Security Audit Guide
    • Security Guide for Securing X (Twitter) Account
    • Navigating Wallet Types and Risks
    • The Dark Forest Manual Guide
    • Understanding Known-Plaintext Attacks and How to Prevent Them
  • ECOSYSTEM
    • πŸ”Veritas Explorer (B2C)
    • πŸ›‘οΈVeritas Audit (B2B)
    • πŸ•΅οΈβ€β™‚οΈPrivate Security Audit
      • Security Audit Methodology
    • β˜‘οΈSoulBound Audit Token
    • ⛑️Add-Ons
Powered by GitBook
On this page

RESEARCH

PreviousTOKENOMICSNextTHESIS

Last updated 7 months ago

Deep Smart Contract Intent Detection

AI-powered Fraud Detection in Decentralized Finance: A Project Life Cycle Perspective

Detecting Anomalies in Blockchain Transactions using Machine Learning Classifiers and Explainability Analysis

Tackling Long-Range Malware Detection Tasks Using Holographic Global Convolutional Networks

Veritas: Layer-2 Scaling Solution for Decentralized Oracles on Ethereum Blockchain with Reputation and Real-Time Considerations

Artificial Intelligence (AI) Cybersecurity Dimensions: A Comprehensive Framework for Understanding Adversarial and Offensive AI

THREATKG: A Threat Knowledge Graph for Automated Open-Source Cyber Threat Intelligence Gathering and Management

The Intersection of Artificial Intelligence and Cybersecurity: Challenges and Opportunities

Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study

Towards Secure and Trusted-by-Design Smart Contracts

DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications

Large Language Models for Blockchain Security: A Systematic Literature Review

AuditGPT: Auditing Smart Contracts with ChatGPT

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts

Teaching Machines to Code: Smart Contract Translation With LLMs

Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer’s Practices

SmartML: Towards a Modeling Language for Smart Contracts

Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair

Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study

TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

πŸ§‘β€πŸ’»
3MB
2211.10724v1.pdf
pdf
2MB
2308.15992v3.pdf
pdf
2MB
2401.03530v1.pdf
pdf
5MB
2403.17978v1.pdf
pdf
2MB
jsan-13-00021.pdf
pdf
3MB
s43681-024-00427-4.pdf
pdf
1MB
2212.10388v1.pdf
pdf
802KB
WJARR-2024-0607.pdf
pdf
1MB
2312.16533.pdf
pdf
612KB
2403.16903.pdf
pdf
135KB
2403.16861.pdf
pdf
1MB
2403.16073.pdf
pdf
292KB
2403.14280.pdf
pdf
813KB
AuditGPT.pdf
pdf
1MB
2403.11254.pdf
pdf
840KB
2403.09740.pdf
pdf
980KB
2403.07458.pdf
pdf
1019KB
2403.06622.pdf
pdf
5MB
2309.02391.pdf
pdf
908KB
2303.10517.pdf
pdf
3MB
2301.08806.pdf
pdf
797KB
2304.02981.pdf
pdf