MODULE m4 · 8.0 HOURS
Setting up Isolated Experimental Environments
LEARNING OBJECTIVES
Module objectives
- Understand the configuration principles of isolated local development environments for Post-Quantum Cryptography (PQC) experiments and the roles of essential tools (liboqs, oqs-provider).
- Analyze the impact of KEM performance on handshake latency in protocols such as TLS 1.3.
- Design and build a reproducible experimental environment with fixed dependencies using Docker containers.
Need for Isolated PQC Experimental Environments
To protect existing public-key cryptography (RSA, ECDH, etc.) from quantum computer threats, NIST has standardized post-quantum algorithms such as ML-KEM (based on Kyber) and ML-DSA (based on Dilithium). To evaluate the performance and security of these algorithms in a local environment, a reproducible environment with Crypto-agility is essential [S2].
1. Key Components
- liboqs: A C-language implementation of PQC algorithms, providing a foundation to test various KEM and signature algorithms.
- oqs-provider: An interface that uses the OpenSSL 3 provider architecture to allow integrating PQC algorithms into existing TLS infrastructure.
- Hybrid Mode: A transitional strategy that combines existing classical cryptography (ECDH) with PQC algorithms to maintain existing security levels despite potential vulnerabilities in PQC libraries [S2].
2. The Core of Experimental Environments: Isolation and Reproducibility
Experiments must be completely separated from operational environments. By locking dependency versions using container technologies like Docker, one can reduce differences in execution results between researchers and accurately measure the effects of algorithm optimization (e.g., utilizing AVX-512) [S2]. When evaluating handshake performance, one should use fixed hardware and an isolated network to minimize latency uncertainty.
WORKED EXAMPLES
Worked examples
- Example 1: Building an environment based on oqs-provider utilizing Dockerfile. Describes how to ensure build reproducibility by specifying versions for each library.
- Example 2: Hybrid TLS handshake test using OpenSSL CLI. Describes how to simulate an ML-KEM-768-supported hybrid TLS 1.3 connection using 'openssl s_server' and 's_client'.
LAB PROTOCOL
Building an Isolated PQC Testbed
- 1
Prepare an experimental Docker container image base (Ubuntu 22.04 LTS or higher).
- 2
Clone liboqs and oqs-provider source code and check out specific commit hashes to lock versions.
- 3
Perform build by setting optimization levels (e.g., AVX2) when compiling liboqs using CMake.
- 4
Configure OpenSSL 3.x environment and activate oqs-provider.
- 5
Measure basic TLS 1.3 handshake performance standards through fixed loopback connections on local network interfaces.
- Experimental environments must be run only within isolated local containers.
- Certificates, actual private keys, and customer data from operational environments must never be brought into containers.
- Note that measurements generated during compilation and execution are considered public test data and are irrelevant to actual security policies.
- When monitoring actual hardware or power, comply with the rated current and voltage ranges specified by the manufacturer.
Lab deliverables
- Dockerfile with locked dependency versions and build logs.
- Terminal capture showing successful loading of the PQC algorithm list in OpenSSL.
- Checksum (SHA-256) of the isolated development environment with completed configuration.
ASSIGNMENT
PQC Testbed Documentation and Evaluation
Deliverables
Rubric
- Possibility of locking dependency versions and reproducing builds (30%).
- Success of hybrid TLS handshake in an isolated experimental environment (40%).
- Clarity of algorithm configuration and measurement procedures and security compliance (30%).
KNOWLEDGE CHECK
Knowledge check
FIELD CHECK
Completion criteria
- Successful configuration of a Docker-based isolated build environment.
- Demonstration of ML-KEM hybrid mode through oqs-provider.
- Submission of a report including experimental data measurement and security policies.
MODULE SOURCES
Module sources
- Faster Post-Quantum TLS 1.3 Based on ML-KEM: Implementation ...arxiv.org · paper