AILANG × proton.me

Individuals and businesses seeking to secure their digital communications, data, and online identity.

Proton provides an ecosystem of encrypted online services including email, VPN, calendar, password manager, and cloud storage. It aims to offer individuals and businesses tools for digital privacy and security, safeguarding communications, data, and online identity through end-to-end encryption.

Proton Mail Proton VPN encrypted email password manager cloud storage end-to-end encryption

What AILANG Parse sees on proton.me

Structural extraction — the same content an AI agent would consume from this page.

10 headings1 images12 lists0 tables0 linksHTML parsing by AILANG Parse

2 sections — page skeleton

1 main 1 footer

10 headings

Privacy Policy 1. Legal framework 2. Data Proton collects from you, and how we use it 3. Network traffic that may go through third-parties 4. Data processors 4.1 Proton Group processors

1 images

12 list items

[Proton Mail Privacy Policy](/mail/privacy-policy) [Proton Drive Privacy Policy](/drive/privacy-policy) [Proton Calendar Privacy Policy](/calendar/privacy-policy) [Proton VPN Privacy Policy(new window)](https://protonvpn.com/privacy-policy) [Proton Pass Privacy Policy](/pass/privacy-policy) [Proton Wallet Privacy Policy](/wallet/privacy-policy) [Proton Meet Privacy Policy](/meet/privacy-policy) [Lumo Privacy Policy](/lumo/privacy-policy) [Proton Business Privacy Policy](/business/privacy-policy) Data processing location: Macedonia Purpose: Process data in relation with customer support requests, or other direct communi… Data processing location: Taiwan (R.O.C)

Show the full extract — what AILANG Parse pulled from this page

# Privacy Policy | Proton


[(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_menulogo'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/)

Products

Proton ecosystem
[
Proton Mail
Secure your communications with encrypted email.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/mail)[
Proton Calendar
Organize your schedule privately.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/calendar)[
Proton Meet
New
Talk in private with confidential video conferencing.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/meet)[
Proton VPN
Keep your online activity secure and private.(new window)](https://protonvpn.com/?ref=pme_lp_b2c_proton_submenu)[
Proton Pass
Protect your online identity with an encrypted password manager.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/pass)[
Proton Authenticator
Secure your online accounts with 2FA across devices.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/authenticator)[
Proton Drive
Organize your photos and files with secure cloud storage.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/drive)[
Proton Docs
Draft and edit secure online documents.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/drive/docs)[
Proton Sheets
New
Collaborate on sensitive spreadsheets in real time.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/drive/sheets)
More from Proton
[
Lumo AI
Ask and ideate with a privacy-first AI assistant.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/lumo)[
Simple Login
Shield your inbox from spam and phishing with an email alias service.(new window)](https://simplelogin.io?ref=pme_lp_b2c_proton_submenu)[
Standard Notes
Write and store private notes across your devices.(new window)](https://standardnotes.com?ref=pme_lp_b2c_proton_submenu)
[
Proton for Business
Protect your business with end-to-end encryption and compliance-ready security.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/business)
[Pricing(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_menu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/pricing)
[Proton for Business(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_menu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/business)

Who we are

[
About us
Proton stands for privacy. Always has, always will.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/about)[
Team
Meet the people building a better internet.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/about/team)[
Impact
Defending freedom through tech is why we exist.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/about/impact)[
Careers
We’re hiring
Seeking talented people to take Proton to the next level.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/careers)

We've always been guided by the Proton community.[
Community
Join the fight to make the internet a better place.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/community)[
Open source
Everyone is welcome to inspect our code. We're open.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/community/open-source)[
Proton Foundation
Our non-profit model puts people before profit.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/foundation)

Resources and support

Help[
Switch to Proton
Bring in your data easily.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/easyswitch)[
Help and support
Guides and support center.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/support)[
Password generator
Create strong passwords.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/pass/password-generator)[
Encryption
Learn how it works.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/learn/encryption)[
European alternatives(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/learn/european-alternatives)

Blog[
News
Latest news on privacy and the Internet.(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/blog)[
Product updates(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/blog/product-updates)[
Proton news(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/blog/news)[
Privacy guides(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/blog/privacy-guides)

Download the apps[
Proton Mail(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/mail/download)[
Proton Calendar(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/calendar/download)[
Proton Drive(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/drive/download)[
Proton VPN(new window)](https://protonvpn.com/download?ref=pme_lp_b2c_proton_submenu)[
Proton Pass(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_submenu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/pass/download)

[Create a free account(function(link) { const handler = () => { try { window.localStorage.setItem('ref', 'pme_lp_b2c_proton_menu'); } catch {} }; link.addEventListener('click', handler); link._protonRefHandler = handler; })(document.currentScript.parentElement)](/pricing)
[Sign in](https://account.proton.me/login)
Open menu

# Privacy Policy

*Last modified: 12th May 2026*

At Proton, we strongly believe in an internet where privacy is the default.

Proton’s Privacy Policy describes how Proton collects, uses, and deletes your data. In addition to this Privacy Policy, we provide data and privacy information specific to our products that use your personal data. This product-specific information can be found in the following privacy policies :

- [Proton Mail Privacy Policy](/mail/privacy-policy)
- [Proton Drive Privacy Policy](/drive/privacy-policy)
- [Proton Calendar Privacy Policy](/calendar/privacy-policy)
- [Proton VPN Privacy Policy(new window)](https://protonvpn.com/privacy-policy)
- [Proton Pass Privacy Policy](/pass/privacy-policy)
- [Proton Wallet Privacy Policy](/wallet/privacy-policy)
- [Proton Meet Privacy Policy](/meet/privacy-policy)
- [Lumo Privacy Policy](/lumo/privacy-policy)
- [Proton Business Privacy Policy](/business/privacy-policy)

By using the proton.me or protonvpn.com website and makin

proton.me scored 6/10 on privacy. AILANG opportunity is therefore 4/10. Here's where it would land first.

Information-flow labels on customer data

Mark fields containing PII at the type level. The compiler refuses to let a labelled value reach a public sink without an explicit Declassify boundary. Privacy by type, not by code review.

type Customer = {
  email:    string<pii>,
  postcode: string<pii>,
  signupDate: string
}
-- assigning customer.email to a log line is a type error.

→ AILANG docs

Capability scoping

A function declares the network endpoints, file paths, and AI providers it touches. Anything outside the declaration is rejected by the runtime. "This part of the system can talk to Stripe; it cannot talk to anyone else" is enforced.

func chargeCard(c: Card) -> Result[Receipt, Error]
  ! {Net @endpoint="api.stripe.com", AI @limit=0}

→ AILANG docs

Three-runtime deploy

The same module runs in the browser via WASM, on Cloud Run, and as a native binary. Sensitive workflows can stay in the user's tab — no server ever sees the data.

-- Browser: load AILANG WASM, run the module in the user's tab.
-- Cloud Run: same .ail file packaged as a container.
-- Native CLI: same .ail file, ailang run.

→ AILANG docs

How this page was made

func sketchSite(url: string<pii>, topic: Topic) -> Sketch ! {Net @limit=1, AI @limit=5, FS @limit=4, Process, Declassify}

Read your site once. No second fetch, no crawl.

Up to five AI calls, capped. No runaway analysis.

Four file writes. The report, the topic index, the rubric breakdown, the queue ack. Nothing else touched.

Process invokes docparse for structured extraction. The capability is visible in the type.

Your URL crossed Declassify. No PII survives into this page.

Signal	Topic	Result	Points	AILANG primitive
agent.json referenced	agent-ready	✗	0/1	ailang serve-api generates A2A agent cards automatically — bonus if you're an early adopter
openapi.json referenced	agent-ready	✗	0/2	ailang serve-api generates OpenAPI 3.1 from Hindley-Milner type signatures
MCP endpoint referenced	agent-ready	✗	0/2	ailang serve-api --mcp-http exposes typed functions as MCP tools
Public API docs linked	agent-ready	✗	0/2	ailang serve-api hosts Swagger + ReDoc at /api/_meta/ by default
Webhooks documented	agent-ready	✗	0/2	ailang serve-api handles webhooks as typed handler functions with effect-tracked side effects
Rate limits documented	agent-ready	✓	2/2	Capability budgets — Net @limit=N is the symmetric server-side primitive for what agents see as rate limits
Streaming / SSE endpoint	agent-ready	✗	0/2	std/stream — ssePost and Stream effect handle event-source endpoints with typed event types
Sandbox / test environment offered	agent-ready	✗	0/2	ailang --ai-stub plus mock effect handlers — deterministic, capability-scoped fakes for any effect, including Net and AI
Authentication documented	agent-ready	✗	0/2	std/jwt for verification, IFC labels (string / string) to keep credentials out of public sinks at the type level
Idempotency keys documented	agent-ready	✗	0/2	Pure functions are idempotent by construction; requires/ensures contracts express idempotence as a static guarantee
AG-UI streaming protocol	agent-ready	✗	0/1	std/stream — the AG-UI event lifecycle (RUN_STARTED → TEXT_MESSAGE_CONTENT → TOOL_CALL_RESULT → RUN_FINISHED) is a textbook sum type. ADTs + exhaustive pattern matching make every event-type branch a compile error to skip.
HTTP 402 agent payments (x402 / pay-per-crawl)	agent-ready	✗	0/1	Net @endpoint-scoped capability budgets bound payment destinations; requires { amount <= budget } gates the payload; IFC labels keep the signed payment key out of public sinks. Same primitives cover x402 payload signing and Cloudflare's crawler-price negotiation.
AP2 Agent Payments Protocol	agent-ready	✗	0/1	Mandates ARE contracts. requires { intent.price <= mandate.maxPrice } + ensures { cart.total <= intent.price } is a one-to-one translation of an Intent/Cart Mandate into AILANG. Z3 can verify the bounds at compile time.
UTCP tool-calling protocol	agent-ready	✗	0/1	Typed function signatures are the manifest. ailang serve-api emits the same metadata as a UTCPManual (name, input/output schema, native endpoint) — direct-call discovery without a proxy server.
End-to-end encryption documented	privacy	✓	2/2	IFC labels (string) force decryption to flow through a typed boundary; the compiler refuses to publish sealed values without explicit declassification
Compliance certifications cited	privacy	✓	2/2	requires/ensures contracts express machine-verifiable claims; capability budgets bound audit-trail effects; effect rows leave nothing un-declared
Data minimisation language	privacy	✓	2/2	Capability scoping — each Net call declares its endpoint in the effect row, so "doesn't sell" becomes a type-system-enforceable claim, not a marketing one
Third-party domains restrained	privacy	✗	0/2	Capability scoping — each Net call declares its endpoint in the effect row
Data residency / on-prem language	privacy	✗	0/2	Three-runtime deploy — same module runs in WASM (browser), Cloud Run, and native CLI
Single-vendor LLM language	portable	○	2/2	std/ai multi-provider — switch from Anthropic to Gemini to OpenAI without rewriting
Multiple AI providers cited	portable	✗	0/2	std/ai — one Step API across Anthropic, OpenAI, Gemini, OpenRouter, Ollama, and custom-package providers
Cross-runtime / deployment portability	portable	✗	0/2	Effect handlers as runtime adapters — same .ail runs as WASM in the browser, a Cloud Run container, and a native CLI; only the handlers change
BYO key / model-agnostic	portable	✗	0/2	AILANG WASM — the full interpreter ships as a browser bundle, so caller-held keys (BYOK), offline apps, and embedded demos all work client-side

The rubric that scored this page is open-source AILANG code — every signal extractor is contract-verified. View rubric →

AILANG×proton.me

proton.me scored 6/10 on privacy.

Individuals and businesses seeking to secure their digital communications, data, and online identity.

What AILANG Parse sees on proton.me

Information-flow labels on customer data

Capability scoping

Three-runtime deploy

How this page was made