April 13, 2023, 1:10 a.m. | Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

cs.CR updates on arXiv.org arxiv.org

Blockchain recently became very popular due to its use in cryptocurrencies
and potential application in various domains (e.g., retail, healthcare,
insurance). The smart contract is a key part of blockchain systems and
specifies an agreement between transaction participants. Nowadays, smart
contracts are being deployed carrying residual faults, including severe
vulnerabilities that lead to different types of failures at runtime. Fault
detection tools can be used to detect faults that may then be removed from the
code before deployment. However, in …

application blockchain case code contract cryptocurrencies deployment detect detection domains healthcare impact insurance key may opinion popular reliability retail runtime smart smart contract smart contracts systems tools transaction types vulnerabilities

SOC 2 Manager, Audit and Certification

@ Deloitte | US and CA Multiple Locations

Information Security Engineers

@ D. E. Shaw Research | New York City

L2-Network Security Administrator

@ Kyndryl | KIN51515 Mumbai (KIN51515) We Work

Head of Cybersecurity Advisory and Architecture

@ CMA CGM | Marseille, FR

Systems Engineers/Cyber Security Engineers/Information Systems Security Engineer

@ KDA Consulting Inc | Herndon, Virginia, United States

R&D DevSecOps Staff Software Development Engineer 1

@ Sopra Steria | Noida, Uttar Pradesh, India