Related papers: Safe Clockwork
Physical implementations of cryptographic algorithms leak information, which makes them vulnerable to so-called side-channel attacks. The problem of secure computation in the presence of leakage is generally known as leakage resilience. In…
Quantum Cryptography is a rapidly developing field of research that benefits from the properties of Quantum Mechanics in performing cryptographic tasks. Quantum walks are a powerful model for quantum computation and very promising for…
A simple proof of the unconditional security of a relativistic quantum cryptosystem based on orthogonal states is proposed. Restrictions imposed by special relativity allow to substantially simplify the proof compared with the…
During the recent years experiments with neutral kaons have yielded remarkably sensitive results which are pertinent to such fundamental phenomena as CPT invariance (protecting causality), time-reversal invariance violation, coherence of…
In a recent paper, [Phys. Rev. A 65, 052326 (2002)], Mihara presented several cryptographic protocols that were claimed to be quantum mechanical in nature. In this comment it is pointed out that these protocols can be described in purely…
Atom-like quantum systems in solids have been proposed as a compact alternative for atomic clocks, but realizing the potential of solid-state technology will requires an architecture design which overcomes traditional limitations such as…
We introduce a basis-restricted variant of the Quantum-k-SAT problem, in which each term in the input Hamiltonian is required to be diagonal in either the standard or Hadamard basis. Our main result is that the Quantum-6-SAT problem with…
This paper describes a method for creating compelling safety cases. The method seeks to help improve safety case practice in order to address the weaknesses identified in current practice, in particular confirmation bias, after-the-fact…
We develop a new class of clockwork theories with an augmented structure of the near-neighbour interactions along a one-dimensional closed chain. Such a topology leads to new and attractive features in addition to generating light states…
This paper introduces quantum multiparty protocols which allow the use of temporary assumptions. We prove that secure quantum multiparty computations are possible if and only if classical multi party computations work. But these strict…
We theoretically propose a tunable implementation of symmetry-protected topological phases in a synthetic superlattice, taking advantage of the long coherence time and exquisite spectral resolutions offered by gravity-tilted optical lattice…
We define the notion of a classical commitment scheme to quantum states, which allows a quantum prover to compute a classical commitment to a quantum state, and later open each qubit of the state in either the standard or the Hadamard…
Safety filters based on control barrier functions (CBFs) and high-order control barrier functions (HOCBFs) are often implemented through quadratic programs (QPs). In general, especially in the presence of multiple constraints, feasibility…
In the initial stages of its development, atomic theory had to bypass the laws of classical electromagnetism in an ad hoc manner in order to explain the stability of atoms. In quantum mechanics, however, the classical theory may find again…
In this paper we're going to explore the ways in which security proofs can fail, and their broader lessons for security engineering. To mention just one example, Larry Paulson proved the security of SSL/TLS using his theorem prover Isabelle…
We give a new class of security definitions for authentication in the quantum setting. These definitions capture and strengthen existing definitions of security against quantum adversaries for both classical message authentication codes…
Over the last years the Asymptotic Safety program has matured into a serious candidate for a quantum theory of gravity compatible with observations. The rapid technical progress in computing renormalisation group flows for gravity and…
Effective field theory provides a new perspective on the predictive power of Renormalization Group fixed points. Critical trajectories between different fixed points confine the regions of UV-complete, IR-complete, as well as conformal…
The protection of qubit coherence is an essential task in order to build a practical quantum computer able to manipulate, store and read quantum information with a high degree of fidelity. Recently, it has been proposed to increase the…
Topological qubits based on $SU(N)$-symmetric valence-bond solid models are constructed. A logical topological qubit is the ground subspace with two-fold degeneracy, which is due to the spontaneous breaking of a global parity symmetry. A…