C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.
Arthur Américo
Artur Vaz
Mário S. Alvim
Sérgio Vale Aguiar Campos
Annabelle McIver
Published in:
SBMF (2017)
Keyphrases
</>
formal analysis
payment protocol
information leakage
personal information
sensitive information
formal methods
secret information
agent model
artificial intelligence
data collection