symbolic.software valid
Symbolic Software
Independent applied-cryptography consultancy. Design-level security for the AI era.
- Authority
- 46 reach 0 · trust 10 · quality 21 · freshness 15
- Tier
- listed
- llms.txt
- https://symbolic.software/llms.txt
- Sections
- 7
- Links
- 55
- Size
- 10786 bytes
- Registered
- 2016-05-14
- Country
- — Publisher location unknown; CDN address excluded
- Country evidence
- No published address evidence collected yet
- For agents
- Documentation: developer or product docs worth reading, nothing to call
- First seen
- 2026-10-27T18:49:51.723Z
- Last checked
- 2026-10-27T18:49:52.281Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-27T18:49:51.726Z. Cached copy · Source on symbolic.software
# Symbolic Software
> Independent applied-cryptography consultancy. Design-level security for the AI era.
More than 300 design-level engagements.
Founded: 2017 · Paris, France. Representative: Dr. Nadim Kobeissi (nadim.computer).
Every engagement is led by a senior cryptographer. Scope, schedule, and fee agreed in writing before work begins.
Selected clients: 1Password, Bitwarden, Coinbase, Concordium, Dashlane, DuoKey, Ente, Ethereum Foundation, ExpressVPN, Linux Foundation, MetaMask, Mozilla, NordVPN, Taurus, Threema, Zoom.
Contact: business@symbolic.software.
The full corporate and legal record is at https://symbolic.software/about/.
## Practice
- [Security](https://symbolic.software/security/): review scope, deliverables, and public case studies.
- [Plan a review](https://symbolic.software/chat/): contact and scoping information. Calls at https://cal.com/symbolicsoft.
- [About](https://symbolic.software/about/): the practice, research, teaching, and company information.
- [You are designing or changing a protocol](https://symbolic.software/security/#review-protocol): Threat modeling, protocol design, primitive selection, and formal analysis where useful.
- [You are preparing a product for release](https://symbolic.software/security/#review-implementation): Cryptographic code, session state, and error handling in Go, Rust, TypeScript, Swift, Java, .NET, C, and Solidity.
- [You are planning a post-quantum migration](https://symbolic.software/security/#review-post-quantum): KEM and signature choices, composition, conformance, and migration planning.
- [You need to assess a verification claim](https://symbolic.software/security/#review-verification): Protocol models in Verifpal, ProVerif, or Tamarin, and review of verification coverage and toolchain boundaries.
## Public reports and technical analyses
- [CE Labs libcrux (2026)](https://symbolic.software/security/#case-celabs): We published five findings in libcrux and analyzed gaps between the code, Cryspen's hax verification pipeline, and the claims made for the library. The work is documented in two papers and an OSTIF talk.
- [Read the series](https://symbolic.software/blog/2026-02-05-ce-labs/)
- [Verification Theatre paper](https://eprint.iacr.org/2026/192)
- [Verification Facade paper](https://eprint.iacr.org/2026/670)
- [Telegram MTProto (2026)](https://symbolic.software/security/#case-telegram): A technical review of Telegram's MTProto protocol under a network-attacker threat model, commissioned in 2025 by Global Network Solutions and made public in 2026 through a Swiss court filing. Conducted under editorial-independence terms reproduced verbatim in the report.
- [View report](https://symbolic.software/pdf/gnmx-01.pdf)
- [Read the post](https://symbolic.software/blog/2026-05-21-telegram-mtproto-review/)
- [dWallet Labs (2024)](https://symbolic.software/security/#case-dwallet): With 3MI Labs, we compared dWallet Labs' Rust implementation with the 2PC-MPC protocol
…Related sites
Similar publisher descriptions and documentation. Similarity does not imply affiliation or equivalent capabilities.
| Domain | Title | Category | Country | Authority | llms.txt | llms-full.txt | Save |
|---|---|---|---|---|---|---|---|
| hexens.io | Hexens | documentation Cybersecurity | GB | 50 | ✓ | ✓ | |
| zksecurity.xyz | zkSecurity | documentation Education Science and research +1 | — | 55 | ✓ | ||
| trailofbits.com | Trail of Bits | documentation Cybersecurity Open source projects | — | 66 | ✓ | ✓ | |
| zellic.io | Zellic | documentation Cybersecurity Crypto and Web3 | — | 45 | ✓ | ||
| identiqa.com | Identiqa | informational Cybersecurity | US | 47 | ✓ | ||
| checkmarx.com | Checkmarx | documentation AI and machine learning Cybersecurity +1 | US | 61 | ✓ | ||
| veracode.com | Veracode: Build and scale secure software from code to cloud with speed and trust\. | documentation Cybersecurity | — | 62 | ✓ | ||
| guidepointsecurity.com | Cybersecurity Consulting Services | GuidePoint Security | documentation Cybersecurity | US | 58 | ✓ |
Machine-readable: GET /v1/resolve?q=symbolic.software · GET /v1/domain/symbolic.software · this page as Accept: application/json or text/markdown · MCP lookup_domain
Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.
Own or manage this website?
If you own or manage symbolic.software, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- See your website in the map
Review your indexed topics, nearby publishers sharing headings, measured listing exposure and map snapshots in a private report for your website.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for symbolic.software:
1. POST https://agentwebmap.com/v1/sites/symbolic.software/claims and keep claim_id and claim_secret private.
2. Publish the verification line "AgentWebMap verification: <token>" (token from step 1) in https://symbolic.software/llms.txt, or use the DNS, meta-tag or well-known method the response describes. This only verifies the listing; your website and domain remain yours.
3. POST https://agentwebmap.com/v1/sites/symbolic.software/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/symbolic.software).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.