Meilof Veeningen

20 papers A* 1B 3Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2018 — conf
Enabling Analytics on Sensitive Medical Data with Secure Multi-Party Computation.
MIE
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
2018 B conf
Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification.
ACNS
Peter Sebastian Nordholt, Meilof Veeningen
2018 J jnl
Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification.
IACR Cryptol. ePrint Arch.
Peter Sebastian Nordholt, Meilof Veeningen
2017 — conf
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation.
AFRICACRYPT
Meilof Veeningen
2017 J jnl
Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation.
IACR Cryptol. ePrint Arch.
Meilof Veeningen
2016 — conf
Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming.
AFRICACRYPT
Sebastiaan de Hoogh, Berry Schoenmakers, Meilof Veeningen
2016 B conf
Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation.
ACNS
Berry Schoenmakers, Meilof Veeningen, Niels de Vreede
2015 J jnl
Guaranteeing Correctness in Privacy-Friendly Outsourcing by Certificate Validation.
IACR Cryptol. ePrint Arch.
Berry Schoenmakers, Meilof Veeningen
2015 — conf
Secure distributed key generation in attribute based encryption systems.
ICITST
Daniel Pletea, Saeed Sedghi, Meilof Veeningen, Milan Petkovic
2015 J jnl
Trinocchio: Privacy-Friendly Outsourcing by Distributed Verifiable Computation.
IACR Cryptol. ePrint Arch.
Berry Schoenmakers, Meilof Veeningen, Niels de Vreede
2015 B conf
Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems.
ACNS
Berry Schoenmakers, Meilof Veeningen
2015 J jnl
Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems.
IACR Cryptol. ePrint Arch.
Berry Schoenmakers, Meilof Veeningen
2014 J jnl
Data minimisation in communication protocols: a formal analysis framework and application to identity management.
Int. J. Inf. Sec.
Meilof Veeningen, Benne de Weger, Nicola Zannone
2013 — conf
Are On-Line Personae Really Unlinkable?
DPM/SETOP
Meilof Veeningen, Antonio Piepoli, Nicola Zannone
2013 — conf
Symbolic Privacy Analysis through Linkability and Detectability.
IFIPTM
Meilof Veeningen, Benne de Weger, Nicola Zannone
2013 A* conf
TRIPLEX: verifying data minimisation in communication systems.
CCS
Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone
2012 J jnl
Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management.
CoRR
Meilof Veeningen, Benne de Weger, Nicola Zannone
2012 — conf
Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy.
STM
Meilof Veeningen, Benne de Weger, Nicola Zannone
2011 Misc conf
Formal Privacy Analysis of Communication Protocols for Identity Management.
ICISS
Meilof Veeningen, Benne de Weger, Nicola Zannone
2010 — conf
Modeling Identity-Related Properties and Their Privacy Strength.
Formal Aspects in Security and Trust
Meilof Veeningen, Benne de Weger, Nicola Zannone