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 15 9

  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 3

  5. phoebe phoebe Public

    Haskell 2

  6. WebAuthn-Credential-Delegation WebAuthn-Credential-Delegation Public

    WebAuthn Credential Delegation Demo

    Python 1

Repositories

Showing 10 of 21 repositories
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…