Zobrazeno 1 - 10
of 107
pro vyhledávání: '"Treharne, Helen"'
Autor:
Ahmadi, Sharar, Le-Papin, Jay, Chen, Liqun, Dongol, Brijesh, Radomirovic, Sasa, Treharne, Helen
Collective remote attestation (CRA) is a security service that aims to efficiently identify compromised (often low-powered) devices in a (heterogeneous) network. The last few years have seen an extensive growth in CRA protocol proposals, showing a va
Externí odkaz:
http://arxiv.org/abs/2407.09203
Even though passwordless authentication to online accounts offers greater security and protection from attack, passwords remain prevalent. Passwordless authentication adoption is impacted by the slow adoption of external hardware keys required to gen
Externí odkaz:
http://arxiv.org/abs/2108.04131
Rolling out a new security mechanism in an organisation requires planning, good communication, adoption from users, iterations of reflection on the challenges experienced and how they were overcome. Our case study elicited users' perceptions to refle
Externí odkaz:
http://arxiv.org/abs/2011.02901
Autor:
Alsadi, Mohammed, Casey, Matthew, Dragan, Constantin Catalin, Dupressoir, Francois, Riley, Luke, Sallal, Muntadher, Schneider, Steve, Treharne, Helen, Wadsworth, Joe, Wright, Phil
Online voting for independent elections is generally supported by trusted election providers. Typically these providers do not offer any way in which a voter can verify their vote, so the providers are trusted with ballot privacy and ensuring correct
Externí odkaz:
http://arxiv.org/abs/1912.00288
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Han, Jinguang, Chen, Liqun, Schneider, Steve, Treharne, Helen, Wesemeyer, Stephan, Wils, Nick
An anonymous Single Sign-On (ASSO) scheme allows users to access multiple services anonymously using one credential. We propose a new ASSO scheme, where users can access services anonymously through the use of anonymous credentials and unlinkably thr
Externí odkaz:
http://arxiv.org/abs/1811.07642
Anonymous Single-Sign-On authentication schemes have been proposed to allow users to access a service protected by a verifier without revealing their identity which has become more important due to the introduction of strong privacy regulations. In t
Externí odkaz:
http://arxiv.org/abs/1804.07201
Electronic tickets (e-tickets) are electronic versions of paper tickets, which enable users to access intended services and improve services' efficiency. However, privacy may be a concern of e-ticket users. In this paper, a privacy-preserving electro
Externí odkaz:
http://arxiv.org/abs/1706.03016
Autor:
Whitefield, Jorden, Chen, Liqun, Kargl, Frank, Paverd, Andrew, Schneider, Steve, Treharne, Helen, Wesemeyer, Stephan
Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. H
Externí odkaz:
http://arxiv.org/abs/1704.07216
Autor:
Bendisposto, Jens, Koerner, Philipp, Leuschel, Michael, Meijer, Jeroen, van de Pol, Jaco, Treharne, Helen, Whitefield, Jorden
We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implemented by linking ProB to LTSmin, a high-performance language independent
Externí odkaz:
http://arxiv.org/abs/1603.04401