diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0e221b426..abea50a3d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -262,6 +262,58 @@ jobs: java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg -Dopenssl.version=1.1.1k -roundLimit 5 experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/openssl-1.1.1k_client_dhe_ecdhe_rsa_cert_reneg output/openssl-1.1.1k_client_dhe_ecdhe_rsa_cert_reneg 5 + OpenSSL-3-5-0_Server_all_cert_none: + if: ${{ !contains(github.event.head_commit.message, 'ci skip') }} + runs-on: ubuntu-latest + strategy: + fail-fast: true + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Set up JDK 17 + uses: actions/setup-java@v4 + with: + java-version: '17' + distribution: 'temurin' + + - name: Install DTLS-Fuzzer + run: ./install.sh + + - name: Setup SUT + run: ./setup_sut.sh openssl-3.5.0 + + - name: Test openssl-3.5.0 Server (all_cert_none) + run: | + java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_server_all_cert_none -Dopenssl.version=3.5.0 -roundLimit 9 + experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none output/openssl-3.5.0_server_all_cert_none 9 + + OpenSSL-3-5-0_Client_ecdhe_cert_reneg: + if: ${{ !contains(github.event.head_commit.message, 'ci skip') }} + runs-on: ubuntu-latest + strategy: + fail-fast: true + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Set up JDK 17 + uses: actions/setup-java@v4 + with: + java-version: '17' + distribution: 'temurin' + + - name: Install DTLS-Fuzzer + run: ./install.sh + + - name: Setup SUT + run: ./setup_sut.sh openssl-3.5.0 + + - name: Test openssl-3.5.0 Client (ecdhe_cert_reneg) + run: | + java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_client_ecdhe_cert_reneg -Dopenssl.version=3.5.0 -roundLimit 8 + experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg output/openssl-3.5.0_client_ecdhe_cert_reneg 8 + PionDTLS-2-0-9_Server_psk: if: ${{ !contains(github.event.head_commit.message, 'ci skip') }} runs-on: ubuntu-24.04 # due to needing an old version of golang diff --git a/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert b/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert index 9c9a28e03..a91f2384e 100644 --- a/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert +++ b/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert @@ -10,7 +10,7 @@ ${sul.port} -responseWait 20 -cmd -${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 +${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -legacy_renegotiation -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 # mapper config -socketClosedAsTimeout diff --git a/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg b/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg index 20a291c03..e060d9a1c 100644 --- a/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg +++ b/args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg @@ -10,7 +10,7 @@ ${sul.port} -responseWait 20 -cmd -${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 +${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -legacy_renegotiation -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 # mapper config -socketClosedAsTimeout diff --git a/args/openssl/learn_openssl_client_ecdhe_cert_reneg b/args/openssl/learn_openssl_client_ecdhe_cert_reneg index 4b012984b..9f56e044a 100644 --- a/args/openssl/learn_openssl_client_ecdhe_cert_reneg +++ b/args/openssl/learn_openssl_client_ecdhe_cert_reneg @@ -10,7 +10,7 @@ ${sul.port} -responseWait 20 -cmd -${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 +${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -legacy_renegotiation -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 # mapper config -socketClosedAsTimeout diff --git a/args/openssl/learn_openssl_client_psk b/args/openssl/learn_openssl_client_psk index cc458adbe..1f6e90e51 100644 --- a/args/openssl/learn_openssl_client_psk +++ b/args/openssl/learn_openssl_client_psk @@ -10,7 +10,7 @@ ${sul.port} -responseWait 20 -cmd -${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 +${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -legacy_renegotiation -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 # learner config -randLength diff --git a/args/openssl/learn_openssl_client_psk_reneg b/args/openssl/learn_openssl_client_psk_reneg index 43b8dfd01..9c48083d8 100644 --- a/args/openssl/learn_openssl_client_psk_reneg +++ b/args/openssl/learn_openssl_client_psk_reneg @@ -10,7 +10,7 @@ ${sul.port} -responseWait 20 -cmd -${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 -debug +${fuzzer.dir}/suts/openssl-${openssl.version}/apps/openssl s_client -legacy_renegotiation -psk 1234 -key ${keystore}/rsa2048_key.pem -cert ${keystore}/rsa2048_cert.pem -CAfile ${keystore}/rsa2048_cert.pem -port ${sul.port} -dtls1_2 -mtu 5000 -debug # learner config -randLength diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp1.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp1.dot new file mode 100644 index 000000000..134840a7e --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp1.dot @@ -0,0 +1,26 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s0 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s0 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s0 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s0 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp2.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp2.dot new file mode 100644 index 000000000..571f7efed --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp2.dot @@ -0,0 +1,45 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s0 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp3.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp3.dot new file mode 100644 index 000000000..762bc5e1c --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp3.dot @@ -0,0 +1,83 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s3 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp4.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp4.dot new file mode 100644 index 000000000..d76fa1403 --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp4.dot @@ -0,0 +1,102 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s4 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s4 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s4 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s4 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s4 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s4 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s4 -> s4 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"]; + s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp5.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp5.dot new file mode 100644 index 000000000..068b40a33 --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp5.dot @@ -0,0 +1,121 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s5 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s4 -> s5 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"]; + s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s5 -> s5 [label="SERVER_HELLO_DONE / RSA_CERTIFICATE|ECDH_CLIENT_KEY_EXCHANGE|CERTIFICATE_VERIFY|CHANGE_CIPHER_SPEC|FINISHED"]; + s5 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp6.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp6.dot new file mode 100644 index 000000000..ff83fe048 --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp6.dot @@ -0,0 +1,140 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s5 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s4 -> s6 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"]; + s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s5 -> s6 [label="SERVER_HELLO_DONE / RSA_CERTIFICATE|ECDH_CLIENT_KEY_EXCHANGE|CERTIFICATE_VERIFY|CHANGE_CIPHER_SPEC|FINISHED"]; + s5 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s6 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s6 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp7.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp7.dot new file mode 100644 index 000000000..b86cd1349 --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp7.dot @@ -0,0 +1,178 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s5 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s4 -> s6 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"]; + s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s5 -> s6 [label="SERVER_HELLO_DONE / RSA_CERTIFICATE|ECDH_CLIENT_KEY_EXCHANGE|CERTIFICATE_VERIFY|CHANGE_CIPHER_SPEC|FINISHED"]; + s5 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s6 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s7 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s7 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s1 [label="FINISHED / TIMEOUT"]; + s7 -> s8 [label="APPLICATION / TIMEOUT"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s7 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s8 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(WARNING,CLOSE_NOTIFY)"]; + s8 -> s8 [label="APPLICATION / TIMEOUT"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s8 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp8.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp8.dot new file mode 100644 index 000000000..cde459d57 --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp8.dot @@ -0,0 +1,216 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s9 [shape="circle" label="s9"]; + s10 [shape="circle" label="s10"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s5 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s4 -> s6 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"]; + s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s5 -> s6 [label="SERVER_HELLO_DONE / RSA_CERTIFICATE|ECDH_CLIENT_KEY_EXCHANGE|CERTIFICATE_VERIFY|CHANGE_CIPHER_SPEC|FINISHED"]; + s5 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s6 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s7 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s7 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s9 [label="FINISHED / TIMEOUT"]; + s7 -> s8 [label="APPLICATION / TIMEOUT"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s7 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s8 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(WARNING,CLOSE_NOTIFY)"]; + s8 -> s8 [label="APPLICATION / TIMEOUT"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s8 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s9 -> s10 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s9 -> s10 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s9 -> s10 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s9 -> s10 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s0 [label="HELLO_REQUEST / CLIENT_HELLO"]; + s9 -> s10 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s9 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s9 -> s9 [label="FINISHED / TIMEOUT"]; + s9 -> s9 [label="APPLICATION / TIMEOUT"]; + s9 -> s10 [label="CERTIFICATE / TIMEOUT"]; + s9 -> s10 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / Alert(WARNING,CLOSE_NOTIFY)"]; + s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s10 -> s10 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s10 -> s10 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s10 -> s10 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s10 -> s10 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s0 [label="HELLO_REQUEST / CLIENT_HELLO"]; + s10 -> s10 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s10 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s10 -> s10 [label="FINISHED / TIMEOUT"]; + s10 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s10 [label="CERTIFICATE / TIMEOUT"]; + s10 -> s10 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s10 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s10 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp9.dot b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp9.dot new file mode 100644 index 000000000..850eee9f4 --- /dev/null +++ b/experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp9.dot @@ -0,0 +1,235 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s9 [shape="circle" label="s9"]; + s10 [shape="circle" label="s10"]; + s11 [shape="circle" label="s11"]; + s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="CERTIFICATE / TIMEOUT"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s5 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s5 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s4 -> s6 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"]; + s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s5 -> s6 [label="SERVER_HELLO_DONE / RSA_CERTIFICATE|ECDH_CLIENT_KEY_EXCHANGE|CERTIFICATE_VERIFY|CHANGE_CIPHER_SPEC|FINISHED"]; + s5 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s6 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s7 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s7 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s9 [label="FINISHED / TIMEOUT"]; + s7 -> s8 [label="APPLICATION / TIMEOUT"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s7 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s8 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(WARNING,CLOSE_NOTIFY)"]; + s8 -> s8 [label="APPLICATION / TIMEOUT"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s8 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s9 -> s10 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s9 -> s10 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s9 -> s10 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s9 -> s10 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s10 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s9 -> s11 [label="HELLO_REQUEST / CLIENT_HELLO"]; + s9 -> s10 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s9 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s9 -> s9 [label="FINISHED / TIMEOUT"]; + s9 -> s9 [label="APPLICATION / TIMEOUT"]; + s9 -> s10 [label="CERTIFICATE / TIMEOUT"]; + s9 -> s10 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / Alert(WARNING,CLOSE_NOTIFY)"]; + s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s10 -> s10 [label="HELLO_VERIFY_REQUEST / TIMEOUT"]; + s10 -> s10 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s10 -> s10 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"]; + s10 -> s10 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s10 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"]; + s10 -> s11 [label="HELLO_REQUEST / CLIENT_HELLO"]; + s10 -> s10 [label="SERVER_HELLO_DONE / TIMEOUT"]; + s10 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s10 -> s10 [label="FINISHED / TIMEOUT"]; + s10 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s10 [label="CERTIFICATE / TIMEOUT"]; + s10 -> s10 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s10 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s10 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s11 -> s11 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"]; + s11 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"]; + s11 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="HELLO_REQUEST / TIMEOUT"]; + s11 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s11 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s11 [label="APPLICATION / TIMEOUT"]; + s11 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s11 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/alphabet.xml b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/alphabet.xml new file mode 100644 index 000000000..6b6b434d6 --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/alphabet.xml @@ -0,0 +1,33 @@ + + + + + + + + + + + + + + + + + + + 0x5468697320697320612068656c6c6f206d65737361676521 + + + + + + + + + + + + diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp1.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp1.dot new file mode 100644 index 000000000..f5be7b70a --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp1.dot @@ -0,0 +1,24 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s0 -> s0 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s0 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s0 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s0 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s0 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s0 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp2.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp2.dot new file mode 100644 index 000000000..acd68ab7e --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp2.dot @@ -0,0 +1,75 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s3 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp3.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp3.dot new file mode 100644 index 000000000..b7d79afbf --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp3.dot @@ -0,0 +1,92 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s3 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s3 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp4.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp4.dot new file mode 100644 index 000000000..c1215f83c --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp4.dot @@ -0,0 +1,126 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s6 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s5 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s6 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp5.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp5.dot new file mode 100644 index 000000000..839c1b3c3 --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp5.dot @@ -0,0 +1,160 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s8 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s7 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s6 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s5 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s6 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s7 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECRYPT_ERROR)"]; + s7 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp6.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp6.dot new file mode 100644 index 000000000..a2e68d787 --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp6.dot @@ -0,0 +1,177 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s9 [shape="circle" label="s9"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s8 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s7 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s6 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s5 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s9 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s7 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECRYPT_ERROR)"]; + s7 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s9 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s9 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp7.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp7.dot new file mode 100644 index 000000000..19523840f --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp7.dot @@ -0,0 +1,211 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s9 [shape="circle" label="s9"]; + s10 [shape="circle" label="s10"]; + s11 [shape="circle" label="s11"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s8 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s7 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s6 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s5 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s10 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s7 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECRYPT_ERROR)"]; + s7 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s9 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s9 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s10 -> s4 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s10 -> s4 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED"]; + s10 -> s11 [label="APPLICATION / TIMEOUT"]; + s10 -> s4 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s11 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s10 -> s10 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s11 -> s4 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s11 -> s4 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED|Alert(WARNING,CLOSE_NOTIFY)"]; + s11 -> s11 [label="APPLICATION / TIMEOUT"]; + s11 -> s4 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s11 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s11 -> s11 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp8.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp8.dot new file mode 100644 index 000000000..86046b7b3 --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp8.dot @@ -0,0 +1,228 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s9 [shape="circle" label="s9"]; + s10 [shape="circle" label="s10"]; + s11 [shape="circle" label="s11"]; + s12 [shape="circle" label="s12"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s8 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s7 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s6 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s5 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s10 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s7 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECRYPT_ERROR)"]; + s7 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s9 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s9 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s10 -> s4 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s10 -> s12 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED"]; + s10 -> s11 [label="APPLICATION / TIMEOUT"]; + s10 -> s4 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s11 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s10 -> s10 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s11 -> s4 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s11 -> s4 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED|Alert(WARNING,CLOSE_NOTIFY)"]; + s11 -> s11 [label="APPLICATION / TIMEOUT"]; + s11 -> s4 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s11 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s11 -> s11 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s12 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s12 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s12 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s12 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s12 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s12 -> s12 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED"]; + s12 -> s12 [label="APPLICATION / TIMEOUT"]; + s12 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s12 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s12 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s12 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / Alert(WARNING,CLOSE_NOTIFY)"]; + s12 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp9.dot b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp9.dot new file mode 100644 index 000000000..fd7619d9f --- /dev/null +++ b/experiments/models/regression/servers/rounds/openssl-3.5.0_server_all_cert_none/hyp9.dot @@ -0,0 +1,245 @@ +digraph g { + + s0 [shape="circle" label="s0"]; + s1 [shape="circle" label="s1"]; + s2 [shape="circle" label="s2"]; + s3 [shape="circle" label="s3"]; + s4 [shape="circle" label="s4"]; + s5 [shape="circle" label="s5"]; + s6 [shape="circle" label="s6"]; + s7 [shape="circle" label="s7"]; + s8 [shape="circle" label="s8"]; + s9 [shape="circle" label="s9"]; + s10 [shape="circle" label="s10"]; + s11 [shape="circle" label="s11"]; + s12 [shape="circle" label="s12"]; + s13 [shape="circle" label="s13"]; + s0 -> s2 [label="ECDH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="DH_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="PSK_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s2 [label="RSA_CLIENT_HELLO / HELLO_VERIFY_REQUEST"]; + s0 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s0 -> s0 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s0 -> s0 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s1 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s1 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s1 -> s1 [label="FINISHED / TIMEOUT"]; + s1 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s1 -> s1 [label="CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s1 -> s1 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s2 -> s3 [label="ECDH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|ECDHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s5 [label="DH_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|DHE_SERVER_KEY_EXCHANGE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s8 [label="PSK_CLIENT_HELLO / SERVER_HELLO|SERVER_HELLO_DONE"]; + s2 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s7 [label="RSA_CLIENT_HELLO / SERVER_HELLO|RSA_CERTIFICATE|SERVER_HELLO_DONE"]; + s2 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s3 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s6 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s3 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s3 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s4 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s4 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s4 -> s4 [label="FINISHED / TIMEOUT"]; + s4 -> s4 [label="APPLICATION / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s4 -> s4 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s4 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s4 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s5 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s5 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s6 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s5 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s6 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s10 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s7 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s7 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECRYPT_ERROR)"]; + s7 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s9 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s6 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s7 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s7 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s7 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s7 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s8 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,DECODE_ERROR)"]; + s8 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s6 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s9 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s8 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s8 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s8 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s8 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s9 -> s1 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s9 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s10 -> s4 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s10 -> s12 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED"]; + s10 -> s11 [label="APPLICATION / TIMEOUT"]; + s10 -> s4 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s4 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s10 -> s11 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s10 -> s10 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s11 -> s4 [label="ECDH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="ECDH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="DH_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="DH_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="PSK_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="PSK_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="RSA_CLIENT_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="RSA_CLIENT_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s11 -> s4 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED|Alert(WARNING,CLOSE_NOTIFY)"]; + s11 -> s11 [label="APPLICATION / TIMEOUT"]; + s11 -> s4 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s4 [label="CERTIFICATE_VERIFY / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s11 -> s11 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s11 -> s11 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s12 -> s13 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s12 -> s13 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s13 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s12 -> s13 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s13 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s12 -> s13 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s13 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s12 -> s13 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s12 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s12 -> s12 [label="FINISHED / CHANGE_CIPHER_SPEC|FINISHED"]; + s12 -> s12 [label="APPLICATION / TIMEOUT"]; + s12 -> s13 [label="CERTIFICATE / TIMEOUT"]; + s12 -> s13 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s12 -> s13 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s12 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / Alert(WARNING,CLOSE_NOTIFY)"]; + s12 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + s13 -> s13 [label="ECDH_CLIENT_HELLO / TIMEOUT"]; + s13 -> s13 [label="ECDH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s13 -> s13 [label="DH_CLIENT_HELLO / TIMEOUT"]; + s13 -> s13 [label="DH_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s13 -> s13 [label="PSK_CLIENT_HELLO / TIMEOUT"]; + s13 -> s13 [label="PSK_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s13 -> s13 [label="RSA_CLIENT_HELLO / TIMEOUT"]; + s13 -> s13 [label="RSA_CLIENT_KEY_EXCHANGE / TIMEOUT"]; + s13 -> s4 [label="CHANGE_CIPHER_SPEC / TIMEOUT"]; + s13 -> s13 [label="FINISHED / TIMEOUT"]; + s13 -> s4 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"]; + s13 -> s13 [label="CERTIFICATE / TIMEOUT"]; + s13 -> s13 [label="EMPTY_CERTIFICATE / TIMEOUT"]; + s13 -> s13 [label="CERTIFICATE_VERIFY / TIMEOUT"]; + s13 -> s4 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"]; + s13 -> s4 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"]; + +__start0 [label="" shape="none" width="0" height="0"]; +__start0 -> s0; + +} diff --git a/experiments/patches/openssl-3.5.0.patch b/experiments/patches/openssl-3.5.0.patch new file mode 100644 index 000000000..44aad0821 --- /dev/null +++ b/experiments/patches/openssl-3.5.0.patch @@ -0,0 +1,12 @@ +diff -ruN suts/openssl-3.5.0/ssl/d1_lib.c suts/openssl-3.5.0_patched/ssl/d1_lib.c +--- suts/openssl-3.5.0/ssl/d1_lib.c 2025-05-06 21:03:03.078528910 +0200 ++++ suts/openssl-3.5.0_patched/ssl/d1_lib.c 2025-05-06 18:50:57.494592341 +0200 +@@ -343,7 +343,7 @@ + return 0; + + /* Timer expired, so return true */ +- return 1; ++ return 0; + } + + static void dtls1_double_timeout(SSL_CONNECTION *s) diff --git a/setup_sut.sh b/setup_sut.sh index c78f01a4a..355bb51c8 100755 --- a/setup_sut.sh +++ b/setup_sut.sh @@ -89,8 +89,8 @@ readonly OPENSSL_111g="openssl-1.1.1g" readonly OPENSSL_111g_ARCH_URL="https://www.openssl.org/source/old/1.1.1/openssl-1.1.1g.tar.gz" readonly OPENSSL_111k="openssl-1.1.1k" readonly OPENSSL_111k_ARCH_URL="https://www.openssl.org/source/old/1.1.1/openssl-1.1.1k.tar.gz" -readonly OPENSSL_300="openssl-3.0.0" -readonly OPENSSL_300_ARCH_URL="https://www.openssl.org/source/old/3.0/openssl-3.0.0.tar.gz" +readonly OPENSSL_350="openssl-3.5.0" +readonly OPENSSL_350_ARCH_URL="https://github.com/openssl/openssl/releases/download/openssl-3.5.0/openssl-3.5.0.tar.gz" readonly PIONDTLS_USENIX="piondtls-usenix" # the usenix version sits one commit before 1.5.2 (the commit after it fixes the application processing bug) readonly PIONDTLS_USENIX_REP_COMMIT="e4481fc" @@ -158,7 +158,7 @@ sutvarnames=("CTINYDTLS" "ETINYDTLS" "ETINYDTLS_DEVELOP" \ "JSSE_904" "JSSE_11010" "JSSE_1202" "JSSE_1302" "JSSE_1501" "JSSE_1601" \ "MBEDTLS_2161" "MBEDTLS_2250" "MBEDTLS_2260" \ "SCANDIUM_OLD" "SCANDIUM_230" "SCANDIUM_262" "SCANDIUM_300_M2" \ -"OPENSSL_111b" "OPENSSL_111c" "OPENSSL_111g" "OPENSSL_111k" "OPENSSL_300" \ +"OPENSSL_111b" "OPENSSL_111c" "OPENSSL_111g" "OPENSSL_111k" "OPENSSL_350" \ "PIONDTLS_USENIX" "PIONDTLS_152" "PIONDTLS_202" "PIONDTLS_209" \ "WOLFSSL_400" "WOLFSSL_440" "WOLFSSL_471r" "WOLFSSL_576") @@ -167,7 +167,7 @@ sut_strings=("${CTINYDTLS}" "${ETINYDTLS}" "${ETINYDTLS_DEVELOP}" \ "${GNUTLS_3519}" "${GNUTLS_367}" "${GNUTLS_371}" "${GNUTLS_LATEST}" \ "${JSSE_904}" "${JSSE_11010}" "${JSSE_1202}" "${JSSE_1302}" "${JSSE_1501}" "${JSSE_1601}" \ "${MBEDTLS_2161}" "${MBEDTLS_2250}" "${MBEDTLS_2260}" \ -"${OPENSSL_111b}" "${OPENSSL_111c}" "${OPENSSL_111g}" "${OPENSSL_111k}" "${OPENSSL_300}" \ +"${OPENSSL_111b}" "${OPENSSL_111c}" "${OPENSSL_111g}" "${OPENSSL_111k}" "${OPENSSL_350}" \ "${PIONDTLS_USENIX}" "${PIONDTLS_152}" "${PIONDTLS_202}" "${PIONDTLS_209}" \ "${SCANDIUM_OLD}" "${SCANDIUM_230}" "${SCANDIUM_262}" "${SCANDIUM_300_M2}" \ "${WOLFSSL_400}" "${WOLFSSL_440}" "${WOLFSSL_471r}" "${WOLFSSL_576}") @@ -492,7 +492,7 @@ function make_sut() { make_path="${sut_dir}/Makefile" if [[ -f "${make_path}" ]]; then echo "Running make inside ${sut_dir}" - ( cd "${sut_dir}" || exit ; make ) + ( cd "${sut_dir}" || exit ; make -j4 ) # tinydtls exceptions if [[ ${sut} == *tinydtls* ]]; then test_dir="${sut_dir}/tests"