( en | de | ru )

 

Disambiguation of "Veeningen, Meilof"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Privacy Analysis through Linkability and Detectability.

, , and . IFIPTM, volume 401 of IFIP Advances in Information and Communication Technology, page 1-16. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Veeningen, Meilof
add a person with the name Veeningen, Meilof
 

Other publications of authors with the same name

TRIPLEX: verifying data minimisation in communication systems., , , and . ACM Conference on Computer and Communications Security, page 1415-1418. ACM, (2013)Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation., , and . ACNS, volume 9696 of Lecture Notes in Computer Science, page 346-366. Springer, (2016)Symbolic Privacy Analysis through Linkability and Detectability., , and . IFIPTM, volume 401 of IFIP Advances in Information and Communication Technology, page 1-16. Springer, (2013)Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management., , and . CoRR, (2012)Are On-Line Personae Really Unlinkable?, , and . DPM/SETOP, volume 8247 of Lecture Notes in Computer Science, page 369-379. Springer, (2013)Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy., , and . STM, volume 7783 of Lecture Notes in Computer Science, page 145-160. Springer, (2012)Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming., , and . AFRICACRYPT, volume 9646 of Lecture Notes in Computer Science, page 265-284. Springer, (2016)Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification., and . ACNS, volume 10892 of Lecture Notes in Computer Science, page 321-339. Springer, (2018)Formal Privacy Analysis of Communication Protocols for Identity Management., , and . ICISS, volume 7093 of Lecture Notes in Computer Science, page 235-249. Springer, (2011)Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation.. AFRICACRYPT, volume 10239 of Lecture Notes in Computer Science, page 21-39. (2017)