-
Scaling CheckMate for Game-Theoretic Security
Authors:
Sophie Rain,
Lea Salome Brugger,
Anja Petkovic Komel,
Laura Kovacs,
Michael Rawson
Abstract:
We present the CheckMate tool for automated verification of game-theoretic security properties, with application to blockchain protocols. CheckMate applies automated reasoning techniques to determine whether a game-theoretic protocol model is game-theoretically secure, that is, Byzantine fault tolerant and incentive compatible. We describe CheckMate's input format and its various components, modes…
▽ More
We present the CheckMate tool for automated verification of game-theoretic security properties, with application to blockchain protocols. CheckMate applies automated reasoning techniques to determine whether a game-theoretic protocol model is game-theoretically secure, that is, Byzantine fault tolerant and incentive compatible. We describe CheckMate's input format and its various components, modes, and output. CheckMate is evaluated on 15 benchmarks, including models of decentralized protocols, board games, and game-theoretic examples.
△ Less
Submitted 13 June, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Neural Face Video Compression using Multiple Views
Authors:
Anna Volokitin,
Stefan Brugger,
Ali Benlalah,
Sebastian Martin,
Brian Amberg,
Michael Tschannen
Abstract:
Recent advances in deep generative models led to the development of neural face video compression codecs that use an order of magnitude less bandwidth than engineered codecs. These neural codecs reconstruct the current frame by warping a source frame and using a generative model to compensate for imperfections in the warped source frame. Thereby, the warp is encoded and transmitted using a small n…
▽ More
Recent advances in deep generative models led to the development of neural face video compression codecs that use an order of magnitude less bandwidth than engineered codecs. These neural codecs reconstruct the current frame by warping a source frame and using a generative model to compensate for imperfections in the warped source frame. Thereby, the warp is encoded and transmitted using a small number of keypoints rather than a dense flow field, which leads to massive savings compared to traditional codecs. However, by relying on a single source frame only, these methods lead to inaccurate reconstructions (e.g. one side of the head becomes unoccluded when turning the head and has to be synthesized). Here, we aim to tackle this issue by relying on multiple source frames (views of the face) and present encouraging results.
△ Less
Submitted 13 April, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
Peculiar Velocity Constraints from Five-Band SZ Effect Measurements Towards RX J1347.5-1145 with MUSIC and Bolocam from the CSO
Authors:
Jack Sayers,
Michael Zemcov,
Jason Glenn,
Sunil R. Golwala,
Philip R. Maloney,
Seth R. Siegel,
Jordan Wheeler,
Clint Bockstiegel,
Spencer Brugger,
Nicole G. Czakon,
Peter K. Day,
Thomas P. Downes,
Ran P. Duan,
Jiansong Gao,
Matthew I. Hollister,
Albert Lam,
Henry G. LeDuc,
Benjamin A. Mazin,
Sean G. McHugh,
David A. Miller,
Tony K. Mroczkowski,
Omid Noroozian,
Hien T. Nguyen,
Simon J. Radford,
James A. Schlaerth
, et al. (3 additional authors not shown)
Abstract:
We present Sunyaev-Zel'dovich (SZ) effect measurements from wide-field images towards the galaxy cluster RX J1347.5-1145 obtained from the Caltech Submillimeter Observatory with the Multiwavelength Submillimeter Inductance Camera (MUSIC) at 147, 213, 281, and 337 GHz and with Bolocam at 140 GHz. As part of our analysis, we have used higher frequency data from Herschel-SPIRE and previously publishe…
▽ More
We present Sunyaev-Zel'dovich (SZ) effect measurements from wide-field images towards the galaxy cluster RX J1347.5-1145 obtained from the Caltech Submillimeter Observatory with the Multiwavelength Submillimeter Inductance Camera (MUSIC) at 147, 213, 281, and 337 GHz and with Bolocam at 140 GHz. As part of our analysis, we have used higher frequency data from Herschel-SPIRE and previously published lower frequency radio data to subtract the signal from the brightest dusty star-forming galaxies behind RX J1347.5-1145 and from the AGN in RX J1347.5-1145's BCG. Using these five-band SZ effect images, combined with X-ray spectroscopic measurements of the temperature of the intra-cluster medium (ICM) from Chandra, we constrain the ICM optical depth to be $τ_e = 7.33^{+0.96}_{-0.97} \times 10^{-3}$ and the ICM line of sight peculiar velocity to be $v_{pec} = -1040^{+870}_{-840}$ km s$^{-1}$. The errors for both quantities are limited by measurement noise rather than calibration uncertainties or astrophysical contamination, and significant improvements are possible with deeper observations. Our best-fit velocity is in good agreement with one previously published SZ effect analysis and in mild tension with the other, although some or all of that tension may be because that measurement samples a much smaller cluster volume. Furthermore, our best-fit optical depth implies a gas mass slightly larger than the Chandra-derived value, implying the cluster is elongated along the line of sight.
△ Less
Submitted 1 March, 2016; v1 submitted 9 September, 2015;
originally announced September 2015.
-
Status of MUSIC, the MUltiwavelength Sub/millimeter Inductance Camera
Authors:
Sunil R. Golwala,
Clint Bockstiegel,
Spencer Brugger,
Nicole G. Czakon,
Peter K. Day,
Thomas P. Downes,
Ran Duan,
Jiansong Gao,
Amandeep K. Gill,
Jason Glenn,
Matthew I. Hollister,
Henry G. LeDuc,
Philip R. Maloney,
Benjamin A. Mazin,
Sean G. McHugh,
David Miller,
Omid Noroozian,
Hien T. Nguyen,
Jack Sayers,
James A. Schlaerth,
Seth Siegel,
Anastasios K. Vayonakis,
Philip R. Wilson,
Jonas Zmuidzinas
Abstract:
We present the status of MUSIC, the MUltiwavelength Sub/millimeter Inductance Camera, a new instrument for the Caltech Submillimeter Observatory. MUSIC is designed to have a 14', diffraction-limited field-of-view instrumented with 2304 detectors in 576 spatial pixels and four spectral bands at 0.87, 1.04, 1.33, and 1.98 mm. MUSIC will be used to study dusty star-forming galaxies, galaxy clusters v…
▽ More
We present the status of MUSIC, the MUltiwavelength Sub/millimeter Inductance Camera, a new instrument for the Caltech Submillimeter Observatory. MUSIC is designed to have a 14', diffraction-limited field-of-view instrumented with 2304 detectors in 576 spatial pixels and four spectral bands at 0.87, 1.04, 1.33, and 1.98 mm. MUSIC will be used to study dusty star-forming galaxies, galaxy clusters via the Sunyaev-Zeldovich effect, and star formation in our own and nearby galaxies. MUSIC uses broadband superconducting phased-array slot-dipole antennas to form beams, lumped-element on-chip bandpass filters to define spectral bands, and microwave kinetic inductance detectors to senseincoming light. The focal plane is fabricated in 8 tiles consisting of 72 spatial pixels each. It is coupled to the telescope via an ambient temperature ellipsoidal mirror and a cold reimaging lens. A cold Lyot stop sits at the image of the primary mirror formed by the ellipsoidal mirror. Dielectric and metal mesh filters are used to block thermal infrared and out-of-band radiation. The instrument uses a pulse tube cooler and 3He/3He/4He closed-cycle cooler to cool the focal plane to below 250 mK. A multilayer shield attenuates Earth's magnetic field. Each focal plane tile is read out by a single pair of coaxes and a HEMT amplifier. The readout system consists of 16 copies of custom-designed ADC/DAC and IF boards coupled to the CASPER ROACH platform. We focus on recent updates on the instrument design and results from the commissioning of the full camera in 2012.
△ Less
Submitted 3 November, 2012;
originally announced November 2012.
