# Symbolic Software

> Independent applied-cryptography consultancy, founded 2017 in Paris by Dr. Nadim Kobeissi.
> Design-level security: protocol architecture, primitive selection, threat modeling, and
> formal verification — the layer above implementation, where AI bug-finders cannot help.

## Practice

- [Security audits](https://symbolic.software/security/): design-level engagements; six public case studies with downloadable reports.
- [Work with us](https://symbolic.software/chat/): scoping, timeline (typically 4-6 weeks), and sample deliverables.
- [About](https://symbolic.software/about/): company information, legal identity, privacy policy.

## Open source

- [Software overview](https://symbolic.software/software/): Verifpal, Crucible, hpke-ng, Kyber-K2SO, PQ Migration Playbook, Jevil, Magicall, Noise Explorer.
- [Verifpal](https://verifpal.com): symbolic protocol verifier for practitioners.
- [Crucible](https://github.com/symbolicsoft/crucible): ML-KEM/ML-DSA conformance testing from real audit findings.
- [Post-Quantum Migration Playbook](https://pq-migration.symbolic.software): practitioner guide, scorecard, TLS scanner.

## Writing

- [Blog](https://symbolic.software/blog/): audit findings, advisories, releases, and research. Full-content RSS at https://symbolic.software/index.xml.
- Notable series: the CE Labs / libcrux verification critique (start at https://symbolic.software/blog/2026-02-05-ce-labs/).

## Teaching

- [Applied Cryptography course](https://symbolic.software/course/): 18-topic university course; free summer cohort for Lebanese university students.
- [Cedarcrypt](https://cedarcrypt.org): applied-cryptography summer school and conference, Paphos, Cyprus.

Contact: business@symbolic.software