add new CYD project

Author: davidspielmann

_supports/cape-edge-computing.md

@@ -5,7 +5,7 @@ title: 'HORIZON-RIA: European Open Compute Architecture for Powerful Edge'
 description: 'A future proof, powerful edge-cloud computing infrastructure, allowing European
 enterprises to keep control of the processing and management of their data and AI locally and enabling them to easily
 create a seamless computing experience stretching from edge to cloud.'
-rank: 2
+rank: 3
 img: support/cape.png
 external_page: https://cape-project.eu/
 past: false

_supports/crossing.md

@@ -3,7 +3,7 @@ layout: page
 inline: true
 title: CROSSING
 description: 'DFG SFB. Cryptography-Based Security Solutions. Secure cryptography-based software for next generation computing environments.'
-rank: 4
+rank: 6
 img: support/crossing.svg
 img_contains_title: true
 external_page: https://www.crossing.tu-darmstadt.de/

_supports/cyd-IaC-testing.md

@@ -3,8 +3,8 @@ layout: page
 inline: true
 title: 'Systematic Testing of Supply Chain Infrastructure Configuration'
 description: 'Project with the Cyber-Defence Campus (CYD). Modern unit testing techniques to assess IaC programs in numerous configurations, to detect configuration errors and uncover dependencies that may lead to system vulnerabilities.'
-rank: 2
+rank: 5
 img: support/cyd.svg
 external_page: https://www.cydcampus.admin.ch/en
-past: false
+past: true
 ---

_supports/cyd-IaC-verification.md

@@ -0,0 +1,10 @@
+---
+layout: page
+inline: true
+title: 'Pre-Deployment Verification of Infrastructure as Code'
+description: 'Project with the Cyber-Defence Campus (CYD). The project contributes to the broader vision of protecting infrastructures from attacks that exploit security vulnerabilities. The project aims to verify infrastructure code before deployment, providing cloud administrators with early insights.'
+rank: 1
+img: support/cyd.svg
+external_page: https://www.cydcampus.admin.ch/en
+past: false
+---

_supports/emergencity.md

@@ -3,7 +3,7 @@ layout: page
 inline: true
 title: emergenCITY
 description: 'LOEWE project. Emergency Responsive Digital Cities: Resilient software infrastructures to protect smart cities from disasters.'
-rank: 6
+rank: 8
 img_contains_title: true
 img: support/emergencity.svg
 external_page: https://www.emergencity.de/

_supports/hsg-ipf-1031569.md

@@ -3,7 +3,7 @@ layout: page
 inline: true
 title: 'International Postdoctoral Fellowship'
 description: 'Fellowship support for Dr. Pascal Weisenburger, supporting his research on multitier programming languages.'
-rank: 5
+rank: 7
 img: support/hsg.svg
 external_page: https://www.unisg.ch/en/research/research-at-hsg/research-support/internal-funding/international-postdoctoral-fellowships/
 past: true

_supports/snf-local-first.md

@@ -3,7 +3,7 @@ layout: page
 inline: true
 title: 'Consistency Programming for Local First Software'
 description: 'SNF project. Programming abstractions for local-first software, CRDTs, consistency levels, verification of replicated data structures, privacy preserving data pods.'
-rank: 1
+rank: 2
 img: support/snf.svg
 external_page: https://data.snf.ch/grants/grant/10001777
 past: false

_supports/snf-multitier.md

@@ -3,7 +3,7 @@ layout: page
 inline: true
 title: 'Multitier Programming above the Clouds'
 description: 'SNF project. Multitier programming for heterogeneous platforms and devices, the cloud, mobile applications, Internet of Things (IoT) software, and Big Data processing stacks.'
-rank: 3
+rank: 4
 img: support/snf.svg
 external_page: https://data.snf.ch/grants/grant/200429
 past: false