- Radboud Repository
- →
- Browsing by Faculty & Departments
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse by Faculty & Departments
Now showing items 1-50 of 965
-
μKummer: Efficient Hyperelliptic Signatures and Key Exchange on Microcontrollers Renes, J.; Schwabe, P.; Smith, B.; Batina, L.2016, Part of book or chapter of book (Gierlichs, B.; Poschmann, Y.A. (ed.), Cryptographic Hardware and Embedded Systems – CHES 2016: 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings, pp. 301-320) -
Zonder privacy is er geen vrijheid 2017, Contribution for newspaper or weekly magazine (Trouw, 22 april 2017, pp. 14-18) -
Zet ING met proef privacy op het spel? in national newspaper Trouw, 11/3/2014 2014, Contribution for newspaper or weekly magazine (Trouw, 11 maart 2014) -
XOR of PRPs in a Quantum World Mennink, B.; Szepieniec, A.2017, Part of book or chapter of book (Lange, T.; Takagi, T. (ed.), Post-Quantum Cryptography : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings, pp. 367-383)
-
De Wiskunde van Rubik’s Kubus Soesman, L.; Eekelen, M. van ; Houtum, B. van2017, Book (monograph)
-
Wiskunde in de cryptografie (Redactioneel) Mennink, B.; Stevens, M2017, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 18, iss. 3, (2017), pp. 155)
-
Wirelessly Pickpocketing a Mifare Classic Card 2009, Article in monograph or in proceedings (S&P 2009 : 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA, pp. 3-15)
-
Wirelessly lockpicking a smart card reader Garcia, F. D. ; Koning Gans, G. de; Verdult, R.2014, Article / Letter to editor (International Journal of Information Security, vol. 2014, iss. April, (2014), pp. 1-18)
-
Wikileaks was geen toeval Jacobs, B. ; Kursawe, K.2011, Article / Letter to editor (Eos Magazine, (2011), pp. 50)
-
-
Wide-Weak Privacy-Preserving RFID Authentication Protocols Lee, Y. K.; Batina, L.; Singelee, D.; Verbauwhede, I.2010, Part of book or chapter of book (Chatzimisios, P.; Verikoukis, C. (ed.), Mobile Lightweight Wireless Systems, pp. 254-267)
-
WickedXmas: Designing and Verifying on-chip Communication Fabrics Joosten, S.J.C.; Verbeek, F.; Schmaltz, J.2014, Article in monograph or in proceedings (DIFTS'14 : Proceedings of the 3rd International Workshop on Design and Implementation of Formal Tools and Systems, October 20, 2014 Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, pp. 1-8)
-
Who Needs Stories if You Can Get the Data?: ISPs in the Era of Big Number Crunching 2011, Article / Letter to editor (Philosophy & Technology, vol. 24, iss. 4, (2011), pp. 371-390)
-
Which Are Harder? Soft Skills or Hard Skills? Pieterse, V.; Eekelen, M. van2016, Part of book or chapter of book (Gruner, S. (ed.), ICT Education: 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers, pp. 160-167)
-
What You Enter Is What You Sign: Input Integrity in an Online Banking Environment Kiljan, S.; Vranken, H.P.E.; Eekelen, M. van2014, Article in monograph or in proceedings (Bella, G. (ed.), STAST 2014 : 4th Workshop on Socio-Technical Aspects in Security and Trust : Proceedings, pp. 40-47)
-
Weg met de wachtwoordchaos 2014, Contribution for newspaper or weekly magazine (Trouw, 5 maart 2014)
-
Weak Keys for AEZ, and the External Key Padding Attack Mennink, B.2017, Part of book or chapter of book (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, pp. 223-237)
-
Wat weet mijn auto nog meer? Juridische bescherming by design in tijden van het Internet van de Dingen 2017, Article / Letter to editor (Ars Aequi, vol. 2, iss. Februari, (2017), pp. 97-102)
-
Wat ben je? 2013, Part of book or chapter of book (Geels, M. (ed.), Nederland in ideeën, pp. 261-264)
-
Vrijwillig op weg naar de politiestaat Koops, B-J.; Dommering, E.; Eijk, N. van; Hert, P. de; Schmidt, A.; Smits, J.; Jacobs, B.P.F. ; et al.; Hartel, P.; Tilborg, H. van; Buruma, Y. ; Mevis, P.; Roos, T. de; Spronken, T.; Kempen, P.H. van et al.2008, Contribution for newspaper or weekly magazine (NRC Handelsblad, 2 april 2008, pp. 07)
sine al.
-
Voting using Java Card smart cards: A case study 2002, Article in monograph or in proceedings (VerifiCard'02: Informal proceedings of the annual Verificard meeting, 7th-9th January 2002, Centre International de Rencontres Mathématiques in Marseille, pp. 1-13)
-
Vote to Link : Recovering from Misbehaving Anonymous Users Lueks, W.; Everts, M.H.; Hoepman, J.-H.2016, Article in monograph or in proceedings (Weippl, E. (ed.), WPES '16 Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, Vienna, Austria, October 24, 2016, pp. 111-122)
-
Voortaan Veilig in de cloud Fritschy, Y.; Eekelen, M. van2014, Article / Letter to editor (New Scientist, vol. 2014, iss. December, (2014), pp. 16-17)
-
De Voorspelde Mens 2008, Part of book or chapter of book (Consoli, L.; Hoekstra, R. (ed.), Technologie en Mensbeeld, pp. 52-60)
-
Voor een menselijke wereld 2016, Article / Letter to editor (Informatie Professional, vol. 2016, iss. 2, (2016), pp. 11)
-
Visualizing the quality of dimensionality reduction Mokbel, B.; Lueks, W.; Gisbrecht, A.; Hammer, B.2013, Article / Letter to editor (Neurocomputing, vol. 112, iss. July, (2013), pp. 109-123)
-
Vertrouwen en Authenticatie 2017, Part of book or chapter of book (Bartels, S.; Jansen, C.; Schuijling, B. (ed.), Vertrouwen in het burgelijke recht. Liber amicorum prof. mr. S.C.J.J. Kortmann, pp. 239-245)
-
VerifyThis 2016: A Program Verification Competition Huisman, M.; Monahan, R.; Muller, P.; Poll, E.2016, External research report
-
Verifying functional formalizations – a type-theoretical case study in pvs 2013, Part of book or chapter of book (Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 47-59)
-
Verifying Curve25519 Software Chen, Y.-F.; Hsu, C.-H.; Lin, H.-H.; Schwabe, P.; Tsai, M.-H.; Wang, B.-Y.; Yang, B.-Y.; Yang, S.Y.2014, Part of book or chapter of book (Dimitrakakis, C. (ed.), CCS '14 : Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, pp. 299-309)
-
Verifying Branch-Free Assembly Code in Why3 Schoolderman, M.R.2017, Article in monograph or in proceedings (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, pp. 66-83)
-
Verificatie en validatie van veiligheidskritieke systemen 2014, Article / Letter to editor (Bits & Chips (Nijmegen), vol. 2014, iss. 4, (2014), pp. 42-45)
-
VerifiCard: A European Project for Smart Card Verification Jacobs, B.P.F. ; Meijer, H.; Poll, E.2001, Article / Letter to editor (Newsletter of the Dutch Association for Theoretical Computer Science, vol. 2001, (2001), pp. 32-38)
-
Vectorizing higher-order masking Gregoire, B.; Papagiannopoulos, K.; Schwabe, P.; Stoffelen, K.2018, Part of book or chapter of book (Fan, J. (ed.), Constructive Side-Channel Analysis and Secure Design: 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings, pp. 23-43)
-
Using trusted execution environment in two-factor authentication: Comparing approaches Rijswijk-Deij, R. van; Poll, E.2013, Part of book or chapter of book (Oid 2013 : Open identity summit 2013, september 09th-11th, kloster banz, germany, pp. 20-31)
-
Using skipgrams and PoS-based feature selection for patent classification D'hondt, E.K.L. ; Verberne, S. ; Weber, Niklas; Koster, C.H.A. ; Boves, L.W.J.2012, Article / Letter to editor (Computational Linguistics in the Netherlands Journal, vol. 2, (2012), pp. 52-70)
-
Using NFC Phones for Proving Credentials Alpár, G.; Batina, L.; Verdult, R.2012, Part of book or chapter of book (Schmitt, J. (ed.), Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, pp. 317-330)
-
Using model-checking to reveal a vulnerability of tamper-evident pairing Kersten, R.; Gastel, B. van; Drijvers, M.; Smetsers, S. ; Eekelen, M.C.J.D. van2013, Article in monograph or in proceedings (Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77)
-
Using JASON to secure SOA Chmielewski, Luskasz; Brinkman, Richard; Hoepman, Jaap-Henk ; Bos, Bert2008, Article in monograph or in proceedings (Scandariato, Riccardo; Rusello, Giovanni (ed.), Proceedings of the 2008 workshop on Middleware Security Leuven, Belgium December 2, 2008, pp. 13-18)
-
Using ICT to Enhance Knowledge Management in Higher Education: a Conceptual Framework and Research Agenda Omona, W.; Weide, T.P. van der ; Lubega, J.T.2010, Article / Letter to editor (International Journal of Education and Development Using Information and Communication Technology, vol. 6, iss. 4, (2010), pp. 83-101)
-
Using Game Psychology in Information System Design for Sustainable Behavior Changes Oldenhave, D.; Weide, T. van der ; Hoppenbrouwers, S. ; Sauren, J.2016, Article in monograph or in proceedings (Kornyshova, E. (ed.), CBI 2016: 2016 IEEE 18th Conference on Business Informatics, 29th August - 1st September, Paris, France, pp. 238-247)
-
Using Dependent Types to Define Energy Augmented Semantics of Programs Gastel, B.E. van; Kersten, Rody; Eekelen, M. van2016, Part of book or chapter of book (Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39)
-
User-friendly Manual Transfer of Authenticated Online Banking Transaction Data - A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme Kiljan, S.; Vranken, H.P.E.; Eekelen, M. van2016, Part of book or chapter of book (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
-
User profile-based service discovery for eHealth Tegegne, T.; Kanagwa, B.; Weide, T. van der2011, Article in monograph or in proceedings (ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, pp. 337-346)
-
Untraceable RFID authentication protocols: Revision of EC-RAC Ki, L. Yong; Batina, L.; Verbauwhede, I.2009, Article in monograph or in proceedings (2009 IEEE International Conference on RFID, 27-28 April, 2009, pp. 178-185)
-
Unordered Tuples in Quantum Computation Furber, R.W.J.; Westerbaan, B.2015, Article in monograph or in proceedings (Heunen, C. (ed.), QPL 201: proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), Oxford, U.K., July 15-17, 2015, pp. 196-207)
-
Universele handhavingsjurisdictie in cyberspace? Hildebrandt, M. ; Koning, M.E.2012, Article / Letter to editor (Strafblad. het Nieuwe Tijdschrift voor Strafrecht, vol. 3, iss. Juli, (2012), pp. 195-203)
-
Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations 2010, External research report
-
Univariate polynomial solutions of algebraic difference equations 2014, Article / Letter to editor (Journal of Symbolic Computation, vol. 60, (2014), pp. 15-28)
-
Understanding RUP Integrity of COLM Datta, N.; Luykx, A.; Mennink, B.; Nandi, M.2017, Article / Letter to editor (IACR Transactions on Symmetric Cryptology, vol. 2017, iss. 2, (2017), pp. 143-161)
Now showing items 1-50 of 965
Search Repository
Browse
-
All of Repository
Upload Full Text