research
∙
09/03/2021
A Survey of Practical Formal Methods for Security
In today's world, critical infrastructure is often controlled by computi...
share
research
∙
12/01/2019
VMV: Augmenting an Internet Voting System with Selene Verifiability
Online voting in the UK generally takes place without verifiability mech...
research
∙
07/03/2019
Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior
We present a novel method for generating robust adversarial image exampl...
research
∙
11/19/2018
Anonymous Single Sign-on with Proxy Re-Verification
An anonymous Single Sign-On (ASSO) scheme allows users to access multipl...
research
∙
04/19/2018