-
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
Authors:
Santiago Cuéllar,
Bill Harris,
James Parker,
Stuart Pernsteiner,
Eran Tromer
Abstract:
Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the vulnerability to the public could harm the system's users; whereas disclosing the vulnerability only to the software's vendor lets the vendor disregard or deprioritize the security risk, to the detriment of unwittingly-affected users. A compelli…
▽ More
Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the vulnerability to the public could harm the system's users; whereas disclosing the vulnerability only to the software's vendor lets the vendor disregard or deprioritize the security risk, to the detriment of unwittingly-affected users. A compelling recent line of work aims to resolve this by using Zero Knowledge (ZK) protocols that let analysts prove that they know a vulnerability in a program, without revealing the details of the vulnerability or the inputs that exploit it. In principle, this could be achieved by generic ZK techniques. In practice, ZK vulnerability proofs to date have been restricted in scope and expressibility, due to challenges related to generating proof statements that model real-world software at scale and to directly formulating violated properties. This paper presents CHEESECLOTH, a novel proofstatement compiler, which proves practical vulnerabilities in ZK by soundly-but-aggressively preprocessing programs on public inputs, selectively revealing information about executed control segments, and formalizing information leakage using a novel storage-labeling scheme. CHEESECLOTH's practicality is demonstrated by generating ZK proofs of well-known vulnerabilities in (previous versions of) critical software, including the Heartbleed information leakage in OpenSSL and a memory vulnerability in the FFmpeg graphics framework.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Smooth Fields of Operators and Some Examples Coming from Canonical Quantization
Authors:
F. Belmonte,
H. Bustos,
S. Cuéllar
Abstract:
We introduce a notion of smooth fields of operators following the notion of smooth fields of Hilbert spaces recently defined by L. Lempert and R. Szőoke arXiv:1004.4863(2) . Formally, if $\nabla$ is the connection of a smooth field of Hilbert spaces we show that $\hat\nabla=[\nabla,\cdot]$ defines a connection on a suitable space of fields of operators. In order to provide examples we prove that,…
▽ More
We introduce a notion of smooth fields of operators following the notion of smooth fields of Hilbert spaces recently defined by L. Lempert and R. Szőoke arXiv:1004.4863(2) . Formally, if $\nabla$ is the connection of a smooth field of Hilbert spaces we show that $\hat\nabla=[\nabla,\cdot]$ defines a connection on a suitable space of fields of operators. In order to provide examples we prove that, if $u$ is a suitable constant of motion of $h(q,p)=\|q\|^2$ (i.e.\ $\{u,h\}=0$), then $\mathfrak{Op}(u)$ is a smooth field of operators over the open interval $(0,\infty)$, where $\mathfrak{Op}$ denotes the canonical quantization (Weyl calculus). Moreover, in such case we show that we can compute derivatives using the formula $\hat\nabla_{X_0}(\mathfrak{Op}(u))=\mathfrak{Op}(\tilde\nabla_{X_0}(u))$, where $\tilde\nabla$ is a Poisson connection on the Poisson algebra of constants of motion and $X_0=2λ\frac{\partial}{\partial λ}$. We also introduce a notion of smooth field of $C^*$-algebras and we give an example using Hilbert modules theory.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Averaging Generalized Scalar Field Cosmologies II: Locally Rotationally Symmetric Bianchi I and flat Friedmann-Lemaître-Robertson-Walker models
Authors:
Genly Leon,
Sebastián Cuéllar,
Esteban González,
Samuel Lepe,
Claudio Michea,
Alfredo D. Millano
Abstract:
Scalar field cosmologies with a generalized harmonic potential and a matter fluid with a barotropic Equation of State (EoS) with barotropic index $γ$ for the Locally Rotationally Symmetric (LRS) Bianchi I and flat Friedmann-Lemaître-Robertson-Walker (FLRW) metrics are investigated. Methods from the theory of averaging of nonlinear dynamical systems are used to prove that time-dependent systems and…
▽ More
Scalar field cosmologies with a generalized harmonic potential and a matter fluid with a barotropic Equation of State (EoS) with barotropic index $γ$ for the Locally Rotationally Symmetric (LRS) Bianchi I and flat Friedmann-Lemaître-Robertson-Walker (FLRW) metrics are investigated. Methods from the theory of averaging of nonlinear dynamical systems are used to prove that time-dependent systems and their corresponding time-averaged versions have the same late-time dynamics. Therefore, the simplest time-averaged system determines the future asymptotic behavior. Depending on the values of $γ$, the late-time attractors of physical interests are flat quintessence dominated FLRW universe and Einstein-de Sitter solution. With this approach, the oscillations entering the system through the Klein-Gordon (KG) equation can be controlled and smoothed out as the Hubble parameter $H$ - acting as time-dependent perturbation parameter - tends monotonically to zero. Numerical simulations are presented as evidence of such behavior.
△ Less
Submitted 27 April, 2021; v1 submitted 10 February, 2021;
originally announced February 2021.
-
Constants of Motion of the Harmonic Oscillator
Authors:
Fabián Belmonte,
Sebastián Cuéllar
Abstract:
We prove that Weyl quantization preserves constant of motion of the Harmonic Oscillator. We also prove that if $f$ is a classical constant of motion and $\mathfrak{Op}(f)$ is the corresponding operator, then $\mathfrak{Op}(f)$ maps the Schwartz class into itself and it defines an essentially selfadjoint operator on $L^2(\mathbb R^n)$. As a consequence, we provide detailed spectral information of…
▽ More
We prove that Weyl quantization preserves constant of motion of the Harmonic Oscillator. We also prove that if $f$ is a classical constant of motion and $\mathfrak{Op}(f)$ is the corresponding operator, then $\mathfrak{Op}(f)$ maps the Schwartz class into itself and it defines an essentially selfadjoint operator on $L^2(\mathbb R^n)$. As a consequence, we provide detailed spectral information of $\mathfrak{Op}(f)$. A complete characterization of the classical constants of motion of the Harmonic Oscillator is given and we also show that they form an algebra with the Moyal product. We give some interesting examples and we analyze Weinstein average method within our framework.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Oscillations in the Flaring Active Region NOAA 11272
Authors:
S. M. Conde Cuellar,
J. E. R. Costa,
C. E. Cedeño Montaña
Abstract:
We studied waves seen during the class C1.9 flare that occurred in Active Region NOAA 11272 on SOL2011-08-17. We found standing waves with periods in the 9- and 19-minute band in six extreme ultraviolet (EUV) wavelengths of the SDO/AIA instrument. We succeeded in identifying the magnetic arc where the flare started and two neighbour loops that were disturbed in sequence. The analysed standing wave…
▽ More
We studied waves seen during the class C1.9 flare that occurred in Active Region NOAA 11272 on SOL2011-08-17. We found standing waves with periods in the 9- and 19-minute band in six extreme ultraviolet (EUV) wavelengths of the SDO/AIA instrument. We succeeded in identifying the magnetic arc where the flare started and two neighbour loops that were disturbed in sequence. The analysed standing waves spatially coincide with these observed EUV loops. To study the wave characteristics along the loops, we extrapolated field lines from the line-of-sight magnetograms using the force-free approximation in the linear regime. We used atmosphere models to determine the mass density and temperature at each height of the loop. Then, we calculated the sound and Alfv{é}n speeds using densities $10^8 \lesssim n_i \lesssim 10^{17}$ cm$^{-3}$ and temperatures $10^3 \lesssim T \lesssim 10^7$ K. The brightness asymmetry in the observed standing waves resembles the Alfv{é}n speed distribution along the loops, but the atmospheric model we used needs higher densities to explain the observed periods.
△ Less
Submitted 26 November, 2016;
originally announced November 2016.