Skip to main content
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...
Blog about Software Development Technologies
Using Web Debugging Proxies for Application Testing
Read this post to learn what web debugging proxies developers and testers at Apriorit prefer and how to work with these tools.
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.
Apriorit Featured in Clutch 1000 as a Top .NET Developer
Apriorit .NET development team is recognized by clients and independent analysts for their excellent engineering skills, business-oriented processes...
Quick and Thorough SaaS Product Testing: Is It Possible?
In this article, we talk about SaaS testing best practices and tools and how to work around tricky parts of the SaaS testing process.
Smart Contract Security Audit: Penetration Testing and Static Analysis
Apriorit experts were assigned to perform a security audit of the smart contracts and provide recommendations on code optimization and improvements.
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
