DHP Framework: Digital Health Passports Using Blockchain -- Use case on international tourism during the COVID-19 pandemic

Abstract

In order to contain the COVID-19 pandemic, several countries enforced extended social distancing measures for several weeks, effectively pausing the majority of economic activities. In an effort to resume economic activity safely, several Digital Contact Tracing applications and protocols have been introduced with success. However, DCT is a reactive method, as it aims to break existing chains of disease transmission in a population. Therefore DCT is not suitable for proactively preventing the spread of a disease; an approach that relevant to certain use cases, such as international tourism, where individuals travel across borders. In this work, we first identify the limitations characterising DCT related to privacy issues, unwillingness of the public to use DCT mobile apps due to privacy concerns, lack of interoperability among different DCT applications and protocols, and the assumption that there is limited, local mobility in the population. We then discuss the concept of a Health Passport as a means of verifying that individuals are disease risk-free and how it could be used to resume the international tourism sector. Following, we present the DHP Framework that uses a private blockchain and Proof of Authority for issuing Digital Health Passports. The framework provides a distributed infrastructure supporting the issuance of DHPs by foreign health systems and their verification by relevant stakeholders, such as airline companies and border control authorities. We discuss the attributes of the system in terms of its usability and performance, security and privacy. Finally, we conclude by identifying future extensions of our work on formal security and privacy properties that need to be rigorously guaranteed via appropriate security protocols.

References in corpus (2)

• TrES-1: The Transiting Planet of a Bright K0V Star
• The Librating Companions in HD 37124, HD 12661, HD 82943, 47 Uma and GJ 876: Alignment or Antialignment?

Cited by in corpus (265)

