![](/static/tux-0189d0dcbfa3c52e27ff06d82e6e325d.png)
![](/static/aws-21524df14754c2b0f9f1fe418c91146a.png)
Our Services
Software Development
While security is our focus, software development is often what we do. We build secure software and security solutions for our clients. This can be a small solution all the way up to building your next product.
Security Analysis
Knowing whether a system is secure is often as challenging as making it secure in the first place. We have decades of experience in the formal security analysis of security critical systems. A particular area of expertise is SELinux policy analysis.
Research
Solving challenging problems requires more than practical engineering - it requires breaking new ground and applying the best academic community has to offer. We have a long track record of successful applied research for leading government research and academic institutions.
Some of the great companies we are proud to have worked with
![AFRL](/static/afrl-baf7b81ee12112b929abd319171d697b.png)
![Zdata](/static/zdata-5b738b2ae419861764524e31219654c3.png)
![Hypori](/static/hypori-7699b0bf13fe496af777c21cfd226659.jpg)
![Sealing Technologies](/static/sealingtech-5c2758db14f3108f6ea5c755347832cd.png)
![IDTec](/static/idtec-7205960dc2489da23d98c4366bb10eff.png)
![Decisiv](/static/decisiv-ee353c3596f6a38660f0e9fd666d15f0.png)