all InfoSec News
Gradual Verification for Smart Contracts
July 4, 2024, 11:02 a.m. | Haojia Sun, Kunal Singh, Jan-Paul Ramos-D\'avila, Jonathan Aldrich, Jenna DiVincenzo
cs.CR updates on arXiv.org arxiv.org
Abstract: Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses. Traditional verification techniques fall short in providing comprehensive security assurances, especially against re-entrancy attacks, due to the unavailable implementations of external contracts. This paper introduces an incremental approach: gradual verification. We combine static and dynamic verification techniques to enhance security, guarantee soundness and flexibility, and optimize …
arxiv assurances attacks blockchains contracts cs.cr cs.lo cs.pl digital digital agreements external losses resource security smart smart contracts techniques transactions verification vulnerabilities
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Cyber Security Project Engineer
@ Dezign Concepts LLC | Chantilly, VA
Cloud Cybersecurity Incident Response Lead
@ Maveris | Martinsburg, West Virginia, United States
Sr Staff Security Researcher (Malware Research - Antivirus Systems)
@ Palo Alto Networks | Santa Clara, CA, United States
Identity & Access Management, Senior Associate
@ PwC | Toronto - 18 York Street
Senior Manager, AI Security
@ Lloyds Banking Group | London 10 Gresham Street
Senior Red Team Engineer
@ Adobe | Remote California