Skip to content

Commit

Permalink
rebuilding site Sun Aug 18 20:08:49 CEST 2024
Browse files Browse the repository at this point in the history
  • Loading branch information
@franziskuskiefer
franziskuskiefer committed Aug 18, 2024
1 parent a2c518d commit d832c1b
Show file tree
Hide file tree
Showing 115 changed files with 3,849 additions and 1,322 deletions.
481 changes: 466 additions & 15 deletions about/index.html
View file

Large diffs are not rendered by default.

50 changes: 37 additions & 13 deletions advanced-crypto/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@


<meta name="application-name" content="Cryspen">
<meta name="msapplication-tooltip" content="High Assurance Cryptography"><meta name="msapplication-config" content="https://cryspen.com/site.webmanifest">
<meta name="msapplication-tooltip" content="High Assurance Software"><meta name="msapplication-config" content="https://cryspen.com/site.webmanifest">


<link rel="apple-touch-icon-precomposed" sizes="180x180" href="https://cryspen.com/favicon-180.png">
Expand Down Expand Up @@ -51,7 +51,6 @@
<meta name="twitter:card" content="summary">
<meta name="twitter:title" content="Advanced Cryptographic Implementations">
<meta name="twitter:description" content="We design and implement custom cryptographic solutions">
<meta name="twitter:site" content="@https://twitter.com/CryspenHQ">


<meta itemprop="name" content="Advanced Cryptographic Implementations">
Expand Down Expand Up @@ -200,8 +199,14 @@
</li>

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/#projects"
>Projects</a
<a class="nav-link text-primary px-4" href="/#services"
>Services</a
>
</li>

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/#products"
>Products</a
>
</li>

Expand All @@ -213,7 +218,7 @@

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/about"
>About Us</a
>About</a
>
</li>

Expand Down Expand Up @@ -256,33 +261,52 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">Advanced Cryptograph
<div class="row pb-5"></div>
</div>
</section>
<footer class="shared footer bg-red-light py-5">
<footer class="shared footer py-5">
<div class="container">
<div class="row pb-5">
<div class="col-12 col-xl-4 text-center text-xl-start pb-4">
<h4 class="fs-4 fw-semibold text-uppercase text-primary">
Cryspen
</h4>
<p class="small text-black-61">High Assurance Cryptography</p>
<p class="small text-black-61">High Assurance Software</p>

<ul
class="d-flex justify-content-center justify-content-xl-start list-unstyled"
>

<li class="rounded-circle bg-red-16 me-2 p-2">
<a
class="d-flex align-items-center justify-content-center size-16"
href="https://twitter.com/CryspenHQ"
href="https://ioc.exchange/@cryspen"
><svg
xmlns="http://www.w3.org/2000/svg"
width="16"
height="16"
fill="currentColor"
class="bi bi-twitter"
class="bi bi-mastodon"
viewBox="0 0 16 16"
>
<path
d="M5.026 15c6.038 0 9.341-5.003 9.341-9.334 0-.14 0-.282-.006-.422A6.685 6.685 0 0 0 16 3.542a6.658 6.658 0 0 1-1.889.518 3.301 3.301 0 0 0 1.447-1.817 6.533 6.533 0 0 1-2.087.793A3.286 3.286 0 0 0 7.875 6.03a9.325 9.325 0 0 1-6.767-3.429 3.289 3.289 0 0 0 1.018 4.382A3.323 3.323 0 0 1 .64 6.575v.045a3.288 3.288 0 0 0 2.632 3.218 3.203 3.203 0 0 1-.865.115 3.23 3.23 0 0 1-.614-.057 3.283 3.283 0 0 0 3.067 2.277A6.588 6.588 0 0 1 .78 13.58a6.32 6.32 0 0 1-.78-.045A9.344 9.344 0 0 0 5.026 15z"
d="M11.19 12.195c2.016-.24 3.77-1.475 3.99-2.603.348-1.778.32-4.339.32-4.339 0-3.47-2.286-4.488-2.286-4.488C12.062.238 10.083.017 8.027 0h-.05C5.92.017 3.942.238 2.79.765c0 0-2.285 1.017-2.285 4.488l-.002.662c-.004.64-.007 1.35.011 2.091.083 3.394.626 6.74 3.78 7.57 1.454.383 2.703.463 3.709.408 1.823-.1 2.847-.647 2.847-.647l-.06-1.317s-1.303.41-2.767.36c-1.45-.05-2.98-.156-3.215-1.928a4 4 0 0 1-.033-.496s1.424.346 3.228.428c1.103.05 2.137-.064 3.188-.189zm1.613-2.47H11.13v-4.08c0-.859-.364-1.295-1.091-1.295-.804 0-1.207.517-1.207 1.541v2.233H7.168V5.89c0-1.024-.403-1.541-1.207-1.541-.727 0-1.091.436-1.091 1.296v4.079H3.197V5.522q0-1.288.66-2.046c.456-.505 1.052-.764 1.793-.764.856 0 1.504.328 1.933.983L8 4.39l.417-.695c.429-.655 1.077-.983 1.934-.983.74 0 1.336.259 1.791.764q.662.757.661 2.046z"
/>
</svg>
</a
>
</li>

