作者: Roberto Di Pietro , Pietro Tedeschi , Spiridon Bakiras
DOI:
关键词: Field (computer science) 、 Variety (cybernetics) 、 Privacy preserving 、 Computer security 、 Contact tracing 、 Computer science 、 Overhead (computing) 、 Protocol (object-oriented programming) 、 Cryptographic protocol
摘要: … In Section 5.3 we analyze the privacy properties of our protocol in comparison to the existing state-of-the-art approaches and, finally, in Section 5.4, we provide a formal verification of …