Pre-deployment Analysis of Smart Contracts--A Survey
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
A Gurfinkel, V Ganesh - 2024 - library.oapen.org
This open access book constitutes the proceedings of the 36th International Conference on
Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July …
Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July …
Formally Verifying a Real World Smart Contract
A Mota, F Yang, C Teixeira - arxiv preprint arxiv:2307.02325, 2023 - arxiv.org
Nowadays, smart contracts have become increasingly popular and, as with software
development in general, testing is the standard method for verifying their correctness …
development in general, testing is the standard method for verifying their correctness …
[PDF][PDF] Cryptocurrency investigations in digital forensics: Contemporary challenges and methodological advances
SA Raza, M Shaikh, K Tahira - Inf. Dyn. Appl, 2023 - researchgate.net
Digital forensics, a crucial subset of cybersecurity, encompasses sophisticated tools and
methodologies for the interpretation, analysis, and investigation of digital evidence …
methodologies for the interpretation, analysis, and investigation of digital evidence …
Computer Aided Verification
A Gurfinkel, V Ganesh - Springer
It was our privilege to serve as the program chairs for CAV 2024, the 36th International
Conference on Computer-Aided Verification. CAV 2024 was held in Montreal, Canada, on …
Conference on Computer-Aided Verification. CAV 2024 was held in Montreal, Canada, on …