<li class="rounded-circle bg-red-16 me-2 p-2">
<a
class="d-flex align-items-center justify-content-center size-16"
href="https://bsky.app/profile/cryspen.bsky.social"
><svg
width="568"
height="501"
viewBox="0 0 568 501"
fill="currentColor"
xmlns="http://www.w3.org/2000/svg"
>
<path
d="M123.121 33.6637C188.241 82.5526 258.281 181.681 284 234.873C309.719 181.681 379.759 82.5526 444.879 33.6637C491.866 -1.61183 568 -28.9064 568 57.9464C568 75.2916 558.055 203.659 552.222 224.501C531.947 296.954 458.067 315.434 392.347 304.249C507.222 323.8 536.444 388.56 473.333 453.32C353.473 576.312 301.061 422.461 287.631 383.039C285.169 375.812 284.017 372.431 284 375.306C283.983 372.431 282.831 375.812 280.369 383.039C266.939 422.461 214.527 576.312 94.6667 453.32C31.5556 388.56 60.7778 323.8 175.653 304.249C109.933 315.434 36.0535 296.954 15.7778 224.501C9.94525 203.659 0 75.2916 0 57.9464C0 -28.9064 76.1345 -1.61183 123.121 33.6637Z"
/>
</svg>
</a
Expand Down Expand Up @@ -347,7 +371,7 @@ <h5 class="fs-6 fw-semibold text-primary">About us</h5>
<a
class="small text-black-61 text-decoration-none"
href="/about"
>About Us</a
>About</a
>
</li>

Expand Down Expand Up @@ -404,7 +428,7 @@ <h5 class="fs-6 fw-semibold text-primary">Contact us</h5>
<div class="col-12">

<p class="small text-black-61 text-center">
<a class="text-decoration-none" href="/imprint">© 2021 - 2023 Cryspen - All Rights Reserved.</a>
<a class="text-decoration-none" href="/imprint">© 2021 - 2024 Cryspen - All Rights Reserved.</a>
</p>

</div>
Expand Down
52 changes: 38 additions & 14 deletions circus/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0, shrink-to-fit=no" />
<meta name="description" content="High Assurance Cryptography" />
<meta name="description" content="High Assurance Software" />



Expand All @@ -19,7 +19,7 @@


<meta name="application-name" content="Cryspen">
<meta name="msapplication-tooltip" content="High Assurance Cryptography"><meta name="msapplication-config" content="https://cryspen.com/site.webmanifest">
<meta name="msapplication-tooltip" content="High Assurance Software"><meta name="msapplication-config" content="https://cryspen.com/site.webmanifest">


<link rel="apple-touch-icon-precomposed" sizes="180x180" href="https://cryspen.com/favicon-180.png">
Expand Down Expand Up @@ -51,7 +51,6 @@
<meta name="twitter:card" content="summary">
<meta name="twitter:title" content="High Assurance Software Toolchain">
<meta name="twitter:description" content="Cryspen collaborates with the Prosecco team at Inria to develop a usable, robust, development environment and verification toolchain for security critical software.">
<meta name="twitter:site" content="@https://twitter.com/CryspenHQ">


