CVE-2020-26230 (Kotlin, published 2020-11-13T19:15Z)
Description: value: Radar COVID is the official COVID-19 exposure notification app for Spain. In affected versions of Radar COVID, identification and de-anonymization of COVID-19 positive users that upload Radar COVID TEKs to the Radar COVID server is possible. This vulnerability enables the identification and de-anonymization of COVID-19 positive users when using Radar COVID. The vulnerability is caused by the fact that Radar COVID connections to the server (uploading of TEKs to the backend) are only made by COVID-19 positives. Therefore, any on-path observer with the ability to monitor traffic between the app and the server can identify which users had a positive test. Such an adversary can be the mobile network operator (MNO) if the connection is done through a mobile network, the Internet Service Provider (ISP) if the connection is done through the Internet (e.g., a home network), a VPN provider used by the user, the local network operator in the case of enterprise networks, or any eavesdropper with access to the same network (WiFi or Ethernet) as the user as could be the case of public WiFi hotspots deployed at shopping centers, airports, hotels, and coffee shops. The attacker may also de-anonymize the user. For this additional stage to succeed, the adversary needs to correlate Radar COVID traffic to other identifiable information from the victim. This could be achieved by associating the connection to a contract with the name of the victim or by associating Radar COVID traffic to other user-generated flows containing identifiers in the clear (e.g., HTTP cookies or other mobile flows sending unique identifiers like the IMEI or the AAID without encryption). The former can be executed, for instance, by the Internet Service Provider or the MNO. The latter can be executed by any on-path adversary, such as the network provider or even the cloud provider that hosts more than one service accessed by the victim. The farther the adversary is either from the victim (the client) or the end-point (the server), the less likely it may be that the adversary has access to re-identification information. The vulnerability has been mitigated with the injection of dummy traffic from the application to the backend. Dummy traffic is generated by all users independently of whether they are COVID-19 positive or not. The issue was fixed in iOS in version 1.0.8 (uniform distribution), 1.1.0 (exponential distribution), Android in version 1.0.7 (uniform distribution), 1.1.0 (exponential distribution), Backend in version 1.1.2-RELEASE. For more information see the referenced GitHub Security Advisory.
Severity: LOW (CVSS v3 base score: 5.3)
Weakness: CWE-200 \u2014 Exposure of Sensitive Information to an Unauthorized Actor
The product exposes sensitive information to an actor that is not explicitly authorized to have access to that information.
Repository: https://github.com/RadarCOVID/radar-covid-android
Files changed:
app/src/main/java/es/gob/radarcovid/RadarCovidApplication.kt
app/src/main/java/es/gob/radarcovid/datamanager/repository/PreferencesRepository.kt
app/src/main/java/es/gob/radarcovid/datamanager/repository/PreferencesRepositoryImpl.kt
app/src/main/java/es/gob/radarcovid/features/worker/FakeInfectionReportWorker.kt
Commit message: *Added exponential interval for fake request


Vulnerable code:
        FakeInfectionReportWorker.start(this)
import kotlin.random.Random
        fun start(context: Context) {
            start(context, getRandomDelay(), ExistingWorkPolicy.KEEP)
            delayInMinutes: Long,
                    .setInitialDelay(delayInMinutes, TimeUnit.MINUTES)
        private fun getRandomDelay(): Long = Random.nextLong(180, 360)
        if (BuildConfig.DEBUG)
            DP3T.addWorkerStartedToHistory(applicationContext, TAG)
        reportFakeInfectionUseCase.reportFakeInfection().subscribe()
        start(applicationContext, getRandomDelay(), ExistingWorkPolicy.APPEND)
    

Fixed code:
import es.gob.radarcovid.datamanager.repository.PreferencesRepository
    @Inject
    lateinit var preferencesRepository: PreferencesRepository

        FakeInfectionReportWorker.start(this, preferencesRepository)
    fun getTDummy(): Long

    fun setTDummy(time: Long)

        private const val KEY_T_DUMMY = "KEY_T_DUMMY"
    override fun getTDummy(): Long {
        return preferences.getLong(KEY_T_DUMMY, -1)
    }

    override fun setTDummy(time: Long) {
        preferences.edit().putLong(KEY_T_DUMMY, time).apply()
    }

import es.gob.radarcovid.datamanager.repository.PreferencesRepository
import java.security.SecureRandom


private const val FACTOR_HOUR_MILLIS = 60 * 60 * 1000L
private const val FACTOR_DAY_MILLIS: Long = 24 * FACTOR_HOUR_MILLIS
private const val MAX_DELAY_HOURS: Long = 48
private val SAMPLING_RATE =
    if (BuildConfig.DEBUG) 1.0f else 0.2f
private const val KEY_T_DUMMY = "KEY_T_DUMMY"
        private var clock: Clock = ClockImpl()

        fun start(context: Context, preferencesRepository: PreferencesRepository) {
            var tDummy: Long = preferencesRepository.getTDummy()
            if (tDummy == -1L) {
                tDummy = clock.currentTimeMillis() + clock.syncInterval()
                preferencesRepository.setTDummy(tDummy)
            }
            start(context, tDummy, ExistingWorkPolicy.KEEP)
            tDummy: Long,

            val now = clock.currentTimeMillis()
            val executionDelay = 0L.coerceAtLeast(tDummy - now)
            val executionDelayDays =
                executionDelay / FACTOR_DAY_MILLIS

                    .setInitialDelay(executionDelayDays, TimeUnit.MINUTES)
                    .setInputData(Data.Builder().putLong(KEY_T_DUMMY, tDummy).build())
        //private fun getRandomDelay(): Long = Random.nextLong(180, 360)
    @Inject
    lateinit var preferencesRepository: PreferencesRepository

        val now = clock.currentTimeMillis()
        var tDummy = inputData.getLong(KEY_T_DUMMY, now)
        while (tDummy < now) {
            if (tDummy >= now - FACTOR_HOUR_MILLIS * MAX_DELAY_HOURS) {
                if (BuildConfig.DEBUG)
                    DP3T.addWorkerStartedToHistory(applicationContext, TAG)
                reportFakeInfectionUseCase.reportFakeInfection().subscribe()
            }
            tDummy += clock.syncInterval();
            preferencesRepository.setTDummy(tDummy)
        }

        start(applicationContext, tDummy, ExistingWorkPolicy.APPEND)

    interface Clock {
        fun syncInterval(): Long
        fun currentTimeMillis(): Long
    }

    class ClockImpl : Clock {
        override fun syncInterval(): Long {
            val newDelayDays: Double =
                ExponentialDistribution.sampleFromStandard() / SAMPLING_RATE
            return (newDelayDays * FACTOR_DAY_MILLIS) as Long
        }

        override fun currentTimeMillis(): Long {
            return System.currentTimeMillis()
        }
    }

    object ExponentialDistribution {
        fun sampleFromStandard(): Double {
            val random = SecureRandom()
            return -Math.log(1.0 - random.nextDouble())
        }
    }