<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
        xmlns:xhtml="http://www.w3.org/1999/xhtml">
  
  <url>
    <loc>https://symbolic.software/blog/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/cryptography/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>weekly</changefreq>
    <priority>1.0</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/post-quantum/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-04-02-pq-native/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/research/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/</loc>
    <lastmod>2026-04-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/company/</loc>
    <lastmod>2026-04-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-04-01-three-cryptographers/</loc>
    <lastmod>2026-04-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/symbolic-software/</loc>
    <lastmod>2026-04-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-03-23-applied-cryptography-summer/</loc>
    <lastmod>2026-03-23T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/crucible/</loc>
    <lastmod>2026-03-23T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-03-23-crucible/</loc>
    <lastmod>2026-03-23T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/kyber-k2so/</loc>
    <lastmod>2026-03-23T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/software/</loc>
    <lastmod>2026-03-23T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-03-19-internship/</loc>
    <lastmod>2026-03-19T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/audits/</loc>
    <lastmod>2026-03-07T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-03-07-cryspen-tls/</loc>
    <lastmod>2026-03-07T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/formal-verification/</loc>
    <lastmod>2026-03-07T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-03-01-verifpal-engine-redesign/</loc>
    <lastmod>2026-03-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/verifpal/</loc>
    <lastmod>2026-03-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-24-verifpal-workbench/</loc>
    <lastmod>2026-02-24T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/webassembly/</loc>
    <lastmod>2026-02-24T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-23-verifpal-rust/</loc>
    <lastmod>2026-02-23T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/noise-explorer/</loc>
    <lastmod>2026-02-22T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-22-noiseexplorer-advisory/</loc>
    <lastmod>2026-02-22T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-17-cryspen-mldsa/</loc>
    <lastmod>2026-02-17T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-12-cryspen-response/</loc>
    <lastmod>2026-02-12T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-10-verifpal-signal/</loc>
    <lastmod>2026-02-10T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/drain-brain/</loc>
    <lastmod>2026-02-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-05-drainbrain/</loc>
    <lastmod>2026-02-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/games/</loc>
    <lastmod>2026-02-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-05-cryspen/</loc>
    <lastmod>2026-02-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-02-03-cedarcrypt/</loc>
    <lastmod>2026-02-03T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/cedarcrypt/</loc>
    <lastmod>2026-02-03T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/categories/events/</loc>
    <lastmod>2026-02-03T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2026-01-05-magicall/</loc>
    <lastmod>2026-01-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/magicall/</loc>
    <lastmod>2026-01-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2025-12-21-kyberk2so10/</loc>
    <lastmod>2025-12-21T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2024-06-04-2pcmpc/</loc>
    <lastmod>2024-06-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/dwallet-labs/</loc>
    <lastmod>2024-06-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/runes-of-ardun/</loc>
    <lastmod>2024-02-07T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2024-02-07-ardun/</loc>
    <lastmod>2024-02-07T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2023-12-19-kyberk2sovariabletiming/</loc>
    <lastmod>2023-12-19T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/iacr/</loc>
    <lastmod>2023-11-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2023-11-01-rwc2024/</loc>
    <lastmod>2023-11-01T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2023-09-29-cnam/</loc>
    <lastmod>2023-09-29T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/outreach/</loc>
    <lastmod>2023-09-29T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2023-08-30-nativelabs/</loc>
    <lastmod>2023-08-28T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/tags/nativelabs/</loc>
    <lastmod>2023-08-28T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2020-09-02-verifpaloneyear/</loc>
    <lastmod>2020-09-02T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2020-04-14-queries/</loc>
    <lastmod>2020-04-14T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/blog/2020-04-05-dp3t/</loc>
    <lastmod>2020-04-05T00:00:00&#43;00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.6</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/about/</loc>
    
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/chat/</loc>
    
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/chat/confirmation/</loc>
    
    <changefreq>monthly</changefreq>
    <priority>0.7</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/course/</loc>
    
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/games/</loc>
    
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/security/</loc>
    
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
  <url>
    <loc>https://symbolic.software/software/</loc>
    
    <changefreq>weekly</changefreq>
    <priority>0.8</priority>
  </url>
  
</urlset>
