Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ISO-DH Example #36

Merged
merged 35 commits into from
Jul 4, 2024
Merged

ISO-DH Example #36

merged 35 commits into from
Jul 4, 2024

Commits on Apr 5, 2024

  1. Total and Stateful code of the DH model

    @fabian-hk
    fabian-hk committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    0aa21fe View commit details
    Browse the repository at this point in the history

  2. Updated comment

    @fabian-hk
    fabian-hk committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    fd39c27 View commit details
    Browse the repository at this point in the history

  3. Updated key usage in DH example

    @fabian-hk
    fabian-hk committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    d6ee647 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Executable DH protocol run

    @fabian-hk
    fabian-hk committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    faab06c View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2024

  1. Merge branch 'main' into example/dh

    @fabian-hk
    fabian-hk committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    d7c717b View commit details
    Browse the repository at this point in the history

  2. Adapted DH example to folder structure change in the main branch

    @fabian-hk
    fabian-hk committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    da35de8 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. Merge branch 'main' of github.com:REPROSEC/dolev-yao-star-extrinsic i… 

    …nto example/dh
    @fabian-hk
    fabian-hk committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    6530829 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. DH example trace and crypto predicates; DH security lemmas

    @fabian-hk
    fabian-hk committed May 6, 2024
    Configuration menu
    Copy the full SHA
    2fe4dc5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:REPROSEC/dolev-yao-star-extrinsic i… 

    …nto example/dh
    @fabian-hk
    fabian-hk committed May 6, 2024
    Configuration menu
    Copy the full SHA
    f3bae42 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:REPROSEC/dolev-yao-star-extrinsic i… 

    …nto example/dh
    @fabian-hk
    fabian-hk committed May 6, 2024
    Configuration menu
    Copy the full SHA
    1cbf7a5 View commit details
    Browse the repository at this point in the history

  4. DH example add trace printing to debug protocol run

    @fabian-hk
    fabian-hk committed May 6, 2024
    Configuration menu
    Copy the full SHA
    b659f3f View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. DH example compute_message1_proof and decode_message1_proof

    @fabian-hk
    fabian-hk committed May 8, 2024
    Configuration menu
    Copy the full SHA
    b423727 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. DH example compute_message2_proof and decode_message2_proof

    @fabian-hk
    fabian-hk committed May 15, 2024
    Configuration menu
    Copy the full SHA
    872b3e8 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. DH example compute_message3_proof and decode_message3_proof

    @fabian-hk
    fabian-hk committed May 16, 2024
    Configuration menu
    Copy the full SHA
    a89e453 View commit details
    Browse the repository at this point in the history

  2. DH example add ifuel option to crypto preds

    @fabian-hk
    fabian-hk committed May 16, 2024
    Configuration menu
    Copy the full SHA
    d7208b0 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:REPROSEC/dolev-yao-star-extrinsic i… 

    …nto example/dh
    @fabian-hk
    fabian-hk committed May 16, 2024
    Configuration menu
    Copy the full SHA
    07fa39c View commit details
    Browse the repository at this point in the history

  4. DH example compatibility with main branch restored

    @fabian-hk
    fabian-hk committed May 16, 2024
    Configuration menu
    Copy the full SHA
    74c5526 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. DH example finished stateful proofs

    @fabian-hk
    fabian-hk committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7820c8a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:REPROSEC/dolev-yao-star-extrinsic i… 

    …nto example/dh
    @fabian-hk
    fabian-hk committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    9ddf423 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Make DH example compatible with current main branch and clean up

    @fabian-hk
    fabian-hk committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    5bc0106 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. DH example: changed is_dh_shared_key definition to use equivalent tr

    @fabian-hk
    fabian-hk committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    50da6db View commit details
    Browse the repository at this point in the history

  2. DH example renamed folder to iso_dh and used 'equivalent tr' function… 

    … in key_secrecy_lemma
    @fabian-hk
    fabian-hk committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    afa6fe2 View commit details
    Browse the repository at this point in the history

  3. DH example added ISO reference

    @fabian-hk
    fabian-hk committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    e621fde View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. DH example: changed names of security properties and added README.md

    @fabian-hk
    fabian-hk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    952037e View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. DH example sanity check for trace invariants and proof refactoring

    @fabian-hk
    fabian-hk committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    4181604 View commit details
    Browse the repository at this point in the history

  2. DH example feedback Théophile

    @fabian-hk
    fabian-hk committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d1484ed View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. DH example proof trace invariants for example trace with SMTPats

    @fabian-hk
    fabian-hk committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    d153846 View commit details
    Browse the repository at this point in the history

  2. cleanup: tighten ISO-DH invariants to simplify proofs

    @TWal
    TWal committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    4229af3 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. DH example improved security properties and changed SMTPats for the s… 

    …tateful proof functions
    @fabian-hk
    fabian-hk committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    905d097 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. DH example move all crypto functions to the total code; cleanup code

    @fabian-hk
    fabian-hk committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    8f93d66 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. DH example feedback Théophile and code cleanup

    @fabian-hk
    fabian-hk committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    e78a4f2 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Updated README to include the ISO-DH example

    @fabian-hk
    fabian-hk committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    990a47d View commit details
    Browse the repository at this point in the history

  2. README changed path to ISO-DH example

    @fabian-hk
    fabian-hk committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    581fba9 View commit details
    Browse the repository at this point in the history

  3. DH example updated README

    @fabian-hk
    fabian-hk committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    3b0c377 View commit details
    Browse the repository at this point in the history

  4. cleanup: rework some ISO-DH security proofs

    @TWal
    TWal committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    cffcd3a View commit details
    Browse the repository at this point in the history