Skip to content

@UoS-SCCS Surrey Centre for Cyber Security, University of Surrey

Change the repository type filter

All

    Repositories list

    15 repositories

    • program-epistemic-logic-2-smt

      Public
      Verifying Properties of Knowledge-Based Programs with SMT Solvers
      Haskell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 19, 2024Aug 19, 2024

    • HBGS

      Public
      Source code for "Sphinx-in-the-Head: Group Signatures from Symmetric Primitives" accepted for Transactions on Privacy and Security
      C
      •
      Other
      •0•2•0•0•Updated Jun 19, 2024Jun 19, 2024

    • HB_EPID_Revocation

      Public
      Source code for Revocation for Hash-based EPID
      C
      •
      Other
      •0•1•0•0•Updated Jun 19, 2024Jun 19, 2024

    • phoebe

      Public
      Haskell
      •0•0•0•0•Updated Jan 21, 2024Jan 21, 2024

    • Phish-And-Tips

      Public
      JavaScript
      •
      Other
      •0•0•0•0•Updated Mar 3, 2023Mar 3, 2023

    • CompendiumDevice-Project

      Public
      Main library and Python code for Compendium Project to leverage mobile biometric security on desktops and laptops
      Python
      •
      Other
      •0•1•0•0•Updated May 23, 2022May 23, 2022

    • VirtualAuthenticatorWithCompendium-

      Public
      Virtual Authenticator for Companion Project to leverage biometrics on phones and laptops
      HTML
      •
      Other
      •0•3•0•0•Updated May 12, 2022May 12, 2022

    • Companion-Device---Tamarin-Models-

      Public
      Tamarin Models for Companion Project to leverage biometric security on phones and laptops
      Python
      •0•0•0•0•Updated May 12, 2022May 12, 2022

    • Compendium-Android

      Public
      Android Application for Compendium Project to leverage mobile biometric security on desktops and laptops
      Java
      •
      Other
      •0•0•0•0•Updated May 12, 2022May 12, 2022

    • Compendium-PushServer

      Public
      Flask push server for Compendium Project to leverage mobile biometric security on desktops and laptops
      Python
      •
      Other
      •0•0•0•0•Updated May 12, 2022May 12, 2022

    • PUPS

      Public
      Practice Using Passwords
      JavaScript
      •0•0•0•0•Updated Mar 30, 2022Mar 30, 2022

    • PSUW-Primitive

      Public
      Python
      •0•0•0•0•Updated Oct 30, 2021Oct 30, 2021

    • WebAuthn-Credential-Delegation

      Public
      WebAuthn Credential Delegation Demo
      Python
      •0•1•0•0•Updated Sep 6, 2021Sep 6, 2021

    • VirtualWebAuthn

      Public
      HTML
      •
      Other
      •7•13•1•0•Updated Aug 10, 2021Aug 10, 2021

    • ecc-daa

      Public
      Source code for "Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme" accepted at ASIACCS 2020
      C++
      •
      Other
      •1•6•0•0•Updated Oct 18, 2020Oct 18, 2020