Meilof Veeningen

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 7

Top Topics

Communication Protocol

Linear Programming

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Meilof Veeningen, Supriyo Chatterjea, Anna Zsófia Horváth, Gerald Spindler, Eric Boersma, Peter van der Spek, Onno van der Galiën, Job Gutteling, Wessel Kraaij, Thijs Veugen
Enabling Analytics on Sensitive Medical Data with Secure Multi-Party Computation. MIE (2018)
Peter Sebastian Nordholt, Meilof Veeningen
Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification. IACR Cryptol. ePrint Arch. 2018 (2018)
Peter Sebastian Nordholt, Meilof Veeningen
Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification. ACNS (2018)
Meilof Veeningen
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation. IACR Cryptol. ePrint Arch. 2017 (2017)
Meilof Veeningen
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation. AFRICACRYPT (2017)
Berry Schoenmakers, Meilof Veeningen, Niels de Vreede
Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation. ACNS (2016)
Sebastiaan de Hoogh, Berry Schoenmakers, Meilof Veeningen
Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming. AFRICACRYPT (2016)
Berry Schoenmakers, Meilof Veeningen, Niels de Vreede
Trinocchio: Privacy-Friendly Outsourcing by Distributed Verifiable Computation. IACR Cryptol. ePrint Arch. 2015 (2015)
Berry Schoenmakers, Meilof Veeningen
Guaranteeing Correctness in Privacy-Friendly Outsourcing by Certificate Validation. IACR Cryptol. ePrint Arch. 2015 (2015)
Daniel Pletea, Saeed Sedghi, Meilof Veeningen, Milan Petkovic
Secure distributed key generation in attribute based encryption systems. ICITST (2015)
Berry Schoenmakers, Meilof Veeningen
Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems. ACNS (2015)
Berry Schoenmakers, Meilof Veeningen
Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems. IACR Cryptol. ePrint Arch. 2015 (2015)
Meilof Veeningen, Benne de Weger, Nicola Zannone
Data minimisation in communication protocols: a formal analysis framework and application to identity management. Int. J. Inf. Sec. 13 (6) (2014)
Meilof Veeningen, Antonio Piepoli, Nicola Zannone
Are On-Line Personae Really Unlinkable? DPM/SETOP (2013)
Meilof Veeningen, Benne de Weger, Nicola Zannone
Symbolic Privacy Analysis through Linkability and Detectability. IFIPTM (2013)
Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone
TRIPLEX: verifying data minimisation in communication systems. CCS (2013)
Meilof Veeningen, Benne de Weger, Nicola Zannone
Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management. CoRR (2012)
Meilof Veeningen, Benne de Weger, Nicola Zannone
Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy. STM (2012)
Meilof Veeningen, Benne de Weger, Nicola Zannone
Formal Privacy Analysis of Communication Protocols for Identity Management. ICISS (2011)
Meilof Veeningen, Benne de Weger, Nicola Zannone
Modeling Identity-Related Properties and Their Privacy Strength. Formal Aspects in Security and Trust (2010)