Related papers: Safe Clockwork
Many electrical and mechanical systems with two normal modes are appropriate for illustrating the quantum mechanics of neutral kaons. The illustration of CP- or time-reversal-violation in the neutral kaon system by mechanical or electrical…
The recent discovery of fully-homomorphic classical encryption schemes has had a dramatic effect on the direction of modern cryptography. Such schemes, however, implicitly rely on the assumptions that solving certain computation problems…
We briefly review the security of the ping-pong protocol in light of several attack scenarios suggested by various authors since the proposal of the protocol. We refute one recent attack on an ideal quantum channel, and show that a recent…
Methods of quantum mechanics promise information-theoretic security for various protocols in cryptography. However, impossibility of some cryptographic applications such as standard bit commitment, oblivious transfer, multiparty secure…
Most cryptosystems are defined over finite algebraic structures where arithmetic operations are performed modulo natural numbers. This applies to private key as well as to public key ciphers. No secure cryptosystems defined over the field…
We consider schemes for secret key distribution which use as a resource correlations that violate Bell inequalities. We provide the first security proof for such schemes, according to the strongest notion of security, the so called…
We propose an efficient scheme for verifying quantum computations in the `high complexity' regime i.e. beyond the remit of classical computers. Previously proposed schemes remarkably provide confidence against arbitrarily malicious…
Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challenging to model…
We consider the problem of semantic security via classical-quantum and quantum wiretap channels and use explicit constructions to transform a non-secure code into a semantically secure code, achieving capacity by means of biregular…
Increasing penetration of renewable energy introduces significant uncertainty into power systems. Traditional simulation-based verification methods may not be applicable due to the unknown-but-bounded feature of the uncertainty sets.…
The ``impossibility proof'' on unconditionally secure quantum bit commitment is examined. It is shown that the possibility of juxtaposing quantum and classical randomness has not been properly taken into account. A specific protocol that…
We investigate an optomechanical system as a model of an autonomous mechanical pendulum clock in the quantum regime, whose operation relies only on incoherent (thermal) resources. The escapement of the clock, the mechanism that translates…
At present, there exists no physically plausible example of a quantum field theory for which the existence of solutions has been proven mathematically. The Clay Mathematics Institute has offered a prize for proving existence for a class of…
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in which agents operate synchronously with awareness of the…
A $SU(3)_Q \times SU(3)_u \times SU(3)_d$ invariant scalar potential breaking spontaneously the quark flavour symmetry can explain the standard model flavour puzzle. The approximate alignment in flavour space of the vacuum expectation…
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…
We review the gauged $U(1)$ clockwork models as portals for new physics to obtain effectively hierarchical couplings of the Standard Model (SM) particles from genuine couplings of order one. Nearest-neighbor mass mixing between multiple…
We present a renormalizable theory of scalars in which the low energy effective theory contains a pseudo-Goldstone Boson with a compact field space of 2{\pi} F and an approximate discrete shift symmetry Z_Q with Q>>1, yet the number of…
The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential. The simulation of stabilizer circuits, which aims to replicate their behavior using a classical…
Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults and cyber attacks have been shown to cause safety…