Skip to content
@UoS-SCCS

Surrey Centre for Cyber Security, University of Surrey

We focus on security, applied cryptography, formal verification, with particular expertise in but not limited to trusted systems, privacy & distributed ledgers.

Popular repositories Loading

  1. VirtualWebAuthn VirtualWebAuthn Public

    HTML 13 7

  2. ecc-daa 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++ 5 1

  3. VirtualAuthenticatorWithCompendium- VirtualAuthenticatorWithCompendium- Public

    Virtual Authenticator for Companion Project to leverage biometrics on phones and laptops

    HTML 3

  4. HBGS HBGS Public

    Source code for "Sphinx-in-the-Head: Group Signatures from Symmetric Primitives" accepted for Transactions on Privacy and Security

    C 2

  5. WebAuthn-Credential-Delegation WebAuthn-Credential-Delegation Public

    WebAuthn Credential Delegation Demo

    Python 1

  6. CompendiumDevice-Project CompendiumDevice-Project Public

    Main library and Python code for Compendium Project to leverage mobile biometric security on desktops and laptops

    Python 1

Repositories

Showing 10 of 15 repositories
  • program-epistemic-logic-2-smt Public

    Verifying Properties of Knowledge-Based Programs with SMT Solvers

    UoS-SCCS/program-epistemic-logic-2-smt’s past year of commit activity
    Haskell 0 GPL-3.0 0 0 0 Updated Aug 19, 2024
  • HBGS Public

    Source code for "Sphinx-in-the-Head: Group Signatures from Symmetric Primitives" accepted for Transactions on Privacy and Security

    UoS-SCCS/HBGS’s past year of commit activity
    C 2 0 0 0 Updated Jun 19, 2024
  • HB_EPID_Revocation Public

    Source code for Revocation for Hash-based EPID

    UoS-SCCS/HB_EPID_Revocation’s past year of commit activity
    C 1 0 0 0 Updated Jun 19, 2024
  • phoebe Public
    UoS-SCCS/phoebe’s past year of commit activity
    Haskell 0 0 0 0 Updated Jan 21, 2024
  • Phish-And-Tips Public
    UoS-SCCS/Phish-And-Tips’s past year of commit activity
    JavaScript 0 0 0 0 Updated Mar 3, 2023
  • CompendiumDevice-Project Public

    Main library and Python code for Compendium Project to leverage mobile biometric security on desktops and laptops

    UoS-SCCS/CompendiumDevice-Project’s past year of commit activity
    Python 1 0 0 0 Updated May 23, 2022
  • VirtualAuthenticatorWithCompendium- Public

    Virtual Authenticator for Companion Project to leverage biometrics on phones and laptops

    UoS-SCCS/VirtualAuthenticatorWithCompendium-’s past year of commit activity
    HTML 3 0 0 0 Updated May 12, 2022
  • Companion-Device---Tamarin-Models- Public

    Tamarin Models for Companion Project to leverage biometric security on phones and laptops

    UoS-SCCS/Companion-Device---Tamarin-Models-’s past year of commit activity
    Python 0 0 0 0 Updated May 12, 2022
  • Compendium-Android Public

    Android Application for Compendium Project to leverage mobile biometric security on desktops and laptops

    UoS-SCCS/Compendium-Android’s past year of commit activity
    Java 0 0 0 0 Updated May 12, 2022
  • Compendium-PushServer Public

    Flask push server for Compendium Project to leverage mobile biometric security on desktops and laptops

    UoS-SCCS/Compendium-PushServer’s past year of commit activity
    Python 0 0 0 0 Updated May 12, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…