<meta itemprop="name" content="High Assurance Software Toolchain">
Expand Down Expand Up @@ -201,8 +200,14 @@
</li>

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/#projects"
>Projects</a
<a class="nav-link text-primary px-4" href="/#services"
>Services</a
>
</li>

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/#products"
>Products</a
>
</li>

Expand All @@ -214,7 +219,7 @@

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/about"
>About Us</a
>About</a
>
</li>

Expand Down Expand Up @@ -453,33 +458,52 @@ <h5 class="card-title fw-semibold">Prairie and Atlas</h5>

</div>
</section>
<footer class="shared footer bg-red-light py-5">
<footer class="shared footer py-5">
<div class="container">
<div class="row pb-5">
<div class="col-12 col-xl-4 text-center text-xl-start pb-4">
<h4 class="fs-4 fw-semibold text-uppercase text-primary">
Cryspen
</h4>
<p class="small text-black-61">High Assurance Cryptography</p>
<p class="small text-black-61">High Assurance Software</p>

<ul
class="d-flex justify-content-center justify-content-xl-start list-unstyled"
>

<li class="rounded-circle bg-red-16 me-2 p-2">
<a
class="d-flex align-items-center justify-content-center size-16"
href="https://twitter.com/CryspenHQ"
href="https://ioc.exchange/@cryspen"
><svg
xmlns="http://www.w3.org/2000/svg"
width="16"
height="16"
fill="currentColor"
class="bi bi-twitter"
class="bi bi-mastodon"
viewBox="0 0 16 16"
>
<path
d="M5.026 15c6.038 0 9.341-5.003 9.341-9.334 0-.14 0-.282-.006-.422A6.685 6.685 0 0 0 16 3.542a6.658 6.658 0 0 1-1.889.518 3.301 3.301 0 0 0 1.447-1.817 6.533 6.533 0 0 1-2.087.793A3.286 3.286 0 0 0 7.875 6.03a9.325 9.325 0 0 1-6.767-3.429 3.289 3.289 0 0 0 1.018 4.382A3.323 3.323 0 0 1 .64 6.575v.045a3.288 3.288 0 0 0 2.632 3.218 3.203 3.203 0 0 1-.865.115 3.23 3.23 0 0 1-.614-.057 3.283 3.283 0 0 0 3.067 2.277A6.588 6.588 0 0 1 .78 13.58a6.32 6.32 0 0 1-.78-.045A9.344 9.344 0 0 0 5.026 15z"
d="M11.19 12.195c2.016-.24 3.77-1.475 3.99-2.603.348-1.778.32-4.339.32-4.339 0-3.47-2.286-4.488-2.286-4.488C12.062.238 10.083.017 8.027 0h-.05C5.92.017 3.942.238 2.79.765c0 0-2.285 1.017-2.285 4.488l-.002.662c-.004.64-.007 1.35.011 2.091.083 3.394.626 6.74 3.78 7.57 1.454.383 2.703.463 3.709.408 1.823-.1 2.847-.647 2.847-.647l-.06-1.317s-1.303.41-2.767.36c-1.45-.05-2.98-.156-3.215-1.928a4 4 0 0 1-.033-.496s1.424.346 3.228.428c1.103.05 2.137-.064 3.188-.189zm1.613-2.47H11.13v-4.08c0-.859-.364-1.295-1.091-1.295-.804 0-1.207.517-1.207 1.541v2.233H7.168V5.89c0-1.024-.403-1.541-1.207-1.541-.727 0-1.091.436-1.091 1.296v4.079H3.197V5.522q0-1.288.66-2.046c.456-.505 1.052-.764 1.793-.764.856 0 1.504.328 1.933.983L8 4.39l.417-.695c.429-.655 1.077-.983 1.934-.983.74 0 1.336.259 1.791.764q.662.757.661 2.046z"
/>
</svg>
</a
>
</li>

