From post

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.

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

Другие публикации лиц с тем же именем

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