Skip to content

@kastel-security KASTEL

Change the repository type filter

All

    Repositories list

    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 publication on the implementation process.
      cyber-security
      TypeScript
      •
      Other
      •0•2•0•0•Updated Nov 19, 2024Nov 19, 2024

    • electionguard-kotlin-multiplatform

      Public
      An implementation of ElectionGuard version 2.0.0 in Kotlin.
      Kotlin
      •
      MIT License
      •5•1•0•0•Updated Oct 14, 2024Oct 14, 2024

    • electionguard-java

      Public
      A port of electionguard-python to Java.
      Java
      •
      MIT License
      •3•1•0•0•Updated Jul 11, 2024Jul 11, 2024

    • Journald

      Public
      Three Vulnerabilities in Journald Forward Secure Log Sealing
      Java
      •0•0•0•0•Updated Jan 22, 2024Jan 22, 2024

    • ORE-Decision-Tree

      Public
      Two-Party Decision Tree Training from Updatable Order-Revealing Encryption
      Java
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 8, 2024Jan 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.
      cyber-security
      Python
      •
      Other
      •0•2•0•0•Updated Dec 9, 2023Dec 9, 2023

    • psi-with-sgx

      Public
      C
      •0•0•0•0•Updated Sep 13, 2023Sep 13, 2023