<li class="rounded-circle bg-red-16 me-2 p-2">
<a
class="d-flex align-items-center justify-content-center size-16"
href="https://bsky.app/profile/cryspen.bsky.social"
><svg
width="568"
height="501"
viewBox="0 0 568 501"
fill="currentColor"
xmlns="http://www.w3.org/2000/svg"
>
<path
d="M123.121 33.6637C188.241 82.5526 258.281 181.681 284 234.873C309.719 181.681 379.759 82.5526 444.879 33.6637C491.866 -1.61183 568 -28.9064 568 57.9464C568 75.2916 558.055 203.659 552.222 224.501C531.947 296.954 458.067 315.434 392.347 304.249C507.222 323.8 536.444 388.56 473.333 453.32C353.473 576.312 301.061 422.461 287.631 383.039C285.169 375.812 284.017 372.431 284 375.306C283.983 372.431 282.831 375.812 280.369 383.039C266.939 422.461 214.527 576.312 94.6667 453.32C31.5556 388.56 60.7778 323.8 175.653 304.249C109.933 315.434 36.0535 296.954 15.7778 224.501C9.94525 203.659 0 75.2916 0 57.9464C0 -28.9064 76.1345 -1.61183 123.121 33.6637Z"
/>
</svg>
</a
Expand Down Expand Up @@ -544,7 +568,7 @@ <h5 class="fs-6 fw-semibold text-primary">About us</h5>
<a
class="small text-black-61 text-decoration-none"
href="/about"
>About Us</a
>About</a
>
</li>

Expand Down Expand Up @@ -601,7 +625,7 @@ <h5 class="fs-6 fw-semibold text-primary">Contact us</h5>
<div class="col-12">

<p class="small text-black-61 text-center">
<a class="text-decoration-none" href="/imprint">© 2021 - 2023 Cryspen - All Rights Reserved.</a>
<a class="text-decoration-none" href="/imprint">© 2021 - 2024 Cryspen - All Rights Reserved.</a>
</p>

</div>
Expand Down
50 changes: 37 additions & 13 deletions hacl/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@


<meta name="application-name" content="Cryspen">
<meta name="msapplication-tooltip" content="High Assurance Cryptography"><meta name="msapplication-config" content="https://cryspen.com/site.webmanifest">
<meta name="msapplication-tooltip" content="High Assurance Software"><meta name="msapplication-config" content="https://cryspen.com/site.webmanifest">


<link rel="apple-touch-icon-precomposed" sizes="180x180" href="https://cryspen.com/favicon-180.png">
Expand Down Expand Up @@ -51,7 +51,6 @@
<meta name="twitter:card" content="summary">
<meta name="twitter:title" content="HACL">
<meta name="twitter:description" content="The High Assurance Crypto Library">
<meta name="twitter:site" content="@https://twitter.com/CryspenHQ">


<meta itemprop="name" content="HACL">
Expand Down Expand Up @@ -201,8 +200,14 @@
</li>

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/#projects"
>Projects</a
<a class="nav-link text-primary px-4" href="/#services"
>Services</a
>
</li>

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/#products"
>Products</a
>
</li>

Expand All @@ -214,7 +219,7 @@

<li class="nav-item text-center">
<a class="nav-link text-primary px-4" href="/about"
>About Us</a
>About</a
>
</li>

Expand Down Expand Up @@ -321,33 +326,52 @@ <h5 class="card-title fw-semibold">HACL Packages</h5>

</div>
</section>
<footer class="shared footer bg-red-light py-5">
<footer class="shared footer py-5">
<div class="container">
<div class="row pb-5">
<div class="col-12 col-xl-4 text-center text-xl-start pb-4">
<h4 class="fs-4 fw-semibold text-uppercase text-primary">
Cryspen
</h4>
<p class="small text-black-61">High Assurance Cryptography</p>
<p class="small text-black-61">High Assurance Software</p>

<ul
class="d-flex justify-content-center justify-content-xl-start list-unstyled"
>

