TY  - GEN
AU  - Eekelen, M. van
PY  - 2017
UR  - https://hdl.handle.net/2066/168698
TI  - Hoe voorkom je een ramp met een kerncentrale, raket of waterkering?
N1  - Universiteit van Nederland
N1  - Amsterdam : [s.n.]
ER  - 
TY  - JOUR
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/173205
TI  - Learning as a Machine: Crossovers between Humans and Machines
EP  - 23
SN  - 1929-7750
IS  - iss. 1
SP  - 6
JF  - Journal of Learning Analytics
VL  - vol. 4
DO  - http://dx.doi.org/10.18608/jla.2017.41.3
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173205/173205.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Dong, N.
AU  - Jonker, H.L.
AU  - Pang, J.
PY  - 2017
UR  - https://hdl.handle.net/2066/173190
TI  - Formal modelling and analysis of receipt-free auction protocols in applied pi
EP  - 432
SN  - 0167-4048
SP  - 405
JF  - Computers & Security
VL  - vol. 65
DO  - http://dx.doi.org/10.1016/j.cose.2016.09.002
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173190/173190.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Verbeek, F.
AU  - Yaghini, P.M.
AU  - Eghbal, A.
AU  - Bagherzadeh, N.
PY  - 2017
UR  - https://hdl.handle.net/2066/168686
TI  - Deadlock Verification of Cache Coherence Protocols and Communication Fabrics
EP  - 284
SN  - 0018-9340
IS  - iss. 2
SP  - 272
JF  - IEEE Transactions on Computers
VL  - vol. 66
DO  - http://dx.doi.org/10.1109/TC.2016.2584060
ER  - 
TY  - JOUR
AU  - Dokter, K.
AU  - Jongmans, S.-S.
AU  - Arbab, F.
AU  - Bliudze, S.
PY  - 2017
UR  - https://hdl.handle.net/2066/168739
TI  - Combine and conquer: Relating BIP and Reo
EP  - 156
SN  - 2352-2208
IS  - iss. 1
SP  - 134
JF  - Journal of Logical and Algebraic Methods in Programming
VL  - vol. 86
DO  - http://dx.doi.org/10.1016/j.jlamp.2016.09.008
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/168739/168739.pdf?sequence=1
ER  - 
TY  - CHAP
AU  - Hoepman, J.-H.
PY  - 2017
UR  - https://hdl.handle.net/2066/176659
PB  - Amsterdam : Maven Publishing
TI  - Oneerlijk ontwerpen
EP  - 185
SN  - 9789492493026
SP  - 184
CT  - Geels, M. (ed.), Waar verzet jij je tegen? : 101 wetenschappers, ondernemers en kunstenaars geven antwoord op de vraag van Anton Corbijn
ER  - 
TY  - THES
AU  - Krasnova, A.
PY  - 2017
SN  - 9789462336780
UR  - https://hdl.handle.net/2066/175985
PB  - [S.l. : s.n.]
TI  - Smart invaders of private matters: Privacy of communication on the Internet and in the Internet of Things (IoT)
N1  - Radboud University, 9 oktober 2017
N1  - Promotor : Batina, L. 
Co-promotor : Hoepman, J.H.
PS  - XXV, 203 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/175985/175985.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/176594
TI  - A Recipe for State-and-Effect Triangles
EP  - 26
SN  - 1860-5974
IS  - iss. 2
SP  - 1
JF  - Logical Methods in Computer Science
VL  - vol. 13
DO  - http://dx.doi.org/10.23638/LMCS-13(2:6)2017
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/176594/176594.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Bonchi, F.
AU  - Sobocinski, P.
AU  - Zanasi, F.
PY  - 2017
UR  - https://hdl.handle.net/2066/161268
TI  - Interacting Hopf algebras
EP  - 184
SN  - 0022-4049
IS  - iss. 1
SP  - 144
JF  - Journal of Pure and Applied Algebra
VL  - vol. 221
DO  - http://dx.doi.org/10.1016/j.jpaa.2016.06.002
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/161268/161268.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/176613
TI  - The Virtuality of Territorial Borders
EP  - 27
SN  - 1871-515X
IS  - iss. 2
SP  - 14
JF  - Utrecht Law Review
VL  - vol. 13
DO  - http://dx.doi.org/10.18352/ulr.380
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/176613/176613.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178455
TI  - Hyper Normalisation and Conditioning for Discrete Probability Distributions
EP  - 29
SN  - 1860-5974
IS  - iss. 3
SP  - 1
JF  - Logical Methods in Computer Science
VL  - vol. 13
DO  - http://dx.doi.org/10.23638/LMCS-13(3:17)2017
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178455/178455.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Gastel, B.E. van
PY  - 2017
UR  - https://hdl.handle.net/2066/179777
PB  - New York : ACM
TI  - Analysing energy consumption of systems controlled by software
EP  - 19:2
SN  - 9781450348362
SP  - 19:1
CT  - Sartor, J.B. (ed.), Programming '17: Companion to the first International Conference on the Art, Science and Engineering of Programming, Brussels, Belgium — April 03 - 06, 2017.Proceeding
N1  - Programming '17: Companion to the first International Conference on the Art, Science and Engineering of Programming, Brussels, Belgium — April 03 - 06, 2017
DO  - http://dx.doi.org/10.1145/3079368.3079396
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/179777/179777.pdf?sequence=1
ER  - 
TY  - GEN
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178796
TI  - Medical privacy
N1  - Radboud Grand Round - 58, 18 september 2017
N1  - Nijmegen : [S.n.]
ER  - 
TY  - JOUR
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/180133
TI  - Saved by Design? The Case of Legal Protection by Design
EP  - 311
SN  - 1871-4757
IS  - iss. 3
SP  - 307
JF  - Nanoethics
VL  - vol. 11
DO  - http://dx.doi.org/10.1007/s11569-017-0299-0
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/180133/180133.pdf?sequence=1
ER  - 
TY  - CHAP
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/181636
PB  - [S.l.] : Stichting Toekomstbeeld der Techniek
TI  - Leven met robo’s
EP  - 71
SN  - 9789491397158
SP  - 70
CT  - Snijders, D. (ed.), Data is macht. Over Big Data en de toekomst
ER  - 
TY  - CHAP
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/181659
PB  - Oxford : Routledge
TI  - The Force of Law and the Force of Technology
EP  - 608
SN  - 9781138820135
SP  - 579
CT  - McGuire, M.; Holt, T. (ed.), The Routledge Handbook for Technology, Crime and Justice
ER  - 
TY  - BOOK
AU  - Vandewalle, J.
AU  - Berbers, Y.
AU  - Hildebrandt, M.
AU  - Debeuckelaere, W.
AU  - Hert, P. de
AU  - Desmedt, Y.
AU  - Smet, F. De
AU  - Poels, K.
AU  - Pierson, J.
AU  - Preneel, B.
PY  - 2017
SN  - 97890656991729
UR  - https://hdl.handle.net/2066/181649
PB  - Brussel : KVAB Press
TI  - Privacy in tijden van internet, sociale netwerken en big data
PS  - 65 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/181649/181649.pdf?sequence=1
ER  - 
TY  - BOOK
AU  - Coecke, B.
AU  - Kissinger, A.
PY  - 2017
SN  - 9781107104228
UR  - https://hdl.handle.net/2066/173217
PB  - Cambridge : Cambridge University Press
TI  - Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
PS  - 827 p.
DO  - http://dx.doi.org/10.1017/9781316219317
ER  - 
TY  - JOUR
AU  - Daemen, J.
PY  - 2017
UR  - https://hdl.handle.net/2066/181002
TI  - Symmetrische cryptografie 2.0
EP  - 167
SN  - 0028-9825
IS  - iss. 3
SP  - 161
JF  - Nieuw Archief voor Wiskunde
VL  - vol. 18(5)
ER  - 
TY  - CONF
AU  - Bella, G.
AU  - Butin, D.
AU  - Jonker, H.L.
PY  - 2017
UR  - https://hdl.handle.net/2066/173204
PB  - [S.l.] : CEUR
TI  - Analysing Privacy Analyses
EP  - 28
SN  - 1613-0073
SP  - 19
CT  - Armando, A. (ed.), ITASEC 2017: Proceedings of the First Italian Conference on Cybersecurity, Venice, Italy January 17-20, 2017
JF  - Ceur Workshop Proceedings
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173204/173204.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/181666
TI  - Wat weet mijn auto nog meer? Juridische bescherming by design in tijden van het Internet van de Dingen
EP  - 102
SN  - 0004-2870
IS  - iss. Februari
SP  - 97
JF  - Ars Aequi
VL  - vol. 2
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/181666/181666.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Mella, S.
AU  - Daemen, J.J.C.
AU  - Assche, G. Van
PY  - 2017
UR  - https://hdl.handle.net/2066/173213
TI  - New techniques for trail bounds and application to differential trails in Keccak
EP  - 357
SN  - 2519-173X
IS  - iss. 1
SP  - 329
JF  - IACR Transactions on Symmetric Cryptology
VL  - vol. 2017
DO  - https://doi.org/10.13154/tosc.v2017.i1.329-357
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173213/173213.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Gastel, B. van
AU  - Eekelen, M.C.J.D. van
PY  - 2017
UR  - https://hdl.handle.net/2066/173231
TI  - Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems
EP  - 37
SN  - 2075-2180
SP  - 24
JF  - Electronic Proceedings in Theoretical Computer Science
VL  - vol. 248
DO  - https://doi.org/10.4204/eptcs.248.7
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173231/173231.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Kranz, T.
AU  - Leander, G.
AU  - Stoffelen, K.
AU  - Wiemer, F.
PY  - 2017
UR  - https://hdl.handle.net/2066/181653
TI  - Shorter Linear Straight-Line Programs for MDS Matrices
EP  - 211
SN  - 2519-173X
IS  - iss. 4
SP  - 188
JF  - IACR Transactions on Symmetric Cryptology
VL  - vol. 2017
DO  - https://doi.org/10.13154/tosc.v2017.i4.188-211
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/181653/181653.pdf?sequence=1
ER  - 
TY  - BOOK
AU  - Pieterse, V.
AU  - Eekelen, M.C.J.D. van
AU  - Gianakos, M.
PY  - 2017
SN  - 9781450363389
UR  - https://hdl.handle.net/2066/191741
PB  - New York : ACM
TI  - CSERC '17: The 6th Computer Science Education Research Conference Helsinki, Finland — November 14 - 14, 2017
PS  - 102 p.
ER  - 
TY  - BOOK
AU  - Soesman, L.
AU  - Eekelen, M.C.J.D. van
AU  - Houtum, B. van
PY  - 2017
SN  - 9789050411653
UR  - https://hdl.handle.net/2066/181609
PB  - Amsterdam : Epsilon Uitgaven
TI  - De Wiskunde van Rubik’s Kubus
PS  - 72 p.
ER  - 
TY  - CONF
AU  - Renes, J.
AU  - Smith, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/179047
PB  - Cham : Springer International Publishing
TI  - qDSA: Small and Secure Digital Signatures with Curve-Based Diffie–Hellman Key Pairs
EP  - 302
SN  - 9783319706979
SN  - 0302-9743
SP  - 273
CT  - Takagi, T. (ed.), Advances in Cryptology – ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-70697-9_10
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/179047/179047.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Jonker, H.
AU  - Mauw, S.
AU  - Schmitz, T.
PY  - 2017
UR  - https://hdl.handle.net/2066/178465
PB  - Cham : Springer International Publishing
TI  - Reverse Bayesian poisoning: how to use spam filters to manipulate online elections
EP  - 197
SN  - 9783319686875
SN  - 0302-9743
SP  - 183
CT  - Krimmer, R. (ed.), Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2016, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-68687-5_11
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178465/178465.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Fournaris, A.P.
AU  - Papachristodoulou, L.
AU  - Sklavos, N.
PY  - 2017
UR  - https://hdl.handle.net/2066/178472
PB  - Los Alamitos : IEEE
TI  - Secure and Efficient RNS Software Implementation for Elliptic Curve Cryptography
EP  - 93
SN  - 9780769561073
SP  - 86
CT  - EUROS&PW 2017: 2nd IEEE European Symposium on Security and Privacy Workshops, 29-30 April 2017 Paris, France. Proceedings
N1  - EUROS&PW 2017: 2nd IEEE European Symposium on Security and Privacy Workshops, 29-30 April 2017 Paris, France
DO  - https://doi.org/10.1109/EuroSPW.2017.56
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178472/178472.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Bobbert, Y.
PY  - 2017
UR  - https://hdl.handle.net/2066/181250
PB  - [S.l.] : CEUR
TI  - Defining a research method for engineering a Business Information Security artefact
EP  - 38
SN  - 1613-0073
SP  - 35
CT  - Aveiro, D. (ed.), EEWC-FORUM 2017: Enterprise Engineering Working Conference Forum, Proceedings of the 1st Enterprise Engineering Working Conference Forum co-located with the 7th Enterprise Engineering Working Conference (EEWC 2017) Antwerp, Belgium, May 9 - 11, 2017
JF  - Ceur Workshop Proceedings
N1  - EEWC-FORUM 2017: Enterprise Engineering Working Conference Forum
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/181250/181250.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Samwel, N.
AU  - Daemen, J.J.C.
PY  - 2017
UR  - https://hdl.handle.net/2066/179150
PB  - New York : ACM
TI  - DPA on hardware implementations of Ascon and Keyak
EP  - 424
SN  - 9781450344876
SP  - 415
CT  - Giorgi, R. (ed.), CF'17 Proceedings of the Computing Frontiers Conference: Siena, Italy — May 15 - 17, 2017
N1  - CF'17 Proceedings of the Computing Frontiers Conference: Siena, Italy — May 15 - 17, 2017
DO  - https://doi.org/10.1145/3075564.3079067
ER  - 
TY  - CONF
AU  - Volokitin, S.
AU  - Poll, E.
PY  - 2017
UR  - https://hdl.handle.net/2066/173207
PB  - Berlin : Springer
TI  - Logical Attacks on Secured Containers of the Java Card Platform
EP  - 136
SN  - 9783319546698
SN  - 0302-9743
SP  - 122
CT  - Lemke-Rust, K. (ed.), Smart Card Research and Advanced Applications: 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
N1  - Smart Card Research and Advanced Applications: 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016
DO  - https://doi.org/10.1007/978-3-319-54669-8_8
ER  - 
TY  - CONF
AU  - Allais, G.X.
AU  - Chapman, J.
AU  - McBride, C.
AU  - McKinna, Jam.
PY  - 2017
UR  - https://hdl.handle.net/2066/168735
PB  - New York : ACM
TI  - Type-and-scope safe programs and their proofs
EP  - 207
SN  - 9781450347051
SP  - 195
CT  - Bertot, Y. (ed.), CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017
N1  - CPP 2017: 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017
DO  - https://doi.org/10.1145/3018610.3018613
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/168735/168735.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Bonchi, F.
AU  - Gadducci, F.
AU  - Kissinger, A.
AU  - Sobociński, P.
AU  - Zanasi, F.
PY  - 2017
UR  - https://hdl.handle.net/2066/173178
PB  - Berlin, Heidelberg : Springer Berlin Heidelberg
TI  - Confluence of Graph Rewriting with Interfaces
EP  - 169
SN  - 9783662544341
SN  - 0302-9743
SP  - 141
CT  - Yang, H. (ed.), Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-662-54434-1_6
ER  - 
TY  - CONF
AU  - Costello, C.
AU  - Jao, D.
AU  - Longa, P.
AU  - Naehrig, M.
AU  - Renes, J.
AU  - Urbanik, D.
PY  - 2017
UR  - https://hdl.handle.net/2066/173184
PB  - Cham : Springer International Publishing
TI  - Efficient Compression of SIDH Public Keys
EP  - 706
SN  - 9783319566207
SN  - 0302-9743
SP  - 679
CT  - Coron, J.-S.; Nielsen, J.B. (ed.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-56620-7_24
ER  - 
TY  - CONF
AU  - Daemen, J.J.C.
PY  - 2017
UR  - https://hdl.handle.net/2066/179130
PB  - Cham : Springer International Publishing
TI  - Changing of the Guards: A Simple and Efficient Method for Achieving Uniformity in Threshold Sharing
EP  - 153
SN  - 9783319667874
SN  - 0302-9743
SP  - 137
CT  - Fischer, W.; Homma, N. (ed.), Cryptographic Hardware and Embedded Systems – CHES 2017: 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-66787-4_7
ER  - 
TY  - CONF
AU  - Jacobs, B.
AU  - Zanasi, F.
PY  - 2017
UR  - https://hdl.handle.net/2066/180403
PB  - Dagstuhl : LIPICS
TI  - A Formal Semantics of Influence in Bayesian Reasoning
EP  - 21:14
SN  - 9783959770460
SN  - 1868-8969
SP  - 21:1
CT  - Larsen, K.G. (ed.), MFCS 2017: 42nd International Symposium on Mathematical Foundations of Computer Science
JF  - Leibniz International Proceedings in Informatics
DO  - https://doi.org/10.4230/LIPIcs.MFCS.2017.21
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/180403/180403.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Jonker, H.
AU  - Mauw, S.
PY  - 2017
UR  - https://hdl.handle.net/2066/180414
PB  - Berlin : Springer
TI  - A Security Perspective on Publication Metrics
EP  - 200
SN  - 9783319710754
SN  - 0302-9743
SP  - 186
CT  - Stajano, F. (ed.), Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-71075-4_21
ER  - 
TY  - CONF
AU  - Jonker, H.
PY  - 2017
UR  - https://hdl.handle.net/2066/180425
PB  - Cham : Springer International Publishing
TI  - A Security Perspective on Publication Metrics (Transcript of Discussion)
EP  - 213
SN  - 9783319710754
SN  - 0302-9743
SP  - 201
CT  - Stajano, F.; Anderson, J.; Christianson, B. (ed.), Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-71075-4_22
ER  - 
TY  - CONF
AU  - Puijenbroek, J.P.M. van
AU  - Hoepman, J.-H.
PY  - 2017
UR  - https://hdl.handle.net/2066/180456
PB  - [S.l.] : CEUR
TI  - Privacy Impact Assessments in Practice: Outcome of a Descriptive Field Research in the Netherlands
EP  - 8
SN  - 1613-0073
SP  - 1
CT  - Alamo, J.M. del (ed.), IWPE 2017: International Workshop on Privacy Engineering: Proceedings of the 3rd International Workshop on Privacy Engineering, co-located with 38th IEEE Symposium on Security and Privacy (S&P 2017) San Jose (CA), USA, May 25, 2017
JF  - Ceur Workshop Proceedings
N1  - IWPE 2017: International Workshop on Privacy Engineering: 3rd International Workshop on Privacy Engineering co-located with 38th IEEE Symposium on Security and Privacy (S&P 2017) San Jose (CA), USA,
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/180456/180456.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Hampiholi, B.
AU  - Alpár, G.
PY  - 2017
UR  - https://hdl.handle.net/2066/180457
PB  - Los Alamitos : IEEE
TI  - Privacy-Preserving Webshopping with Attributes
EP  - 36
SN  - 9781538610275
SP  - 25
CT  - PAC 2017: 2017 IEEE Symposium on Privacy-Aware Computing, Washington DC, DC, USA 1-3 August 2017. Proceedings
N1  - PAC 2017: 2017 IEEE Symposium on Privacy-Aware Computing, Washington DC, DC, USA 1-3 August 2017
DO  - https://doi.org/10.1109/PAC.2017.34
ER  - 
TY  - CONF
AU  - Cho, K.
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/180475
PB  - Dagstuhl : LIPICS
TI  - The EfProb Library for Probabilistic Calculations
EP  - 25:8
SN  - 9783959770330
SN  - 1868-8969
SP  - 25:1
CT  - Bonchi, F. (ed.), CALCO 2017: 7th Conference on Algebra and Coalgebra in Computer Science, June 12-16, 2017 - Ljubljana, Slovenia
JF  - Leibniz International Proceedings in Informatics
DO  - https://doi.org/10.4230/LIPIcs.CALCO.2017.25
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/180475/180475.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Schoolderman, M.R.
PY  - 2017
UR  - https://hdl.handle.net/2066/181663
PB  - Cham : Springer International Publishing
TI  - Verifying Branch-Free Assembly Code in Why3
EP  - 83
SN  - 9783319723082
SN  - 0302-9743
SP  - 66
CT  - Paskevich, A.; Wies, T. (ed.), Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
JF  - Lecture Notes in Computer Science
N1  - Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017
DO  - https://doi.org/10.1007/978-3-319-72308-2_5
ER  - 
TY  - CONF
AU  - Jonker, H.
AU  - Mauw, S.
AU  - Trujillo-Rasua, R.
PY  - 2017
UR  - https://hdl.handle.net/2066/176588
PB  - Cham : Springer
TI  - Man-in-the-middle attacks evolved... but our security models didn’t
EP  - 25
SN  - 9783319620329
SN  - 0302-9743
SP  - 19
CT  - Anderson, J.; Anderson, J. (ed.), Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-62033-6_3
ER  - 
TY  - CONF
AU  - Spolaor, R.
AU  - Abudahi, L.
AU  - Moonsamy, V.
AU  - Conti, M.
AU  - Poovendran, R.
PY  - 2017
UR  - https://hdl.handle.net/2066/176592
PB  - Cham : Springer International Publishing
TI  - No Free Charge Theorem: A Covert Channel via USB Charging Cable on Mobile Devices
EP  - 102
SN  - 9783319612041
SN  - 0302-9743
SP  - 83
CT  - Gollmann, D.; Miyaji, A.; Kikuchi, H. (ed.), Applied Cryptography and Network Security: 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-61204-1_5
ER  - 
TY  - CONF
AU  - Hoepman, J.-H.
PY  - 2017
UR  - https://hdl.handle.net/2066/173218
PB  - New york : ACM
TI  - Privacy Friendly Aggregation of Smart Meter Readings, Even When Meters Crash
EP  - 7
SN  - 9781450349789
SP  - 3
CT  - CPSR-SG'17: Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, Pittsburgh, PA, USA — April 18 - 21, 2017
N1  - CPSR-SG'17: 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, Pittsburgh, PA, USA — April 18 - 21, 2017
DO  - https://doi.org/10.1145/3055386.3055389
ER  - 
TY  - JOUR
AU  - Bobbert, Y.
PY  - 2017
UR  - https://hdl.handle.net/2066/181278
TI  - On Exploring Research Methods for Business Information Security Alignment and Artefact Engineering
EP  - 41
SN  - 1947-9611
IS  - iss. 2
SP  - 28
JF  - International Journal of IT/Business Alignment and Governance (Ijitbag)
VL  - vol. 8
DO  - https://doi.org/10.4018/IJITBAG.2017070102
ER  - 
TY  - CONF
AU  - Thomas, R.J.
AU  - Ordean, M.
AU  - Chothia, T.
AU  - Ruiter, J. de
AU  - Ruiter, J.E.J. de
PY  - 2017
UR  - https://hdl.handle.net/2066/180472
PB  - New York : ACM
TI  - TRAKS: A Universal Key Management Scheme for ERTMS
EP  - 338
SN  - 9781450353458
SP  - 327
CT  - ACSAC 2017: 33rd Annual Computer Security Applications Conference, Orlando, FL, USA — December 04 - 08, 2017. Proceedings
N1  - ACSAC 2017: 33rd Annual Computer Security Applications Conference, Orlando, FL, USA — December 04 - 08, 2017
DO  - https://doi.org/10.1145/3134600.3134631
ER  - 
TY  - CONF
AU  - Fiterau-Brostean, P.
AU  - Lenarts, T.
AU  - Poll, E.
AU  - Ruiter, J. de
AU  - Vaandrager, F.W.
AU  - Verleg, P.
AU  - Ruiter, J.E.J. de
PY  - 2017
UR  - https://hdl.handle.net/2066/176590
PB  - New York : ACM
TI  - Model Learning and Model Checking of SSH Implementations
EP  - 151
SN  - 9781450350778
SP  - 142
CT  - Erdogmus, H. (ed.), SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA — July 13 - 14, 2017
N1  - SPIN 2017: 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA — July 13 - 14, 2017
DO  - https://doi.org/10.1145/3092282.3092289
ER  - 
TY  - CHAP
AU  - Chaum, D.
AU  - Das, D
AU  - Javani, F.
AU  - Kate, A.
AU  - Krasnova, A.
AU  - Ruiter, J. de
AU  - Sherman, A.T.
AU  - Ruiter, J.E.J. de
PY  - 2017
UR  - https://hdl.handle.net/2066/176626
PB  - Cham : Springer
TI  - cMix : Mixing with Minimal Real-Time Asymmetric Cryptographic Operation
EP  - 578
SN  - 9783319612041
SN  - 0302-9743
SP  - 557
CT  - Gollmann, D.; Gollmann, D. (ed.), Applied Cryptography and Network Security: 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-61204-1_28
ER  - 
TY  - CONF
AU  - Chothia, T.
AU  - Ordean, M.
AU  - Ruiter, J. de
AU  - Thomas, R.J.
AU  - Ruiter, J.E.J. de
PY  - 2017
UR  - https://hdl.handle.net/2066/173193
PB  - New York : ACM
TI  - An Attack Against Message Authentication in the ERTMS Train to Trackside Communication Protocols
EP  - 756
SN  - 9781450349444
SP  - 743
CT  - Karri, R. (ed.), ASIA CCS '17: Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, Abu Dhabi, United Arab Emirates — April 02 - 06, 2017
N1  - ASIA CCS '17: 2017 ACM on Asia Conference on Computer and Communications Security, Abu Dhabi, United Arab Emirates — April 02 - 06, 2017
DO  - https://doi.org/10.1145/3052973.3053027
ER  - 
TY  - JOUR
AU  - Lueks, W.
AU  - Alpár, G.
AU  - Hoepman, J.-H.
AU  - Vullers, P.
PY  - 2017
UR  - https://hdl.handle.net/2066/173188
TI  - Fast revocation of attribute-based credentials for both users and verifiers
EP  - 323
SN  - 0167-4048
IS  - iss. June
SP  - 308
JF  - Computers & Security
VL  - vol. 67
DO  - http://dx.doi.org/10.1016/j.cose.2016.11.018
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173188/173188.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Walree, T.F.
PY  - 2017
UR  - https://hdl.handle.net/2066/179176
TI  - De vergoedbare schade bij de onrechtmatige verwerking van persoonsgegevens
EP  - 930
SN  - 0165-8476
IS  - iss. 7172
SP  - 921
JF  - Weekblad voor Privaatrecht, Notariaat en Registratie
VL  - vol. 148
PS  - 10 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/179176/179176pub.pdf?sequence=1
ER  - 
TY  - CHAP
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/181664
PB  - [S.l.] : Wolters Kluwer
TI  - Vertrouwen en Authenticatie
EP  - 245
SN  - 9789013145069
SP  - 239
CT  - Bartels, S.; Jansen, C.; Schuijling, B. (ed.), Vertrouwen in het burgelijke recht. Liber amicorum prof. mr. S.C.J.J. Kortmann
ER  - 
TY  - CONF
AU  - Kissinger, A.
AU  - Uijlen, S.M.
PY  - 2017
UR  - https://hdl.handle.net/2066/180787
PB  - New york : IEEE
TI  - A Categorical Semantics for Causal Structure
EP  - 12
SN  - 9781509030187
SP  - 1
CT  - Ouaknine, J. (ed.), LICS 2017: Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, 20–23 June 2017, Reykjavik
N1  - LICS 2017: Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, 20–23 June 2017, Reykjavik
DO  - https://doi.org/10.1109/LICS.2017.8005095
ER  - 
TY  - JOUR
AU  - Vranken, H.P.E.
PY  - 2017
UR  - https://hdl.handle.net/2066/179131
TI  - Sustainability of bitcoin and blockchains
EP  - 9
SN  - 1877-3435
IS  - iss. Supplement C
SP  - 1
JF  - Current Opinion in Environmental Sustainability
VL  - vol. 28
DO  - https://doi.org/10.1016/j.cosust.2017.04.011
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/179131/179131.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Jongmans, S.S.T.Q.
AU  - Kappé, T.
AU  - Arbab, F.
PY  - 2017
UR  - https://hdl.handle.net/2066/176558
TI  - Constraint automata with memory cells and their composition
EP  - 86
SN  - 0167-6423
SP  - 50
JF  - Science of Computer Programming
VL  - vol. 146
DO  - https://doi.org/10.1016/j.scico.2017.03.006
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/176558/176558.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178803
TI  - Quantum effect logic in cognition
EP  - 10
SN  - 0022-2496
IS  - iss. December
SP  - 1
JF  - Journal of Mathematical Psychology
VL  - vol. 81
DO  - https://doi.org/10.1016/j.jmp.2017.08.004
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178803/178803pos.pdf?sequence=1
ER  - 
TY  - THES
AU  - Lueks, W.
PY  - 2017
SN  - 9789492380654
UR  - https://hdl.handle.net/2066/176475
PB  - [S.l. : s.n.]
TI  - Security and Privacy via Cryptography Having your cake and eating it too
N1  - Radboud University, 9 oktober 2017
N1  - Promotor : Jacobs, B.P.F. 
Co-promotor : Hoepman, J.H.
PS  - xvi, 219 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/176475/176475.pdf?sequence=1
ER  - 
TY  - THES
AU  - Furber, R.W.J.
PY  - 2017
UR  - https://hdl.handle.net/2066/175862
PB  - [S.l. : s.n.]
TI  - Categorical Duality in Probability and Quantum Foundations
N1  - Radboud University, 3 oktober 2017
N1  - Promotor : Jacobs, B.P.F.
PS  - i, 267 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/175862/175862.pdf?sequence=1
ER  - 
TY  - MGZN
AU  - Jacobs, B.P.F.
PY  - 2017
UR  - https://hdl.handle.net/2066/173267
TI  - Zonder privacy is er geen vrijheid
EP  - 18
IS  - iss. 22 april 2017
SP  - 14
JF  - Trouw
N1  - 22 april 2017
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173267/173267.pdf?sequence=1
ER  - 
TY  - MGZN
AU  - Becker, M.J.
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/168703
TI  - Kijk uit, nepnieuws!
EP  - 9
IS  - iss. 14 januari 2017
SP  - 4
JF  - Trouw
N1  - 14 januari 2017
ER  - 
TY  - JOUR
AU  - de Frutos Escrig, D.
AU  - Keiren, J.J.A.
AU  - Willemse, T.A.C.
PY  - 2017
UR  - https://hdl.handle.net/2066/181620
TI  - Games for Bisimulation and Abstraction
EP  - 40
SN  - 1860-5974
IS  - iss. 4
SP  - 1
JF  - Logical Methods in Computer Science
VL  - vol. 13
DO  - https://doi.org/10.23638/LMCS-13(4:15)2017
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/181620/181620.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Keiren, J.J.A.
AU  - Fontana, P.
AU  - Cleaveland, R.
PY  - 2017
UR  - https://hdl.handle.net/2066/176560
TI  - Corrections to “A Menagerie of Timed Automata”
EP  - 8
SN  - 0360-0300
IS  - iss. 3
SP  - 1
JF  - ACM Computing Surveys
VL  - vol. 50
DO  - https://doi.org/10.1145/3078809
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/176560/176560.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Verbeek, F.
AU  - Vugt, N. van
PY  - 2017
UR  - https://hdl.handle.net/2066/178783
PB  - New York : ACM;IEEE
TI  - Estimating worst-case latency of on-chip interconnects with formal simulation
EP  - 211
SN  - 9780983567875
SP  - 204
CT  - Stewart, D. (ed.), FMCAD 17 :Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) TU Wien, Vienna, Austria, October 2-6, 2017
N1  - FMCAD :17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) TU Wien, Vienna, Austria, October 2-6, 2017
DO  - https://doi.org/10.23919/fmcad.2017.8102261
ER  - 
TY  - RPRT
AU  - Kloza, D.
AU  - Dijk, N. van
AU  - Gellert, R.M.
AU  - Böröcz, I.
AU  - Tanas, A.
AU  - Mantovani, E.
AU  - Quinn, P.
PY  - 2017
SN  - 25659936
UR  - https://hdl.handle.net/2066/221132
PB  - Brussels : d.pia.lab
TI  - Data protection impact assessments in the European Union. Complementing the new legal framework towards a more robust protection of individuals
PS  - 4 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/221132/221132.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Luckow, K.
AU  - Kersten, R.W.J.
AU  - Pasareanu, C.
PY  - 2017
UR  - https://hdl.handle.net/2066/178477
PB  - Los Alamitos : IEEE
TI  - Symbolic Complexity Analysis using Context-preserving Histories
EP  - 68
SN  - 9781509060313
SP  - 58
CT  - Bilof, R. (ed.), ICST 2017: 10th IEEE International Conference on Software Testing, Verification and Validation, 13-17 March 2017, Tokyo, Japan. Proceedings
N1  - ICST 2017: 10th IEEE International Conference on Software Testing, Verification and Validation, 13-17 March 2017, Tokyo, Japan
DO  - https://doi.org/10.1109/ICST.2017.13
ER  - 
TY  - JOUR
AU  - Groote, J.F.
AU  - Jansen, D.N.
AU  - Keiren, J.J.A.
AU  - Wijs, A.J.
PY  - 2017
UR  - https://hdl.handle.net/2066/176627
TI  - An O(mlog n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
EP  - 34
SN  - 1529-3785
IS  - iss. 2
SP  - 1
JF  - ACM Transactions on Computational Logic
VL  - vol. 18
DO  - https://doi.org/10.1145/3060140
ER  - 
TY  - JOUR
AU  - Westerbaan, B.
AU  - Westerbaan, Bas
AU  - Kuyper, R.
AU  - Tankink, C.
AU  - Viehoff, R.
AU  - Barendregt, H.
PY  - 2017
UR  - https://hdl.handle.net/2066/180780
TI  - Statman's Hierarchy Theorem
EP  - 39
SN  - 1860-5974
IS  - iss. 4
SP  - 1
JF  - Logical Methods in Computer Science
VL  - vol. 13
DO  - https://doi.org/10.23638/LMCS-13(4:19)2017
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/180780/180780.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Lukas, Kay
AU  - Daemen, J.
PY  - 2017
UR  - https://hdl.handle.net/2066/191867
TI  - CUBE ATTACK ON PRIMATES
EP  - 305
SN  - 1454-9069
SP  - 293
JF  - Proceedings of the Romanian Academy Series A-Mathematics Physics Technical Sciences Information Science
VL  - vol. 18
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/191867/191867.pdf?sequence=1
ER  - 
TY  - CHAP
AU  - Papachristodoulou, L.
AU  - Batina, L.
AU  - Mentens, N.
PY  - 2017
UR  - https://hdl.handle.net/2066/168719
PB  - Cham : Springer International Publishing
TI  - Recent Developments in Side-Channel Analysis on Elliptic Curve Cryptography Implementations
EP  - 76
SN  - 9783319443188
SP  - 49
CT  - Sklavos, N.; Chaves, R.; Natale, G. Di (ed.), Hardware Security and Trust: Design and Deployment of Integrated Circuits in a Threatened Environment
DO  - https://doi.org/10.1007/978-3-319-44318-8_3
ER  - 
TY  - CONF
AU  - Massolino, P.M.
AU  - Batina, L.
AU  - Chaves, R.
AU  - Mentens, N.
PY  - 2017
UR  - https://hdl.handle.net/2066/178481
PB  - New York : ACM
TI  - Area-optimized montgomery multiplication on IGLOO 2 FPGAs
EP  - 4
SP  - 1
CT  - Santambrogio, M. (ed.), 2017 27th International Conference on Field Programmable Logic and Applications (FPL) September 4-6, 2017 Gent, Belgium
N1  - FPL 2017: 27th International Conference on Field Programmable Logic and Applications (FPL) September 4-6, 2017 Gent, Belgium
DO  - https://doi.org/10.23919/fpl.2017.8056762
ER  - 
TY  - CONF
AU  - Groot, W. de
AU  - Papagiannopoulos, K.
AU  - Piedra, A. de la
AU  - Schneider, E.
AU  - Batina, L.
PY  - 2017
UR  - https://hdl.handle.net/2066/173237
PB  - Cham : Springer International Publishing
TI  - Bitsliced Masking and ARM: Friends or Foes?
EP  - 109
SN  - 9783319557144
SN  - 0302-9743
SP  - 91
CT  - Bogdanov, A. (ed.), Lightweight Cryptography for Security and Privacy: 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-55714-4_7
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173237/173237.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Chmielewski, Ł.
AU  - Massolino, P.
AU  - Vliegen, J.
AU  - Batina, L.
AU  - Mentens, N.
PY  - 2017
UR  - https://hdl.handle.net/2066/168750
TI  - Completing the Complete ECC Formulae with Countermeasures
EP  - 13
SN  - 2079-9268
IS  - iss. 1
SP  - 1
JF  - Journal of Low Power Electronics and Applications
VL  - vol. 7
DO  - https://doi.org/10.3390/jlpea7010003
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/168750/168750.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Batina, L.
AU  - Bhunia, S.
AU  - Schaumont, P.
PY  - 2017
UR  - https://hdl.handle.net/2066/166122
TI  - Foundations of Secure Scaling: Report from Dagstuhl Seminar 16342
EP  - 90
SN  - 2192-5283
IS  - iss. 8
SP  - 65
JF  - Dagstuhl Reports
VL  - vol. 6
DO  - https://doi.org/10.4230/DagRep.6.8.65
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/166122/166122.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Cheng, H.
AU  - Rokicki, M.
AU  - Herder, E.
PY  - 2017
UR  - https://hdl.handle.net/2066/176612
PB  - New York : ACM
TI  - The Influence of City Size on Dietary Choices
EP  - 236
SN  - 9781450350679
SP  - 231
CT  - Tkalcic, M. (ed.), UMAP '17 Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, Bratislava, Slovakia — July 09 - 12, 2017
N1  - UMAP '17 Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, Bratislava, Slovakia — July 09 - 12, 2017
DO  - https://doi.org/10.1145/3099023.3099058
ER  - 
TY  - BOOK
AU  - Bielikova, M.
AU  - Herder, E.
AU  - Cena, F.
AU  - Desmarais, M.
PY  - 2017
SN  - 9781450350679
UR  - https://hdl.handle.net/2066/176649
PB  - New York : ACM
TI  - Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, UMAP 2017, Bratislava, Slovakia, July 09 - 12, 2017
PS  - 438 p.
ER  - 
TY  - CONF
AU  - Trattner, C.
AU  - Rokicki, M.
AU  - Herder, E.
PY  - 2017
UR  - https://hdl.handle.net/2066/176595
PB  - New York : ACM
TI  - On the Relations Between Cooking Interests, Hobbies and Nutritional Values of Online Recipes
EP  - 64
SN  - 9781450350679
SP  - 59
CT  - Tkalcic, M. (ed.), UMAP '17 Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, Bratislava, Slovakia — July 09 - 12, 2017
N1  - UMAP '17 Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, Bratislava, Slovakia — July 09 - 12, 2017
DO  - https://doi.org/10.1145/3099023.3099072
ER  - 
TY  - JOUR
AU  - Philipps, Axel
AU  - Zerr, Sergej
AU  - Herder, Eelco
PY  - 2017
UR  - https://hdl.handle.net/2066/198425
TI  - The representation of street art on Flickr. Studying reception with visual content analysis
EP  - 393
SN  - 1472-586X
IS  - iss. 4
SP  - 382
JF  - Visual Studies
VL  - vol. 32
DO  - https://doi.org/10.1080/1472586X.2017.1396193
ER  - 
TY  - BOOK
AU  - Bielikova, M.
AU  - Herder, E.
AU  - Cena, F.
AU  - Desmarais, M.
PY  - 2017
SN  - 9781450346351
UR  - https://hdl.handle.net/2066/176619
PB  - New York : ACM
TI  - UMAP '17: Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization, Bratislava, Slovakia — July 09 - 12, 2017
PS  - 402 p.
ER  - 
TY  - JOUR
AU  - Hildebrandt, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/173203
TI  - Law as an affordance: The Devil Is in the Vanishing Point(s)
EP  - 128
SN  - 2291-9732
IS  - iss. 1
SP  - 116
JF  - Critical Analysis of Law
VL  - vol. 4
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/173203/173203.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Hwang, H.K.
AU  - Herder, E.
AU  - Ronchetti, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/176572
PB  - New York : ACM
TI  - A Link Back to MemoryLane: The Role of Context in Bookmarking and Refinding
EP  - 10
SP  - 1
CT  - Paterno, F. (ed.), CHItaly '17: Proceedings of the 12th Biannual Conference on Italian SIGCHI Chapter, Cagliari, Italy — September 18 - 20, 2017
N1  - CHItaly '17: 12th Biannual Conference on Italian SIGCHI Chapter, Cagliari, Italy — September 18 - 20, 2017
DO  - https://doi.org/10.1145/3125571.3125586
ER  - 
TY  - CONF
AU  - Verheul, E.R.
AU  - Ringers, S.
AU  - Hoepman, J.-H.
PY  - 2017
UR  - https://hdl.handle.net/2066/178807
PB  - Berlin, Heidelberg : Springer Berlin Heidelberg
TI  - The Self-blindable U-Prove Scheme from FC’14 Is Forgeable (Short Paper)
EP  - 345
SN  - 9783662549704
SN  - 0302-9743
SP  - 339
CT  - Grossklags, J.; Preneel, B. (ed.), Financial Cryptography and Data Security: 20th International Conference, FC 2016, Christ Church, Barbados, February 22–26, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-662-54970-4_20
ER  - 
TY  - CONF
AU  - Ringers, S.
AU  - Verheul, E.R.
AU  - Hoepman, J.-H.
PY  - 2017
UR  - https://hdl.handle.net/2066/181597
PB  - Cham : Springer
TI  - An Efficient Self-blindable Attribute-Based Credential Scheme
EP  - 20
SN  - 9783319709710
SN  - 0302-9743
SP  - 3
CT  - Kiayias, A. (ed.), Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017
JF  - Lecture Notes in Computer Science
N1  - Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017
DO  - https://doi.org/10.1007/978-3-319-70972-7_1
ER  - 
TY  - JOUR
AU  - Verheul, E.R.
AU  - Jacobs, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178461
TI  - Polymorphic Encryption and Pseudonymisation in Identity Management and Medical Research
EP  - 172
SN  - 0028-9825
IS  - iss. 3
SP  - 168
JF  - Nieuw Archief voor Wiskunde
VL  - vol. 18
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178461/178461pre.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Schwabe, P.
AU  - Stoffelen, K.
PY  - 2017
UR  - https://hdl.handle.net/2066/178459
PB  - Cham : Springer International Publishing
TI  - All the AES You Need on Cortex-M3 and M4
EP  - 194
SN  - 9783319694535
SN  - 0302-9743
SP  - 180
CT  - Avanzi, R.; Heys, H. (ed.), Selected Areas in Cryptography – SAC 2016: 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-69453-5_10
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178459/178459.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Nascimento, E.
AU  - Chmielewski, L.
AU  - Oswald, D.
AU  - Schwabe, P.
PY  - 2017
UR  - https://hdl.handle.net/2066/178378
PB  - Berlin : Springer
TI  - Attacking embedded ECC implementations through cmov side channels
EP  - 119
SN  - 9783319694535
SN  - 0302-9743
SP  - 99
CT  - Avanzi, R. (ed.), Selected Areas in Cryptology – SAC 2016: 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-69453-5_6
ER  - 
TY  - CONF
AU  - Krasnova, A.
AU  - Neikes, M.
AU  - Schwabe, P.
PY  - 2017
UR  - https://hdl.handle.net/2066/181052
PB  - Berlin : Springer
TI  - Footprint Scheduling for Dining-Cryptographer Networks
EP  - 402
SN  - 9783662549704
SN  - 0302-9743
SP  - 385
CT  - Grossklags, J.; Grossklags, J. (ed.), Financial Cryptography and Data Security: 20th International Conference, FC 2016, Christ Church, Barbados, February 22–26, 2016, Revised Selected Papers
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-662-54970-4_23
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/181052/181052pre.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Hülsing, A.
AU  - Rijneveld, J.
AU  - Schanck, J.
AU  - Schwabe, P.
PY  - 2017
UR  - https://hdl.handle.net/2066/178454
PB  - Cham : Springer International Publishing
TI  - High-Speed Key Encapsulation from NTRU
EP  - 252
SN  - 9783319667874
SN  - 0302-9743
SP  - 232
CT  - Fischer, W.; Homma, N. (ed.), Cryptographic Hardware and Embedded Systems – CHES 2017: 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-66787-4_12
ER  - 
TY  - CONF
AU  - Bernstein, D. J.
AU  - Kölbl, S.
AU  - Lucks, S.
AU  - Massolino, P.M.
AU  - Mendel, F.
AU  - Nawaz, K.
AU  - Schneider, T.
AU  - Schwabe, P.
AU  - Standaert, F.-X.
AU  - Todo, Y.
AU  - Viguier, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178453
PB  - Cham : Springer
TI  - Gimli: a cross-platform permutation
EP  - 320
SN  - 9783319667874
SN  - 0302-9743
SP  - 299
CT  - Fischer, W. (ed.), CHES 2017: Cryptographic Hardware and Embedded Systems: 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
JF  - Lecture Notes in Computer Science
N1  - CHES 2017
DO  - https://doi.org/10.1007/978-3-319-66787-4_15
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178453/178453pre.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Mennink, B.
AU  - Neves, S.
PY  - 2017
UR  - https://hdl.handle.net/2066/176569
PB  - Cham : Springer International Publishing
TI  - Encrypted Davies-Meyer and Its Dual: Towards Optimal Security Using Mirror Theory
EP  - 583
SN  - 9783319636979
SN  - 0302-9743
SP  - 556
CT  - Katz, J.; Shacham, H. (ed.), Advances in Cryptology – CRYPTO 2017: 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20–24, 2017, Proceedings, Part III
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-63697-9_19
ER  - 
TY  - CONF
AU  - Mennink, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/176578
PB  - Cham : Springer International Publishing
TI  - Insuperability of the Standard Versus Ideal Model Gap for Tweakable Blockcipher Security
EP  - 732
SN  - 9783319637150
SN  - 0302-9743
SP  - 708
CT  - Katz, J.; Shacham, H. (ed.), Advances in Cryptology – CRYPTO 2017: 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20–24, 2017, Proceedings, Part II
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-63715-0_24
ER  - 
TY  - JOUR
AU  - Mennink, B.J.M.
PY  - 2017
UR  - https://hdl.handle.net/2066/178504
TI  - De verjaardagsparadox in de cryptografie
EP  - 194
SN  - 0028-9825
IS  - iss. 3
SP  - 190
JF  - Nieuw Archief voor Wiskunde
VL  - vol. 18
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178504/178504.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Mennink, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/176622
PB  - Cham : Springer International Publishing
TI  - Weak Keys for AEZ, and the External Key Padding Attack
EP  - 237
SN  - 9783319521534
SN  - 0302-9743
SP  - 223
CT  - Handschuh, H. (ed.), Topics in Cryptology – CT-RSA 2017: The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14–17, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-52153-4_13
ER  - 
TY  - CONF
AU  - Daemen, J.J.C.
AU  - Mennink, B.
AU  - Assche, G. Van
PY  - 2017
UR  - https://hdl.handle.net/2066/179010
PB  - Cham : Springer
TI  - Full-State Keyed Duplex With Built-In Multi-User Support
EP  - 637
SN  - 9783319706931
SN  - 0302-9743
SP  - 606
CT  - Takagi, T. (ed.), Advances in Cryptology - ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-70697-9_21
ER  - 
TY  - CONF
AU  - Luykx, A.
AU  - Mennink, B.
AU  - Paterson, K.G.
PY  - 2017
UR  - https://hdl.handle.net/2066/179039
PB  - Cham : Springer
TI  - Analyzing Multi-Key Security Degradation
EP  - 605
SN  - 9783319706931
SN  - 0302-9743
SP  - 575
CT  - Takagi, T. (ed.), Advances in Cryptology - ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-70697-9_20
ER  - 
TY  - CONF
AU  - Symeonidis, I.
AU  - Abdelrahaman, A.
AU  - Mustafa, M.A.
AU  - Mennink, B.
AU  - Dhooghe, S.
AU  - Preneel, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178466
PB  - Berlin : Springer
TI  - SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision
EP  - 493
SN  - 9783319663999
SN  - 0302-9743
SP  - 475
CT  - Foley, S.N.; Foley, S.N. (ed.), Computer Security - ESORICS 2017: 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-66399-9_26
ER  - 
TY  - CONF
AU  - Mennink, B.
AU  - Szepieniec, A.
PY  - 2017
UR  - https://hdl.handle.net/2066/176625
PB  - Cham : Springer International Publishing
TI  - XOR of PRPs in a Quantum World
EP  - 383
SN  - 9783319598796
SN  - 0302-9743
SP  - 367
CT  - Lange, T.; Takagi, T. (ed.), Post-Quantum Cryptography : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings
JF  - Lecture Notes in Computer Science
DO  - https://doi.org/10.1007/978-3-319-59879-6_21
ER  - 
TY  - JOUR
AU  - Chen, Y.L.
AU  - Luykx, A.
AU  - Mennink, B.J.M.
AU  - Preneel, B.
PY  - 2017
UR  - https://hdl.handle.net/2066/178450
TI  - Efficient Length Doubling from Tweakable Block Ciphers
EP  - 270
SN  - 2519-173X
IS  - iss. 3
SP  - 253
JF  - IACR Transactions on Symmetric Cryptology
VL  - vol. 2017
DO  - https://doi.org/10.13154/tosc.v2017.i3.253-270
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178450/178450.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Mennink, B.J.M.
AU  - Neves, S.
PY  - 2017
UR  - https://hdl.handle.net/2066/178460
TI  - Optimal PRFs from Blockcipher Designs
EP  - 252
SN  - 2519-173X
IS  - iss. 3
SP  - 228
JF  - IACR Transactions on Symmetric Cryptology
VL  - vol. 2017
DO  - https://doi.org/10.13154/tosc.v2017.i3.228-252
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178460/178460.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Datta, N.
AU  - Luykx, A.
AU  - Mennink, B.
AU  - Nandi, M.
PY  - 2017
UR  - https://hdl.handle.net/2066/176620
TI  - Understanding RUP Integrity of COLM
EP  - 161
SN  - 2519-173X
IS  - iss. 2
SP  - 143
JF  - IACR Transactions on Symmetric Cryptology
VL  - vol. 2017
DO  - https://doi.org/10.13154/tosc.v2017.i2.143-161
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/176620/176620.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Kiljan, S.
AU  - Simoens, K.
AU  - Cock, D.D.
AU  - Eekelen, M.C.J.D. van
AU  - Vranken, H.P.E.
PY  - 2017
UR  - https://hdl.handle.net/2066/166059
TI  - A Survey of Authentication and Communications Security in Online Banking
EP  - 35
SN  - 0360-0300
IS  - iss. 4
SP  - 1
JF  - ACM Computing Surveys
VL  - vol. 49
DO  - https://doi.org/10.1145/3002170
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/166059/166059.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Mennink, B.
AU  - Stevens, M
PY  - 2017
UR  - https://hdl.handle.net/2066/178487
TI  - Wiskunde in de cryptografie (Redactioneel)
EP  - 155
SN  - 0028-9825
IS  - iss. 3
SP  - 155
JF  - Nieuw Archief voor Wiskunde
VL  - vol. 18
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178487/178487.pdf?sequence=1
ER  -