ChainGuard: Verified Data Intake for a Track & Trace Blockchain.

Andr Avelar, Samih Eisa, Orlando Remdios, Miguel L. Pardal

Browse the full EDCC paper archive.