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.
- 5 followers
- Guildford, Surrey, UK
- https://surrey.ac.uk/sccs
- SCCS@surrey.ac.uk
Popular repositories Loading
-
-
VirtualAuthenticatorWithCompendium-
VirtualAuthenticatorWithCompendium- PublicVirtual Authenticator for Companion Project to leverage biometrics on phones and laptops
HTML 3
-
WebAuthn-Credential-Delegation
WebAuthn-Credential-Delegation PublicWebAuthn Credential Delegation Demo
Python 1
Repositories
Showing 10 of 20 repositories
- AKMA-PrivacyModels-Tamarin Public
UoS-SCCS/AKMA-PrivacyModels-Tamarin’s past year of commit activity - 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 - 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 - phoebe Public
UoS-SCCS/phoebe’s past year of commit activity - Phish-And-Tips Public
UoS-SCCS/Phish-And-Tips’s past year of commit activity
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…