nadim.computer valid
Nadim Kobeissi
Applied cryptographer based in Paris. Security auditor at Cure53, founder of Symbolic Software.
For agents: Personal site of applied cryptographer Nadim Kobeissi (Cure53 auditor, Symbolic Software founder), listing research papers and PGP key.
applied cryptographysecurity auditzero-knowledge proofresearch publicationssymbolic software
- Authority
- 51 reach 5 · trust 10 · quality 21 · freshness 15
- Tier
- listed
- llms.txt
- https://nadim.computer/llms.txt
- Sections
- 10
- Links
- 48
- Size
- 9748 bytes
- Popularity rank
- #856421
- Registered
- 2014-03-19
- Country
- — Publisher location unknown; CDN address excluded
- Country evidence
- No published address evidence collected yet
- Categories
- Cybersecurity · Science and research
- For agents
- Documentation: developer or product docs worth reading, nothing to call
- Inferred actions
- Read documentation About these labels
- Audience
- mixed · agents can: read docs · en
- First seen
- 2026-10-25T18:05:21.462Z
- Last checked
- 2026-10-27T12:07:44.810Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-26T04:40:46.592Z. Cached copy · Source on nadim.computer
# Nadim Kobeissi
> Applied cryptographer based in Paris. Security auditor at Cure53, founder of Symbolic Software.
Applied cryptographer based in Paris. I audit cryptographic systems at [Cure53](https://cure53.de) and run [Symbolic Software](https://symbolic.software), a boutique cryptography consultancy. I also teach applied cryptography to students in Lebanon, building on [a curriculum](https://appliedcryptography.page) I designed from scratch for the American University of Beirut — I've written about [why I do this work](https://symbolic.software/blog/2026-07-22-why-i-teach-cryptography-in-lebanon/).
nadim.computer is a single page. The links below point to the work it describes, most of which lives on other domains.
- [Email](mailto:n@nadim.email)
- [PGP public key](https://nadim.computer/res/txt/pgp.txt)
## Work
- [Symbolic Software](https://symbolic.software): I founded and direct Symbolic Software, a Paris-based software publisher and boutique applied cryptography consultancy. Since 2017, we have participated in over 250 software security audits for organizations ranging from Fortune 500 companies to critical open-source projects, and published research software tools used by the applied cryptography community.
- [Cure53](https://cure53.de): As a Senior Applied Cryptography Auditor at Cure53, I am a lead in the cryptography audit team, helping direct high-profile security assessments for major clients including Coinbase and other industry leaders. I have audited over 250 cryptographic systems, including end-to-end encrypted messaging applications, authentication protocols, key management systems, and cryptographic libraries.
## Recent Talks
- [Lessons from Teaching Applied Cryptography in Post-Crisis Lebanon](https://www.youtube.com/watch?v=z_Hx5xgD0tc): IACR Real World Cryptography Symposium, 2026
- [High Assurance Cryptography and the Ethics of Disclosure](https://www.youtube.com/watch?v=TdOXza1-M_4): OSTIF, 2026
- [Guarding the Gates: Lessons from the Coinbase CB-MPC Cryptography Audit](https://www.youtube.com/watch?v=2wR25jFgPSo): OSTIF, 2025
- [Unmasking Cryptographic Risks: A Deep Dive into the Nym Audit](https://www.youtube.com/watch?v=gTP4_cnoRlE): Open Source Cryptography Workshop, 2025
- [Private Devices No Longer Private: The Broader Implications of Apple's Content Scanning Push](https://www.youtube.com/watch?v=L8Scmhuqoco): Swiss Cyber Storm, 2021
- [Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols](https://www.youtube.com/watch?v=ZrcdDJhbPKQ): IACR Real World Cryptography Symposium, 2019
## Teaching
In summer 2026, I offered 50 students from Lebanese universities the chance to take the Applied Cryptography course entirely online and completely free of charge. The selective program provided full access to video lectures, course materials, problem sets, projects, and an active student community—bringing the AUB Applied Cryptography experience to motivated students across Lebanon.
…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 |
|---|---|---|---|---|---|---|---|
| zksecurity.xyz | zkSecurity | documentation Education Science and research +1 | — | 55 | ✓ | ||
| zellic.io | Zellic | documentation Cybersecurity Crypto and Web3 | — | 45 | ✓ | ||
| identiqa.com | Identiqa | informational Cybersecurity | US | 47 | ✓ | ||
| danielmiessler.com | Daniel Miessler | informational Cybersecurity Personal sites and blogs | — | 61 | ✓ | ||
| vitalysim.com | Vitaly Simonovich — Security Researcher | documentation Cybersecurity | US | 45 | ✓ | ✓ | |
| certifaction.com | Certifaction: Next Generation eSignatures | documentation | CH | 46 | ✓ | ||
| rahalkar.dev | Chaitanya Rahalkar | documentation Cybersecurity Personal sites and blogs | US | 46 | ✓ | ||
| bigzh.com | My Blog | informational | — | 49 | ✓ |
Machine-readable: GET /v1/resolve?q=nadim.computer · GET /v1/domain/nadim.computer · 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 nadim.computer, 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 nadim.computer:
1. POST https://agentwebmap.com/v1/sites/nadim.computer/claims and keep claim_id and claim_secret private.
2. Publish the verification line "AgentWebMap verification: <token>" (token from step 1) in https://nadim.computer/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/nadim.computer/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/nadim.computer).
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.