Skip to content

Popular repositories Loading

  1. polyas-core3-second-device-verification polyas-core3-second-device-verification Public

    Polyas-Verifier is a web application for the individual second-device verification of the POLYAS 3.0 E-Voting System for individual verifiability, see also the original publication.

    TypeScript 2

  2. polyas-core3-universal-verification polyas-core3-universal-verification Public

    Polyas-Checker is a tool to verify the bulletin boards of the POLYAS 3.0 E-Voting System for universal verifiability, see also the original publication.

    Python 2

  3. electionguard-java electionguard-java Public

    Forked from JohnLCaron/electionguard-java

    A port of electionguard-python to Java.

    Java 1

  4. electionguard-kotlin-multiplatform electionguard-kotlin-multiplatform Public

    Forked from votingworks/electionguard-kotlin-multiplatform

    An implementation of ElectionGuard version 2.0.0 in Kotlin.

    Kotlin 1 1

  5. Journald Journald Public

    Three Vulnerabilities in Journald Forward Secure Log Sealing

    Java

  6. psi-with-sgx psi-with-sgx Public

    C

Repositories

Showing 7 of 7 repositories
  • polyas-core3-second-device-verification Public

    Polyas-Verifier is a web application for the individual second-device verification of the POLYAS 3.0 E-Voting System for individual verifiability, see also the original publication.

    kastel-security/polyas-core3-second-device-verification’s past year of commit activity
    TypeScript 2 0 0 0 Updated Oct 15, 2024
  • electionguard-kotlin-multiplatform Public Forked from votingworks/electionguard-kotlin-multiplatform

    An implementation of ElectionGuard version 2.0.0 in Kotlin.

    kastel-security/electionguard-kotlin-multiplatform’s past year of commit activity
    Kotlin 1 MIT 5 0 0 Updated Oct 14, 2024
  • electionguard-java Public Forked from JohnLCaron/electionguard-java

    A port of electionguard-python to Java.

    kastel-security/electionguard-java’s past year of commit activity
    Java 1 MIT 3 0 0 Updated Jul 11, 2024
  • Journald Public

    Three Vulnerabilities in Journald Forward Secure Log Sealing

    kastel-security/Journald’s past year of commit activity
    Java 0 0 0 0 Updated Jan 22, 2024
  • ORE-Decision-Tree Public

    Two-Party Decision Tree Training from Updatable Order-Revealing Encryption

    kastel-security/ORE-Decision-Tree’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Jan 8, 2024
  • polyas-core3-universal-verification Public

    Polyas-Checker is a tool to verify the bulletin boards of the POLYAS 3.0 E-Voting System for universal verifiability, see also the original publication.

    kastel-security/polyas-core3-universal-verification’s past year of commit activity
    Python 2 0 0 0 Updated Dec 9, 2023
  • kastel-security/psi-with-sgx’s past year of commit activity
    C 0 0 0 0 Updated Sep 13, 2023

Top languages

Loading…

Most used topics

Loading…