Skip to main content
How to Implement a Custom Blockchain for Your Business: Graphene Framework
Though a blockchain is just a distributed ledger with an immutable chain of data, blockchains can be successfully implemented in various business sphe...
Software Development Blog
Formal Verification of Smart Contracts with the K Framework
An Apriorit system programming expert analyzes the pros and cons of applying formal verification to smart contracts, compares it to other types of sec...
Silently Installing a Service on a Virtual Machine Using Libguestfs
The article is about how you can install a service (a daemon) outside on a virtual machine as silently as possible while it’s turned off.
How to Develop a Windows Driver Using a QEMU Virtual Device
In this article, we explain our approach to developing Windows drivers using a QEMU virtual device.
How EOS Casinos Lost $562,000 to Smart Contract Vulnerabilities
In this article, we analyze the causes of these recent EOS casino hacks and see if they could have been avoided.
FPGAs for Artificial Intelligence: Possibilities, Pros, and Cons
Learn whether FPGAs are a good fit for accelerating Artificial Intelligence (AI) applications and what are the pros and cons of using FPGAs for AI.
Employing the MITRE ATT&CK Matrix to Build and Validate Cybersecurity Mechanisms
The ATT&CK matrix is a huge collection of effective cyber attack mechanisms, tactics, techniques, and procedures
5 Security Tips for Writing Smart Contracts
Learn five tips for developing secure and vulnerability-free smart contracts from our blockchain expert Mihail Sotnichek.
Improving the Performance of Mask R-CNN Using TensorRT
In this article, we share how we managed to improve Mask R-CNN performance six to ten times by applying TensorRT
Fomo3D Round Conclusion Vulnerability
This article describes how Fomo3D vulnerability points to a bigger potential issue with all smart contracts of other DApps.
