相关论文: Safe Clockwork
We provide an asymptotically safe Pati-Salam embedding of the Standard Model. Safety is achieved by adding to the theory gauged vector-like fermions and by employing recently developed large number-of-flavor techniques and results. We show…
The notion of simulatable security (reactive simulatability, universal composability) is a powerful tool for allowing the modular design of cryptographic protocols (composition of protocols) and showing the security of a given protocol…
The nature of dark matter and the fundamental quantum structure of spacetime could be directly linked in the asymptotic-safety framework. A toy model for the visible Higgs-Yukawa sector of the Standard Model, coupled to a dark sector…
We introduce a holographic model encapsulating the dynamics of safe quantum field theories.
In this paper, we prove classical coin-flipping secure in the presence of quantum adversaries. The proof uses a recent result of Watrous [Wat09] that allows quantum rewinding for protocols of a certain form. We then discuss two…
Building on recent advances in the understanding of gauge-Yukawa theories we explore possibilities to UV-complete the Standard Model in an asymptotically safe manner. Minimal extensions are based on a large flavor sector of additional…
Asymptotic safety generalizes asymptotic freedom and could contribute to understanding physics beyond the Standard Model. It is a candidate scenario to provide an ultraviolet extension for the effective quantum field theory of gravity…
Authentication provides the trust people need to engage in transactions. The advent of physical keys that are impossible to copy promises to revolutionize this field. Up to now, such keys have been verified by classical challenge-response…
Quantum-mechanical devices have the potential to transform cryptography. Most research in this area has focused either on the information-theoretic advantages of quantum protocols or on the security of classical cryptographic schemes…
Models of spontaneous wavefunction collapse explain the quantum-to-classical transition without invoking the von Neumann measurement postulate. Prominent frameworks, such as the Di\'osi-Penrose (DP) and Continuous Spontaneous Localization…
A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi…
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple quantum-information-theoretic conditions which must be…
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the system behavior in locations, and to take transitions. While…
Asymptotic safety is a remarkable example when fruitful ideas borrowed from statistical physics proliferate to high-energy physics. The concept of asymptotic safety is tightly connected to fixed points (FPs) of the renormalization-group…
Recently one of the authors proposed a dual theory of a Supersymmetric Standard Model (SSM), in which it is naturally understood that at least one quark (the top quark) should be heavy, i.e., almost the same order as the weak scale, and the…
We perform a complete global phenomenological analysis of a realistic string-inspired model based on the supersymmetric Pati-Salam $SU(4)\times SU(2)_L \times SU(2)_R$ gauge group supplemented by a U(1) family symmetry, and present…
It is claimed in Phys. Lett. A by T. Nishioka et. al. 327 (2004) 28-32, that the security of Y-00 is equivalent to that of a classical stream cipher. In this paper it is shown that the claim is false in either the use of Y-00 for direct…
An algorithm for Electric Power System (EPS) quantum/relativistic security and efficiency computation for a day-ahead via perturbative renormalization of the EPS, finding the computation flowcharts, verification and validation is built in…
Cryptographic protocols, such as protocols for secure function evaluation (SFE), have played a crucial role in the development of modern cryptography. The extensive theory of these protocols, however, deals almost exclusively with classical…
We study the phase diagram and the stability of the ground state for certain four-dimensional gauge-Yukawa theories whose high-energy behaviour is controlled by an interacting fixed point. We also provide analytical and numerical results…