Meilof Veeningen

Philips (Netherlands) — Netherlands

Computer Science · Physical Sciences

8h-index205citations23works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Cryptography and Data Security(18), Privacy-Preserving Technologies in Data(6), Advanced Authentication Protocols Security(6), Access Control and Trust(5), User Authentication and Security Systems(4)

Publications23 total

Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification
Lecture notes in computer science·2018· 37 citedOpen Access
Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification.
IACR Cryptology ePrint Archive·2018
Enabling Analytics on Sensitive Medical Data with Secure Multi-Party Computation
Studies in health technology and informatics·2018· 13 citedOpen Access
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation.
IACR Cryptology ePrint Archive·2017
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation
Lecture notes in computer science·2017· 12 cited
Certificate Validation In Secure Computation And Its Use In Verifiable Linear Programming
2016Open Access
Trinocchio: Privacy-Preserving Outsourcing By Distributed Verifiable Computation
INFM-OAR (INFN Catania)·2016Open Access
Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation
Lecture notes in computer science·2016· 29 cited
Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming
Lecture notes in computer science·2016· 7 cited
Secure distributed key generation in attribute based encryption systems
2015· 5 cited
Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems
Lecture notes in computer science·2015· 46 cited
Universally verifiable multiparty computation from threshold homomorphic cryptosystems
IACR Cryptology ePrint Archive·2015
Data minimisation in communication protocols: a formal analysis framework and application to identity management
International Journal of Information Security·2014· 6 cited
Are On-Line Personae Really Unlinkable?
Lecture notes in computer science·2014· 10 cited
POSTER: TRIPLEX
2013· 1 cited
Symbolic Privacy Analysis through Linkability and Detectability
IFIP advances in information and communication technology·2013· 5 citedOpen Access
Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy
Lecture notes in computer science·2013· 5 cited
TRIPLEX: verifying data minimisation in communication systems.
2013· 1 cited
Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management
arXiv (Cornell University)·2012Open Access
Data Minimisation in Communication Protocols: A Formal Analysis\n Framework and Application to Identity Management
arXiv (Cornell University)·2012Open Access
page 1 of 2Next →

Frequent Co-authors

Nicola Zannone(11), Benne de Weger(7), Berry Schoenmakers(6), Peter Sebastian Nordholt(2), Niels de Vreede(2), Sebastiaan de Hoogh(2), Mayla Brusò(2), Jerry den Hartog(2), Supriyo Chatterjea(1), Anna Zsófia Horváth(1), Gerald Spindler(1), Eric Boersma(1), Peter J. van der Spek(1), Onno van der Galiën(1), Job Gutteling(1), Wessel Kraaij(1), Thijs Veugen(1), Antonio Piepoli(1), Daniel Pletea(1), Saeed Sedghi(1)