Modeling Identity-Related Properties and Their Privacy Strength. - Meilof Veeningen; Benne de Weger; Nicola Zannone (Formal Aspects in Security and Trust, 2010)

Formal Privacy Analysis of Communication Protocols for Identity Management. - Meilof Veeningen; Benne de Weger; Nicola Zannone (ICISS, 2011)

Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy. - Meilof Veeningen; Benne de Weger; Nicola Zannone (STM, 2012)

TRIPLEX: verifying data minimisation in communication systems. - Meilof Veeningen; Mayla Brusò; Jerry den Hartog; Nicola Zannone (CCS, 2013)

Are On-Line Personae Really Unlinkable? - Meilof Veeningen; Antonio Piepoli; Nicola Zannone (DPM/SETOP, 2013)

Symbolic Privacy Analysis through Linkability and Detectability. - Meilof Veeningen; Benne de Weger; Nicola Zannone (IFIPTM, 2013)

Data minimisation in communication protocols: a formal analysis framework and application to identity management. - Meilof Veeningen; Benne de Weger; Nicola Zannone (Int. J. Inf. Sec., 2014)

Secure distributed key generation in attribute based encryption systems. - Daniel Pletea; Saeed Sedghi; Meilof Veeningen; Milan Petkovic (ICITST, 2015)

Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems. - Berry Schoenmakers; Meilof Veeningen (IACR Cryptol. ePrint Arch., 2015)

Guaranteeing Correctness in Privacy-Friendly Outsourcing by Certificate Validation. - Berry Schoenmakers; Meilof Veeningen (IACR Cryptol. ePrint Arch., 2015)

Trinocchio: Privacy-Friendly Outsourcing by Distributed Verifiable Computation. - Berry Schoenmakers; Meilof Veeningen; Niels de Vreede (IACR Cryptol. ePrint Arch., 2015)

Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation. - Berry Schoenmakers; Meilof Veeningen; Niels de Vreede (ACNS, 2016)

Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming. - Sebastiaan de Hoogh; Berry Schoenmakers; Meilof Veeningen (AFRICACRYPT, 2016)

Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation. - Meilof Veeningen (IACR Cryptol. ePrint Arch., 2017)

Enabling Analytics on Sensitive Medical Data with Secure Multi-Party Computation. - Meilof Veeningen; Supriyo Chatterjea; Anna Zsófia Horváth; Gerald Spindler; Eric Boersma; Peter J. van der Spek; Onno van der Galiën; Job Gutteling; Wessel Kraaij; Thijs Veugen (MIE, 2018)

Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification. - Peter Sebastian Nordholt; Meilof Veeningen (IACR Cryptol. ePrint Arch., 2018)