Export RPI Keys

[tkerby]

Would be really useful to be able to export RPI keys (perhaps a CSV file) with their appropriate time period. You've got really useful comparison in the app, but it would be interesting to compare to other data sources

[mh-]

@tkerby this project mainly handles Diagnosis Keys (DK) which you would download from national health authorities servers. Is your request about DKs, or about the RPIs that your phone collects?

[tkerby]

Apologies, there are so many variants of names fo the different keys in use.

My understanding is that the Temporary Exposure Keys are made available from national health authorities along with the window data for their validity. From these, you can generate the keys which are then compared with the RPI data collected over Bluetooth.

I'm looking at logging the Bluetooth data (which I know you allow input through RamBLE and others) then comparing with the derived keys (that should match the RPIs). To do this, I'd need to export the large set of derived keys and their validity times.

Also, out of interest, I see you also support comparison with a csv file. Do you have any info on what app is creating this or the data format?

Thanks for the help

[mh-]

Yes, this script also supports matching, see

Another example run:
% ./parse_keys.py -c app_contact-tracing-contact-record-db/ -d tekExport.zip -l -s

The .csv file is based on an export from a rooted Android device. The export tooling is located in another (private) GitHub repo.