<li class="rounded-circle bg-red-16 me-2 p-2">
<a
class="d-flex align-items-center justify-content-center size-16"
href="https://twitter.com/CryspenHQ"
href="https://ioc.exchange/@cryspen"
><svg
xmlns="http://www.w3.org/2000/svg"
width="16"
height="16"
fill="currentColor"
class="bi bi-twitter"
class="bi bi-mastodon"
viewBox="0 0 16 16"
>
<path
d="M5.026 15c6.038 0 9.341-5.003 9.341-9.334 0-.14 0-.282-.006-.422A6.685 6.685 0 0 0 16 3.542a6.658 6.658 0 0 1-1.889.518 3.301 3.301 0 0 0 1.447-1.817 6.533 6.533 0 0 1-2.087.793A3.286 3.286 0 0 0 7.875 6.03a9.325 9.325 0 0 1-6.767-3.429 3.289 3.289 0 0 0 1.018 4.382A3.323 3.323 0 0 1 .64 6.575v.045a3.288 3.288 0 0 0 2.632 3.218 3.203 3.203 0 0 1-.865.115 3.23 3.23 0 0 1-.614-.057 3.283 3.283 0 0 0 3.067 2.277A6.588 6.588 0 0 1 .78 13.58a6.32 6.32 0 0 1-.78-.045A9.344 9.344 0 0 0 5.026 15z"
d="M11.19 12.195c2.016-.24 3.77-1.475 3.99-2.603.348-1.778.32-4.339.32-4.339 0-3.47-2.286-4.488-2.286-4.488C12.062.238 10.083.017 8.027 0h-.05C5.92.017 3.942.238 2.79.765c0 0-2.285 1.017-2.285 4.488l-.002.662c-.004.64-.007 1.35.011 2.091.083 3.394.626 6.74 3.78 7.57 1.454.383 2.703.463 3.709.408 1.823-.1 2.847-.647 2.847-.647l-.06-1.317s-1.303.41-2.767.36c-1.45-.05-2.98-.156-3.215-1.928a4 4 0 0 1-.033-.496s1.424.346 3.228.428c1.103.05 2.137-.064 3.188-.189zm1.613-2.47H11.13v-4.08c0-.859-.364-1.295-1.091-1.295-.804 0-1.207.517-1.207 1.541v2.233H7.168V5.89c0-1.024-.403-1.541-1.207-1.541-.727 0-1.091.436-1.091 1.296v4.079H3.197V5.522q0-1.288.66-2.046c.456-.505 1.052-.764 1.793-.764.856 0 1.504.328 1.933.983L8 4.39l.417-.695c.429-.655 1.077-.983 1.934-.983.74 0 1.336.259 1.791.764q.662.757.661 2.046z"
/>
</svg>
</a
>
</li>

<li class="rounded-circle bg-red-16 me-2 p-2">
<a
class="d-flex align-items-center justify-content-center size-16"
href="https://bsky.app/profile/cryspen.bsky.social"
><svg
width="568"
height="501"
viewBox="0 0 568 501"
fill="currentColor"
xmlns="http://www.w3.org/2000/svg"
>
<path
d="M123.121 33.6637C188.241 82.5526 258.281 181.681 284 234.873C309.719 181.681 379.759 82.5526 444.879 33.6637C491.866 -1.61183 568 -28.9064 568 57.9464C568 75.2916 558.055 203.659 552.222 224.501C531.947 296.954 458.067 315.434 392.347 304.249C507.222 323.8 536.444 388.56 473.333 453.32C353.473 576.312 301.061 422.461 287.631 383.039C285.169 375.812 284.017 372.431 284 375.306C283.983 372.431 282.831 375.812 280.369 383.039C266.939 422.461 214.527 576.312 94.6667 453.32C31.5556 388.56 60.7778 323.8 175.653 304.249C109.933 315.434 36.0535 296.954 15.7778 224.501C9.94525 203.659 0 75.2916 0 57.9464C0 -28.9064 76.1345 -1.61183 123.121 33.6637Z"
/>
</svg>
</a
Expand Down Expand Up @@ -412,7 +436,7 @@ <h5 class="fs-6 fw-semibold text-primary">About us</h5>
<a
class="small text-black-61 text-decoration-none"
href="/about"
>About Us</a
>About</a
>
</li>

Expand Down Expand Up @@ -469,7 +493,7 @@ <h5 class="fs-6 fw-semibold text-primary">Contact us</h5>
<div class="col-12">

<p class="small text-black-61 text-center">
<a class="text-decoration-none" href="/imprint">© 2021 - 2023 Cryspen - All Rights Reserved.</a>
<a class="text-decoration-none" href="/imprint">© 2021 - 2024 Cryspen - All Rights Reserved.</a>
</p>

</div>
Expand Down
Loading

0 comments on commit d832c1b

Please sign in to comment.