Equipment

FAU

  • 2 workstations (€9,000; Dell PowerEdge with NVIDIA GPU or similar). In the second year of the project, we expect to work on optimizing parameter choices for the proposed protocols – aiming at a pragmatic choice that meets both efficiency and security requirements. We expect the need for some serious cryptanalytic software experiments with lattice reduction or/and information-set decoding algorithms to identify adequate parameter sets. Workstations with a GPU and ample RAM makes such experiments possible.

  • 4 mobile workstations (4×€2,000=€8,000; Lenovo ThinkPad or similar). We want to be able implement group key establishment protocols at FAU and test scenarios with aborting/joining/leaving parties. We plan to take our implementations to UM for integrating with their runtime verification systems and interoperability testing. For experiments with fault induction in software (e.g., row hammer attacks), this choice of equipment seems convenient as well.

URJC

  • 2 laptops (2 × €2,200 DELL XPS or similar) and 2 workstations (Dell Precision Tower 5000 or similar) (2 × €2,200). We expect the need for software experiments; in particular, we would like to be able to check the parameter choices suggested by our theoretical developments as well as to evaluate the actual performance of post-quantum group key establishment protocols.

UM

  • 1 laptop (1× €2,200 MacBook Pro or similar). We expect the need for a good machine for software development and testing when extending the protocol implementations with runtime verification.

STU

  •  6 mobile workstations (6×€2,200; Lenovo ThinkPad or similar). We want to be able implement group key establishment protocols at STU and test scenarios with aborting/joining/leaving parties.

  •  1 server (€5,500) . We want to test centralized secure key management in a quantum scenario.