Software Development
Applied Cryptography
Information Networks
Our products and services build upon the foundations in these three areas and we always do our best for ensuring the resulting product contains the best of them.
We have been working for you for over 20 years on the following:
Applied Cryptography
Although cryptography has its roots in abstract mathematics, its proper usage always comes with huge real-world impact on mitigating the risks of business operation problems and monetary damages.
Penetration Testing
Information security management includes the necessity to regularly test the systems and infrastructure security. Security auditing and penetration testing is used for performing such regular testing.
Systems Architecture
Professional analysis and viable design and implementation of specialized software or secure server and network infrastructure are the key components for success of new and current services no matter the scale.
Latest posts
Back in Academia
Written by Dominik Pantůček on 2026-09-24
Today I've got a purely personal post to publish which has been probably due for quite some time. I am back in academia and I finally put up my researcher homepage a suggested by my faculty.
Define Deforestable in Qi
Written by Dominik Pantůček on 2026-09-10
Having dealt with equality allowed us to add the missing link between a year of stream fusion development and a new rolling Qi release. Let us have a quick look at what is finally out in the fields and which operations are now optimized!
Equality Considered Harmful
Written by Dominik Pantůček on 2026-08-27
Implementing optimized versions of certain operations is typically both useful and fun. However, once the implementations have to replicate a particular equality predicate, verifying - or at least testing - becomes a nightmarish experience. Let us dive knee-deep in the behavioral predicates of different equality definitions.