Vývoj software
Aplikovaná kryptografie
Informační sítě
Naše produkty i služby mají základ v těchto třech oblastech a děláme vždy maximum pro to, aby výsledek obsahoval to nejlepší z nich.
Již více než 20 let Vám poskytujeme:
Aplikovaná kryptografie
Ačkoliv kryptografie má své kořeny v abstraktní matematice, její správné použití má vždy obrovský skutečný dopad na řešení rizik operačních problémů a finančních ztrát.
Penetrační testování
Řízení informační bezpečnosti zahrnuje nutnost pravidelně testovat stav zabezpečení provozovaných systémů a infrastruktury. Pro ověření tohoto stavu slouží bezpečnostní audity a penetrační testy.
Systémová architektura
Profesionální analýza a vhodný návrh a implementace specializovaného software či bezpečná serverová a síťová infrastruktura jsou klíčové součásti úspěchu nových i existujících služeb nezávisle na jejich velikosti.
Výběr z blogu
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.
Validating OpenAPI Schemas
Written by Dominik Pantůček on 2026-08-13
As a part of a larger effort to design a complex authentication system, the developers asked for an OpenAPI (formerly Swagger) specification for one RESTful API of the system in question. Although it is pretty straightforward to write both in YAML and JSON, we needed validation and it turned out that there is a validation tool that is both easy to install and use!
Containers Resource Accounting with cgroups
Written by Dominik Pantůček on 2026-07-30
When building containers for HPC it is more than advisable to measure how much memory, CPU time and other resources such container needs. We had to dive deep into detailed resources accounting on Linux to get some actual numbers.