• Seven temperate terrestrial planets around the nearby ultracool dwarf star TRAPPIST-1
• EXOFAST: A fast exoplanetary fitting suite in IDL
• KEPLER's First Rocky Planet: Kepler-10b
• Dust filtration at gap edges: Implications for the spectral energy distributions of discs with embedded planets
• The Transit Light Curve Project. IX. Evidence for a Smaller Radius of the Exoplanet XO-3b
• Transit timing effects due to an exomoon
• Using Stellar Limb-Darkening to Refine the Properties of HD 209458b
• Kepler constraints on planets near hot Jupiters
• Kepler-62: A five-planet system with planets of 1.4 and 1.6 Earth radii in the Habitable Zone
• How to Characterize Habitable Worlds and Signs of Life
• Hubble Space Telescope times-series photometry of the planetary transit of HD189733: no moon, no rings, starspots
• The Transit Light Curve (TLC) Project. I. Four Consecutive Transits of the Exoplanet XO-1b
• A resonant chain of four transiting, sub-Neptune planets
• Alignment of the stellar spin with the orbits of a three-planet system
• PASTIS: Bayesian extrasolar planet validation. I. General framework, models, and performance
• TrES-2: The First Transiting Planet in the Kepler Field
• The Transit Light Curve Project. V. System Parameters and Stellar Rotation Period of HD 189733
• Analytic Approximations for Transit Light Curve Observables, Uncertainties, and Covariances
• Observable Consequences of Planet Formation Models in Systems with Close-in Terrestrial Planets
• Kepler Multi-Planet Systems Exhibit Unexpected Intra-system Uniformity in Mass and Radius
• TTVFast: An efficient and accurate code for transit timing inversion problems
• Eclipse Timing Variation Analyses of Eccentric Binaries with Close Tertiaries in the Kepler field
• Double-blind test program for astrometric planet detection with Gaia
• A global analysis of Spitzer and new HARPS data confirms the loneliness and metal-richness of GJ 436 b
• The L 98-59 System: Three Transiting, Terrestrial-Sized Planets Orbiting a Nearby M-dwarf
• A Dynamical Analysis of the Kepler-80 System of Five Transiting Planets
• The mass of the Mars-sized exoplanet Kepler-138 b from transit timing
• The period ratio distribution of Kepler's candidate multiplanet systems
• The Transit Light Curve Project. III. Tres Transits of TrES-1
• HEK VI: On the Dearth of Galilean Analogs in Kepler and the Exomoon Candidate Kepler-1625b I
• Large eccentricity, low mutual inclination: the three-dimensional architecture of a hierarchical system of giant planets
• Planets Transiting Non-Eclipsing Binaries
• Properties of analytic transit light curve models
• High accuracy transit photometry of the planet OGLE-TR-113b with a new deconvolution-based method
• Transit surveys for Earths in the habitable zones of white dwarfs
• Determination of the size, mass, and density of "exomoons" from photometric transit timing variations
• Using long-term transit timing to detect terrestrial planets
• Using Transit Timing Observations to Search for Trojans of Transiting Extrasolar Planets
• Measurement of planet masses with transit timing variations due to synodic "chopping" effects
• TESS Transit Timing of Hundreds of Hot Jupiters
• Early 2017 observations of TRAPPIST-1 with $\text{Spitzer}$
• Observational Constraints on Trojans of Transiting Extrasolar Planets
• Observability of the General Relativistic Precession of Periastra in Exoplanets
• A super-Earth and a sub-Neptune orbiting the bright, quiet M3 dwarf TOI-1266
• A transit timing analysis of nine RISE light curves of the exoplanet system TrES-3
• Five Kepler target stars that show multiple transiting exoplanet candidates
• The Transit Light Curve Project. XI. Submillimagnitude Photometry of Two Transits of the Bloated Planet WASP-4b
• The Transit Light Curve (TLC) Project. II. Two Transits of the Exoplanet OGLE-TR-111b
• Discovery of a Third Transiting Planet in the Kepler-47 Circumbinary System
• A ~5 M_earth Super-Earth Orbiting GJ 436?: The Power of Near-Grazing Transits
• Transiting planets - lightcurve analysis for eccentric orbits
• Detection of a transit by the planetary companion of HD 80606
• Identification, Classifications, and Absolute Properties of 773 Eclipsing Binaries Found in the TrES Survey
• A limit on the presence of Earth-mass planets around a Sun-like star
• A review of possible planetary atmospheres in the TRAPPIST-1 system
• Transit detection of the long-period volatile-rich super-Earth ${\nu }^2$ Lupi d with $CHEOPS$
• The mass of Beta Pictoris c from Beta Pictoris b orbital motion
• Benchmarking the power of amateur observatories for TTV exoplanets detection
• Planet Hunters VII. Discovery of a New Low-Mass, Low-Density Planet (PH3 c) Orbiting Kepler-289 with Mass Measurements of Two Additional Planets (PH3 b and d)
• Tidally-Induced Radius Inflation of Sub-Neptunes
• CHEOPS observations of the HD 108236 planetary system: A fifth planet, improved ephemerides, and planetary radii
• Refined parameters of the planet orbiting HD 189733
• WASP-4b Arrived Early for the TESS Mission
• Decaying Orbit of the Hot Jupiter WASP-12b: Confirmation with TESS Observations
• The Transiting System GJ1214: High-Precision Defocused Transit Observations and a Search for Evidence of Transit Timing Variation
• Low False-Positive Rate of Kepler Candidates Estimated From A Combination Of Spitzer And Follow-Up Observations
• Exoplanet Spectroscopy and Photometry with the Twinkle Space Telescope
• Warm Ice Giant GJ 3470b. II Revised Planetary and Stellar Parameters from Optical to Near-infrared Transit Photometry
• Updated parameters for the transiting exoplanet WASP-3b using RISE, a new fast camera for the Liverpool Telescope
• Periastron Precession Measurements in Transiting Extrasolar Planetary Systems at the Level of General Relativity
• The Transit Light Curve Project. VI. Three Transits of the Exoplanet TrES-2
• Revisiting the transits of CoRoT-7b at a lower activity level
• TOI-1136 is a Young, Coplanar, Aligned Planetary System in a Pristine Resonant Chain
• CKS VIII: Eccentricities of Kepler Planets and Tentative Evidence of a High Metallicity Preference for Small Eccentric Planets
• The Compositional Diversity of Low-Mass Exoplanets
• TRAPPIST-1: Global Results of the Spitzer Exploration Science Program {\it Red Worlds}
• Limits to the planet candidate GJ 436c
• Evidence for Hidden Nearby Companions to Hot Jupiters
• Transit Photometry of the Core-Dominated Planet HD 149026b
• Kepler-411: a four-planet system with an active host star
• Transit infrared spectroscopy of the hot neptune around GJ 436 with the Hubble Space Telescope
• TRADES: A new software to derive orbital parameters from observed transit times and radial velocities. Revisiting Kepler-11 and Kepler-9
• Precise Masses in the WASP-47 System
• An alternative interpretation of the exomoon candidate signal in the combined Kepler and Hubble data of Kepler-1625
• New Worlds on the Horizon: Earth-Sized Planets Close to Other Stars
• Could the 47 UMa Planetary System be a Second Solar System: predicting the Earth-like planets
• Architectures of Compact Super-Earth Systems Shaped by Instabilities
• Solar System Physics for Exoplanet Research
• MOST Spacebased Photometry of the Transiting Exoplanet System HD 189733: Precise Timing Measurements for Transits Across an Active Star
• Three Small Super-Earths Transiting the nearby star GJ 9827
• The Effect of Conjunctions on the Transit Timing Variations of Exoplanets
• ExoClock project II: A large-scale integrated study with 180 updated exoplanet ephemerides
• HARPS-N radial velocities confirm the low densities of the Kepler-9 planets
• A study of the performance of the transit detection tool DST in space-based surveys. Application of the CoRoT pipeline to Kepler data
• The Photoeccentric Effect and Proto-Hot Jupiters II. KOI-1474.01, a candidate eccentric planet perturbed by an unseen companion
• The Orbit and Mass of the Third Planet in the Kepler-56 System
• Millimagnitude Photometry for Transiting Extrasolar Planetary Candidates III: Accurate Radius and Period for OGLE-TR-111-b
• MOST Spacebased Photometry of the Transiting Exoplanet System HD 209458: Transit Timing to Search for Additional Planets
• Six High-Precision Transits of OGLE-TR-113b
• A Second Planet Transiting LTT 1445A and a Determination of the Masses of Both Worlds
• Predicting a third planet in the Kepler-47 circumbinary system
• Lack of Transit Timing Variations of OGLE-TR-111b: A re-analysis with six new epochs
• Predictions for the correlation between giant and terrestrial extrasolar planets in dynamically evolved systems
• Parameters and Predictions for the Long-Period Transiting Planet HD 17156b
• Long-Period Giant Companions to Three Compact, Multiplanet Systems
• Transit Timing Variations for Inclined and Retrograde Exoplanetary Systems
• KELT-16b: A highly irradiated, ultra-short period hot Jupiter nearing tidal disruption
• Stability of the Kepler-11 System and its Origin
• TASTE: The Asiago Search for Transit timing variations of Exoplanets. I. Overview and improved parameters for HAT-P-3b and HAT-P-14b
• K2-66b and K2-106b: Two extremely hot sub-Neptune-size planets with high densities
• Measuring the Galactic Distribution of Transiting Planets with WFIRST
• Circumbinary planets II - when transits come and go
• The transiting planet OGLE-TR-132b revisited with new spectroscopy and deconvolution photometry
• The Centurion 18 telescope of the Wise Observatory
• A resonant pair of warm giant planets revealed by TESS
• Five New Transits of the Super-Neptune HD 149026
• TASTE IV. Refining ephemeris and orbital parameters for HAT-P-20b and WASP-1b
• Eccentric Companions to Kepler-448b and Kepler-693b: Clues to the Formation of Warm Jupiters
• Classical and relativistic long-term time variations of some observables for transiting exoplanets
• Precise transit and radial-velocity characterization of a resonant pair: a warm Jupiter TOI-216c and eccentric warm Neptune TOI-216b
• Radiative Thrusters on Close-in Extrasolar Planets
• Linking long-term planetary $N$-body simulations with periodic orbits: application to white dwarf pollution
• Innocent Bystanders: Orbital Dynamics of Exomoons during Planet-Planet Scattering
• Kepler-210: An active star with at least two planets
• Original Research By Young Twinkle Students (ORBYTS): Ephemeris Refinement of Transiting Exoplanets
• A spectral approach to transit timing variations
• TOI-1130: A photodynamical analysis of a hot Jupiter in resonance with an inner low-mass planet
• The HD 260655 system: Two rocky worlds transiting a bright M dwarf at 10 pc
• A pair of warm giant planets near the 2:1 mean motion resonance around the K-dwarf star TOI-2202
• Detection of period variations in extrasolar transiting planet OGLE-TR-111b
• A super-Earth and a mini-Neptune near the 2:1 MMR straddling the radius valley around the nearby mid-M dwarf TOI-2096
• TTVs analysis in Southern Stars: the case of WASP-28
• Orbital instability of close-in exomoons in non-coplanar systems
• Unbiasing the density of TTV-characterised sub-Neptunes: Update of the mass-radius relationship of 34 Kepler planets
• A population of planetary systems characterized by short-period, Earth-sized planets
• A consistent analysis of three years of ground- and space-based photometry of TrES-2
• SOPHIE velocimetry of Kepler transit candidates XIV. A joint photometric, spectroscopic, and dynamical analysis of the Kepler-117 system
• Alleviating the transit timing variation bias in transit surveys. I. RIVERS: Method and detection of a pair of resonant super-Earths around Kepler-1705
• Secular dynamics of coplanar, non-resonant planetary system under the general relativity and quadrupole moment perturbations
• On the Stability of Extrasolar Planetary Systems and other Closely Orbiting Pairs
• Origin and Stability of Exomoon Atmospheres - Implications for Habitability
• Detectability of Exoplanetary Transits from Radial Velocity Surveys
• Discarding orbital decay in WASP-19b after one decade of transit observations
• Distinguishing Polar and Co-planar Circumbinary Exoplanets by Eclipsing Timing Variations
• When, where, and how many planets end up in first-order resonances?
• HD 28109 hosts a trio of transiting Neptunian planets including a near-resonant pair, confirmed by ASTEP from Antarctica
• On the Search For Transits of the Planets Orbiting Gl 876
• Dynamics and Origins of the Near-Resonant Kepler Planets
• Probing Transit Timing Variation and its Possible Origin with Twelve New Transits of TrES-3b
• Photo-Dynamical Analysis of Three Kepler Objects of Interest with Significant Transit Timing Variations
• Two super-Earths at the edge of the habitable zone of the nearby M dwarf TOI-2095
• Transit least-squares survey - I. Discovery and validation of an Earth-sized planet in the four-planet system K2-32 near the 1:2:5:7 resonance
• The binary mass ratios of circumbinary planet hosts
• On the potentially dramatic history of the super-Earth rho 55 Cancri e
• The six-planet resonant chain of HD 110067
• Transit Timing Variations in the three-planet system: TOI-270
• TRAPPIST-1: Dynamical analysis of the transit-timing variations and origin of the resonant chain
• Visual Analysis and Demographics of Kepler Transit Timing Variations
• Kepler-90: Giant transit-timing variations reveal a super-puff
• Two Super-Earths in the 3:2 MMR around KOI-1599
• celmech: A Python package for celestial mechanics
• Exciting the TTV Phases of Resonant Sub-Neptunes
• A Simplified Photodynamical Model for Planetary Mass Determination in Low-Eccentricity Multi-Transiting Systems
• SuperWASP-North Extrasolar Planet Candidates. Candidates from Fields 17hr < RA < 18hr
• TESS Observations of Kepler systems with Transit Timing Variations
• The GAPS Programme at TNG: XXXVI. Measurement of the Rossiter-McLaughlin effect and revising the physical and orbital parameters of the HAT-P-15, HAT-P-17, HAT-P-21, HAT-P-26, HAT-P-29 eccentric planetary systems
• Parametrized Post-Newtonian Orbital Effects in Extrasolar Planets
• Life on Exoplanets In the Habitable Zone of M-Dwarfs?
• APOSTLE: Eleven Transit Observations of TrES-3b
• The origin and 9:7 MMR dynamics of the Kepler-29 system
• Updated Catalog of Kepler Planet Candidates: Focus on Accuracy and Orbital Periods
• A differentiable N-body code for transit timing and dynamical modeling. I. Algorithm and derivatives
• Searching for the Transit of the Earth--mass exoplanet Proxima~Centauri~b in Antarctica: Preliminary Result
• No variations in transit times for Qatar-1 b
• On the radial velocity detection of additional planets in transiting, slowly rotating M-dwarf systems: the case of GJ 1132
• TASTE V. A new ground-based investigation of orbital decay in the ultra-hot Jupiter WASP-12b
• Characterisation of the Warm-Jupiter TOI-1130 system with CHEOPS and photo-dynamical approach
• A search for transit timing variations and orbital decay in WASP-46b
• Dynamics and Collisional Evolution of Closely Packed Planetary Systems
• Constraining the Densities of the Three Kepler-289 Planets with Transit Timing Variations
• Transiting Exoplanet Monitoring Project (TEMP). III. On the Relocation of the Kepler-9~b Transit
• Sculpting the circumbinary planet size distribution through resonant interactions with companion planets
• Photodynamical analysis of the nearly resonant planetary system WASP-148: Accurate transit-timing variations and mutual orbital inclination
• Qatar Exoplanet Survey: Qatar-6b -- a grazing transiting hot Jupiter
• Power of wavelets in analyses of transit and phase curves in the presence of stellar variability and instrumental noise. II. Accuracy of the transit parameters
• Signatures of impact-driven atmospheric loss in large ensembles of exoplanets
• A dense mini-Neptune orbiting the bright young star HD 18599
• Jupiter and Super-Earth embedded in a gaseous disc
• Searching for transit timing variations in transiting exoplanet systems
• Where to Find Habitable "Earths" in Circumbinary Systems
• A spider timing model: accounting for quadrupole deformations and relativity in close pulsar binaries
• Probing Transit Timing Variations of Three Hot-Jupiters: HATP-36b, HATP-56b, and WASP-52b
• Exomoons in Systems with a Strong Perturber: Applications to $\alpha$ Cen AB
• Alleviating the Transit Timing Variations bias in transit surveys. II. RIVERS: Twin resonant Earth-sized planets around Kepler-1972 recovered from Kepler's false positive
• Transits Probabilities Around Hypervelocity and Runaway Stars
• TEE, a simple estimator for the precision of eclipse and transit minimum times
• A young progenitor for the most common planetary systems in the Galaxy
• The Stability of Tidal Equilibrium for Hierarchical Star-Planet-Moon Systems
• Planet Hunters TESS III: two transiting planets around the bright G dwarf HD 152843
• Searching for the secondary eclipse of CoRoT-Exo-2b and its transit timing variations
• Significant mutual inclinations between the stellar spin and the orbits of both planets in the HAT-P-11 system
• Transits and secondary eclipses of HD 189733 with Spitzer
• TOI-1749: an M dwarf with a Trio of Planets including a Near-Resonant Pair
• A search for transit timing variations in the HATS-18 planetary system
• WASP-35 and HAT-P-30/WASP-51: re-analysis using TESS and ground-based transit photometry
• The Transit Timing and Atmosphere of Hot Jupiter HAT-P-37b
• TOI-4504: Exceptionally large Transit Timing Variations induced by two resonant warm gas giants in a three planet system
• A close outer companion to the ultra-hot Jupiter TOI-2109 b?
• Measuring accurate transit parameters
• Characterization of the HD 108236 system with CHEOPS and TESS. Confirmation of a fifth transiting planet
• An Accurate 3D Analytic Model for Exoplanetary Photometry, Radial Velocity, and Astrometry
• Kepler-80 Revisited: Assessing the Participation of a Newly Discovered Planet in the Resonant Chain
• A highly mutually-inclined, compact warm-Jupiter system KOI-984 ?
• Validation of a Third Planet in the LHS 1678 System
• The study on transiting systems HAT-P-13, HAT-P-16 and WASP-32 through combining ground-based and TESS photometry
• Terrestrial Planet Formation in Extra-Solar Planetary Systems
• Transit Depth Variations Reveal TOI-216 b to be a Super-Puff
• Long-Term Evolution in Transit Duration of Extrasolar Planets from Magnetic Activity in their Parent Stars
• The inflated, eccentric warm Jupiter TOI-4914 b orbiting a metal-poor star, and the hot Jupiters TOI-2714 b and TOI-2981 b
• WASP-92, WASP-93 and WASP-118: Transit timing variations and long-term stability of the systems
• NGTS-21b: An Inflated Super-Jupiter Orbiting a Metal-poor K dwarf
• The young planetary system K2-25: constraints on companions and starspots
• Tentative Evidence for Transit Timing Variations of WASP-161b
• Radii, masses, and transit-timing variations of the three-planet system orbiting the naked-eye star TOI-396
• The K2-24 planetary system revisited by CHEOPS
• Mathematical encoding within multi-resonant planetary systems as SETI beacons
• The GAPS Programme at TNG. LXV. Precise density measurement of TOI-1430 b, a young planet with an evaporating atmosphere
• A super-Earth and a mini-Neptune around Kepler-59
• A homogeneous TTV investigation of all TESS systems with a confirmed single transiting planet
• Search for Super Earths by Timing of Transits with CoRoT
• Transits of Planets with Small Intervals in Circumbinary Systems
• What to Expect from Transiting Multiplanet Systems
• The Dynamics of Co-orbital Giant Exomoons -- Applications for the Kepler-1625 b and Kepler-1708 b Satellite Systems
• Constraining Planetary Formation Models Using Conditional Occurrences of Various Planet Types
• Transit Timing Variations in HIP 41378: CHEOPS and TESS confirm a non-transiting sixth planet in the system
• A joint effort to discover and characterize two resonant mini Neptunes around TOI-1803 with TESS, HARPS-N and CHEOPS
• The Exoplanet Edge: Planets Don't Induce Observable TTVs with a Dominant TTV Period Faster than Half their Orbital Period
• The NASA EPOXI mission of opportunity to gather ultraprecise photometry of known transiting exoplanets
• Constellations of co-orbital planets: horseshoe dynamics, long-term stability, transit timing variations, and potential as SETI beacons
• Transit timing variations, radial velocities and long-term dynamical stability of the system Kepler-410
• How to Find a Planet from Transit Variations
• Search for a circum-planetary material and orbital period variations of short-period Kepler exoplanet candidates
• Discovery and Characterization of Kepler-36b
• The case for a close-in perturber to GJ 436 b
• Mass Upper Bounds for Over 50 Kepler Planets Using Low-S/N Transit Timing Variations
• Mass Derivation of planets K2-21b and K2-21c from Transit Timing Variations
• Angular momentum distributions for observed and modeled exoplanetary systems
• A transiting rocky super-Earth and a non-transiting sub-Neptune orbiting the M dwarf TOI-771
• Nauyaca: a new tool to determine planetary masses and orbital elements through transit timing analysis
• Glimpses of stellar surfaces. II. Origins of the photometric modulations and timing variations of KOI-1452
• TrES-1 b: A Case Study in Detecting Secular Evolution of Exoplanet Orbits
• A differentiable N-body code for transit timing and dynamical modelling -- II. Photodynamics
• Preliminary Results on HAT-P-4, TrES-3, XO-2, and GJ 436 from the NASA EPOXI Mission
• The multi-planet system TOI-5624: Four transiting sub-Neptunes with an outer companion revealed by transit-timing variations
• Stability of exoplanetary systems retrieved from scalar time series
• The impact of photospheric brightness field on exoplanetary transit timings and the TTV excess of HD 189733 b
• Transit Timing Variations of the Sub-Saturn Exoplanet HAT-P-12b
• Accounting for Transit Timing Detectability: Biases in Planetary Radius and Orbital Period
• Exploring Long-period Architectures: Four New Planet Candidates from Kepler with Periods >342 days
• Detection of periodic transit timing variations in warm sub-Saturn HD 332231 b
• TOI-333b: A Neptune Desert planet around a F7V star
• Characterization of the Visual Binary TOI-6883AB and its dynamical implications for the planetary companion TOI-6883Ab
• Characterizing the WASP-4 system with TESS and radial velocity data: Constraints on the cause of the hot Jupiter's changing orbit and evidence of an outer planet
• L 98-59: a Benchmark System of Small Planets for Future Atmospheric Characterization
• Modeling the Solar System I: Characterization Limits from Analytic Timing Variations