Checking Contact Tracing App Implementations with Bespoke Static Analysis

Robert Flood, Sheung Chi Chan, Wei Chen, David Aspinall 0001. Checking Contact Tracing App Implementations with Bespoke Static Analysis. SN Computer Science, 3(6):496, 2022. [doi]

Authors

Robert Flood

This author has not been identified. Look up 'Robert Flood' in Google

Sheung Chi Chan

This author has not been identified. Look up 'Sheung Chi Chan' in Google

Wei Chen

This author has not been identified. Look up 'Wei Chen' in Google

David Aspinall 0001

This author has not been identified. Look up 'David Aspinall 0001' in Google