Source author record

Ian Wood

Ian Wood appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.SP math-ph math.FA math.MP Cryptography and Security Human-Computer Interaction Information Theory math.AP math.CV math.IT Robotics

Catalog footprint

What is connected

8works

11topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

How Not to Handle Keys: Timing Attacks on FIDO Authenticator Privacy

This paper presents a timing attack on the FIDO2 (Fast IDentity Online) authentication protocol that allows attackers to link user accounts stored in vulnerable authenticators, a serious privacy concern. FIDO2 is a new standard specified by the FIDO industry alliance for secure token online authentication. It complements the W3C WebAuthn specification by providing means to use a USB token or other authenticator as a second factor during the authentication process. From a cryptographic perspective, the protocol is a simple challenge-response where the elliptic curve digital signature algorithm is used to sign challenges. To protect the privacy of the user the token uses unique key pairs per service. To accommodate for small memory, tokens use various techniques that make use of a special parameter called a key handle sent by the service to the token. We identify and analyse a vulnerability in the way the processing of key handles is implemented that allows attackers to remotely link user accounts on multiple services. We show that for vulnerable authenticators there is a difference between the time it takes to process a key handle for a different service but correct authenticator, and for a different authenticator but correct service. This difference can be used to perform a timing attack allowing an adversary to link user's accounts across services. We present several real world examples of adversaries that are in a position to execute our attack and can benefit from linking accounts. We found that two of the eight hardware authenticators we tested were vulnerable despite FIDO level 1 certification. This vulnerability cannot be easily mitigated on authenticators because, for security reasons, they usually do not allow firmware updates. In addition, we show that due to the way existing browsers implement the WebAuthn standard, the attack can be executed remotely.

preprint2020arXiv

The inverse problem for a spectral asymmetry function of the Schrödinger operator on a finite interval

For the Schrödinger equation $-d^2 u/dx^2 + q(x)u = λu$ on a finite $x$-interval, there is defined an "asymmetry function" $a(λ;q)$, which is entire of order $1/2$ and type $1$ in $λ$. Our main result identifies the classes of square-integrable potentials $q(x)$ that possess a common asymmetry function. For any given $a(λ)$, there is one potential for each Dirichlet spectral sequence.

preprint2016arXiv

Eigenvalues for perturbed periodic Jacobi matrices by the Wigner-von Neumann approach

The Wigner-von Neumann method, which was previously used for perturbing continuous Schrödinger operators, is here applied to their discrete counterparts. In particular, we consider perturbations of arbitrary $T$-periodic Jacobi matrices. The asymptotic behaviour of the subordinate solutions is investigated, as too are their initial components, together giving a general technique for embedding eigenvalues, $λ$, into the operator's absolutely continuous spectrum. Introducing a new rational function, $C(λ;T)$, related to the periodic Jacobi matrices, we describe the elements of the a.c. spectrum for which this construction does not work (zeros of $C(λ;T)$); in particular showing that there are only finitely many of them.

preprint2016arXiv

The Proper Dissipative Extensions of a Dual Pair

Let $A$ and $(-\widetilde{A})$ be dissipative operators on a Hilbert space $\mathcal{H}$ and let $(A,\widetilde{A})$ form a dual pair, i.e. $A\subset\widetilde{A}^*$, resp.\ $\widetilde{A}\subset A^*$. We present a method of determining the proper dissipative extensions $\widehat{A}$ of this dual pair, i.e. $A\subset \widehat{A}\subset\widetilde{A}^*$ provided that $\mathcal{D}(A)\cap\mathcal{D}(\widetilde{A})$ is dense in $\mathcal{H}$. Applications to symmetric operators, symmetric operators perturbed by a relatively bounded dissipative operator and more singular differential operators are discussed. Finally, we investigate the stability of the numerical range of the different dissipative extensions.

preprint2014arXiv

Designing a minimalist socially aware robotic agent for the home

We present a minimalist social robot that relies on long timeseries of low resolution data such as mechanical vibration, temperature, lighting, sounds and collisions. Our goal is to develop an experimental system for growing socially situated robotic agents whose behavioral repertoire is subsumed by the social order of the space. To get there we are designing robots that use their simple sensors and motion feedback routines to recognize different classes of human activity and then associate to each class a range of appropriate behaviors. We use the Katie Family of robots, built on the iRobot Create platform, an Arduino Uno, and a Raspberry Pi. We describe its sensor abilities and exploratory tests that allow us to develop hypotheses about what objects (sensor data) correspond to something known and observable by a human subject. We use machine learning methods to classify three social scenarios from over a hundred experiments, demonstrating that it is possible to detect social situations with high accuracy, using the low-resolution sensors from our minimalist robot.

preprint2012arXiv

On the spectrum of waveguides in planar photonic bandgap structures

We study a Helmholtz-type spectral problem related to the propagation of electromagnetic waves in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a two-dimensional periodic medium. The defect is infinitely extended and aligned with one of the coordinate axes. The perturbation is expected to introduce guided mode spectrum inside the band gaps of the fully periodic, unperturbed spectral problem. In the first part of the paper, we prove that, somewhat unexpectedly, guided mode spectrum can be created by arbitrarily "small" perturbations. Secondly we show that, after performing a Floquet decomposition in the axial direction of the waveguide, for any fixed value of the quasi-momentum $k_x$ the perturbation generates at most finitely many new eigenvalues inside the gap.

preprint2011arXiv

(Non-)Equivalence of Universal Priors

Ray Solomonoff invented the notion of universal induction featuring an aptly termed "universal" prior probability function over all possible computable environments. The essential property of this prior was its ability to dominate all other such priors. Later, Levin introduced another construction --- a mixture of all possible priors or `universal mixture'. These priors are well known to be equivalent up to multiplicative constants. Here, we seek to clarify further the relationships between these three characterisations of a universal prior (Solomonoff's, universal mixtures, and universally dominant priors). We see that the the constructions of Solomonoff and Levin define an identical class of priors, while the class of universally dominant priors is strictly larger. We provide some characterisation of the discrepancy.

preprint2007arXiv

Boundary triplets and M-functions for non-selfadjoint operators, with applications to elliptic PDEs and block operator matrices

Starting with an adjoint pair of operators, under suitable abstract versions of standard PDE hypotheses, we consider the Weyl M-function of extensions of the operators. The extensions are determined by abstract boundary conditions and we establish results on the relationship between the M-function as an analytic function of a spectral parameter and the spectrum of the extension. We also give an example where the M-function does not contain the whole spectral information of the resolvent, and show that the results can be applied to elliptic PDEs where the M-function corresponds to the Dirichlet to Neumann map.