Publications (20)
Dormant black hole candidates from Gaia DR3 summary diagnostics
Johanna Müller-Horn, Hans-Walter Rix, Kareem El-Badry +4
We present a rigorous identification of candidates for dormant black holes (BHs) and neutron stars (NSs) in binaries using summary statistics from Gaia DR3, rather than full orbita…
SoK: Cryptographic Confidentiality of Data on Mobile Devices
Maximilian Zinkus, Tushar M. Jois, Matthew Green
Mobile devices have become an indispensable component of modern life. Their high storage capacity gives these devices the capability to store vast amounts of sensitive personal dat…
Unconventional domain tessellations in moiré-of-moiré lattices
Daesung Park, Changwon Park, Kunihiro Yananose +18
Imposing incommensurable periodicity on the periodic atomic lattice can lead to complex structural phases consisting of locally periodic structure bounded by topological defects. T…
Probable Dormant Neutron Star in a Short-Period Binary System
Tsevi Mazeh, Simchon Faigler, Dolev Bashi +24
We have identified 2XMM J125556.57+565846.4, at a distance of 600 pc, as a binary system consisting of a normal star and a probable dormant neutron star. Optical spectra exhibit a…
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye, Matthew Green, Naphat Sanguansin +3
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-bas…
PTF1 J082340.04+081936.5: A hot subdwarf B star with a low mass white dwarf companion in an 87 minute orbit
Thomas Kupfer, Jan van Roestel, Jared Brooks +19
We present the discovery of the hot subdwarf B star (sdB) binary PTF1 J082340.04+081936.5. The system has an orbital period P min (0.060761584(10) days), ma…