Meilof Veeningen

According to our database, Meilof Veeningen authored at least 16 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification.

Peter Sebastian Nordholt, Meilof Veeningen

IACR Cryptol. ePrint Arch., 2018

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

Proceedings of the Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, 2018

2017

Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation.

Meilof Veeningen

IACR Cryptol. ePrint Arch., 2017

2016

Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming.

Sebastiaan de Hoogh, Berry Schoenmakers, Meilof Veeningen

Proceedings of the Progress in Cryptology - AFRICACRYPT 2016, 2016

Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation.

Berry Schoenmakers, Meilof Veeningen, Niels de Vreede

Proceedings of the Applied Cryptography and Network Security, 2016

2015

Trinocchio: Privacy-Friendly Outsourcing by Distributed Verifiable Computation.

Berry Schoenmakers, Meilof Veeningen, Niels de Vreede

IACR Cryptol. ePrint Arch., 2015

Guaranteeing Correctness in Privacy-Friendly Outsourcing by Certificate Validation.

Berry Schoenmakers, Meilof Veeningen

IACR Cryptol. ePrint Arch., 2015

Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems.

Berry Schoenmakers, Meilof Veeningen

IACR Cryptol. ePrint Arch., 2015

Secure distributed key generation in attribute based encryption systems.

Daniel Pletea, Saeed Sedghi, Meilof Veeningen, Milan Petkovic

Proceedings of the 10th International Conference for Internet Technology and Secured Transactions, 2015

2014

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

2013

Symbolic Privacy Analysis through Linkability and Detectability.

Meilof Veeningen, Benne de Weger, Nicola Zannone

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Are On-Line Personae Really Unlinkable?

Meilof Veeningen, Antonio Piepoli, Nicola Zannone

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

TRIPLEX: verifying data minimisation in communication systems.

Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy.

Meilof Veeningen, Benne de Weger, Nicola Zannone

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

2011

Formal Privacy Analysis of Communication Protocols for Identity Management.

Meilof Veeningen, Benne de Weger, Nicola Zannone

Proceedings of the Information Systems Security - 7th International Conference, 2011

2010

Modeling Identity-Related Properties and Their Privacy Strength.

Meilof Veeningen, Benne de Weger, Nicola Zannone

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010