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

Edits and better integrates the after section #19

Merged
merged 21 commits into from
Apr 20, 2017
Merged

Edits and better integrates the after section #19

merged 21 commits into from
Apr 20, 2017

Commits on Apr 5, 2017

  1. Rewrites intro to after section 

    This sets the context and relation to privacy, makes it more clearly
related to privacy.
    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    7505c13 View commit details
    Browse the repository at this point in the history

  2. Edits data authenticity in after section

    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    8cdd1da View commit details
    Browse the repository at this point in the history

  3. Edits protest verification 

    Adds some missing references (WIP #5, #10).
    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    dc816d8 View commit details
    Browse the repository at this point in the history

  4. Updates libbib submodule: adds {voting,protests}.bib

    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    307b0d3 View commit details
    Browse the repository at this point in the history

  5. Adds optional prefix for requirements and properties 

    Now one can easily prefix a requirements or properties environment with
a mnemonic prefix, e.g. verifiability requirements as Vx and privacy
requirements as Px.

Uses this to prefix authenticity requirements with an A.
    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    7444477 View commit details
    Browse the repository at this point in the history

  6. Edits ProtestVerif 

    Clarifies the verifiability requirements and adds privacy requirements.

The last two paragraphs still need editing.
    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    0e02e48 View commit details
    Browse the repository at this point in the history

  7. Fixes typos in references

    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    c41a33a View commit details
    Browse the repository at this point in the history

  8. Removes period from refname for requirements and properties

    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    8cec541 View commit details
    Browse the repository at this point in the history

  9. Clarifies freshness in data authenticity

    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    f11c133 View commit details
    Browse the repository at this point in the history

  10. Moves stats.bib to libbib (bibsp)

    @dbosk
    dbosk committed Apr 5, 2017
    Configuration menu
    Copy the full SHA
    78f7f3c View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2017

  1. Fixes typo in authenticity section

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    8396c5d View commit details
    Browse the repository at this point in the history

  2. Clarifies intro to after section

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    ad0d97c View commit details
    Browse the repository at this point in the history

  3. Clarifies authenticity section

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    db4868c View commit details
    Browse the repository at this point in the history

  4. Moves intro of verification to intro of after section

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    49e12f4 View commit details
    Browse the repository at this point in the history

  5. Adds blockchain as example of time-stamping service

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    758cef7 View commit details
    Browse the repository at this point in the history

  6. Changes section title: uses demonstration instead of protest

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    4b9cf65 View commit details
    Browse the repository at this point in the history

  7. Edits the remaining part of ProtestVerif 

    The last paragraph still needs some work though.
    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    07d0d7b View commit details
    Browse the repository at this point in the history

  8. Comments on the reviewers comment in the end

    @dbosk
    dbosk committed Apr 6, 2017
    Configuration menu
    Copy the full SHA
    a74038f View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2017

  1. Clarifies what happens if Alice is arrested

    @dbosk
    dbosk committed Apr 13, 2017
    Configuration menu
    Copy the full SHA
    f26010c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into connect-after

    @dbosk
    dbosk committed Apr 13, 2017
    Configuration menu
    Copy the full SHA
    72c2d9b View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2017

  1. Merge branch 'master' into connect-after

    @dbosk
    dbosk committed Apr 19, 2017
    Configuration menu
    Copy the full SHA
    2910500 View commit details
    Browse the repository at this point in the history