214 citations · 280 across the 5 of their papers we have counts for
6 papers
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
Son Ho, Cédric Fournet, Jonathan Protzenko +7
We develop a new methodology for verifying cryptographic software. We target production code written in Rust for performance and system integration, rather than verification conven…
OGLE-2015-BLG-1649Lb: A gas giant planet around a low-mass dwarf
Masayuki Nagakane, Chien-Hsiu Lee, Naoki Koshimoto +66
We report the discovery of an exoplanet in microlensing event OGLE-2015-BLG-1649. The planet/host-star mass ratio is and the projected separation normalized…
Physical properties and transmission spectrum of the WASP-74 planetary system from multi-band photometry
L. Mancini, J. Southworth, P. Molliere +32
We present broad-band photometry of eleven planetary transits of the hot Jupiter WASP-74b, using three medium-class telescopes and employing the telescope-defocussing technique. Mo…
OGLE-2016-BLG-1190Lb: First Spitzer Bulge Planet Lies Near the Planet/Brown-Dwarf Boundary
Y. -H. Ryu, J. C. Yee, A. Udalski +106
We report the discovery of OGLE-2016-BLG-1190Lb, which is likely to be the first Spitzer microlensing planet in the Galactic bulge/bar, an assignation that can be confirmed by two…
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication
Peter Birkner, Patrick Longa, Francesco Sica
The GLV method of Gallant, Lambert and Vanstone (CRYPTO 2001) computes any multiple of a point of prime order lying on an elliptic curve with a low-degree endomorphism…
Formation of asteroid pairs by rotational fission
P. Pravec, D. Vokrouhlicky, D. Polishook +23
Asteroid pairs sharing similar heliocentric orbits were found recently. Backward integrations of their orbits indicated that they separated gently with low relative velocities, but…