- Radboud Repository
- →
- Collections Radboud University
- →
- Academic publications
- →
- Browsing Academic publications 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 573
-
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) -
Wikileaks was geen toeval Jacobs, B. ; Kursawe, K.2011, Article / Letter to editor (Eos Magazine, (2011), pp. 50) -
-
Which Are Harder? Soft Skills or Hard Skills? Pieterse, V.; Eekelen, M.C.J.D. van2016, Article in monograph or in proceedings (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.C.J.D. 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)
-
What proof do we prefer? Variants of verifiability in voting 2007, Article in monograph or in proceedings (Ryan, P.; Anderson, S.; Storer, T. (ed.), Workshop on e-Voting and e-Government in the UK, pp. 33-39)
-
What Blockchain Alternative Do You Need? Koens, T.; Poll, E.2018, Article in monograph or in proceedings (Garcia-Alfaro, J. (ed.), Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings, pp. 113-129)
-
Weg met de wachtwoordchaos 2014, Contribution for newspaper or weekly magazine (Trouw, 5 maart 2014)
-
Wat ben je? 2013, Part of book or chapter of book (Geels, M. (ed.), Nederland in ideeën, pp. 261-264)
-
Vulnerabilities as monsters: the cultural foundations of computer security (extended abstract) 2006, Article in monograph or in proceedings (European Computing and Philosophy Conference (E-CAP 2006)) -
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 buying revisited: implications for receipt-freeness Jonker, H.L.; Pieters, W.2007, Article in monograph or in proceedings (2nd Benelux Workshop on Information and System Security (WISSEC'2007))
-
Voortaan Veilig in de cloud Fritschy, Y.; Eekelen, M.C.J.D. 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)
-
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)
-
Vertrouw op het high-techpotlood Jacobs, B.P.F. ; Korthals Altes, F.2007, Contribution for newspaper or weekly magazine (NRC Handelsblad, 10 maart 2007)
-
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 an implementation of SSH Poll, E. ; Schubert, A.2007, Article in monograph or in proceedings (WITS'07, pp. 164-177)
-
Verification of Medical Guidelines using Task Execution with Background Knowledge Hommersom, A.J. ; Groot, P.C. ; Lucas, P.J.F. ; Balser, M.; Schmitt, J.2006, Article in monograph or in proceedings (4th Prestigous Applications of Intelligent Systems (in ECAI 2006), pp. 835-836)
-
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)
-
Veiligheid Door Openheid --- Tot Aan de Bron 2005, Article / Letter to editor (vol. 12, iss. juni, (2005), pp. 10-11)
-
Veiliger software door open source 2005, Article / Letter to editor (Informatiebeveiliging, vol. 8, (2005), pp. 4-6)
-
Veilig online stemmen vanuit San Francisco? 2005, Article / Letter to editor (Idee, vol. 26, iss. 1, (2005), pp. 8-10)
-
Vastleggen van Kwaliteit is Essentieel 2005, Article / Letter to editor (Automatisering Gids, vol. 39, iss. 11, (2005), pp. 13)
-
Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring 2005, Article / Letter to editor (Automatisering Gids, vol. 38, iss. 16, (2005), pp. 13)
-
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 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 Dependent Types to Define Energy Augmented Semantics of Programs Gastel, B.E. van; Kersten, Rody; Eekelen, M.C.J.D. van2016, Article in monograph or in proceedings (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.C.J.D. van2016, Article in monograph or in proceedings (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
-
-
Univariate polynomial solutions of algebraic difference equations 2014, Article / Letter to editor (Journal of Symbolic Computation, vol. 60, (2014), pp. 15-28)
-
Uniqueness type inference 1995, Article / Letter to editor (Programming Languages: Implementations, Logics and Programs, Vol. 982, (1995), pp. 189-206)
-
Type-based Object Immutability with Flexible Initialization - extended version 2009, External research report
-
Type-based Object Immutability with Flexible Initialization 2009, Article in monograph or in proceedings (Drossopoulou, S. (ed.), ECOOP 2009 – Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545)
-
-
Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions Shkaravska, O. ; Kesteren, R. van; Eekelen, M.C.J.D. van2007, External research report
-
Two worlds, one smart card Hoepman, Jaap-Henk ; Kleinhuis, Geert2007, Article in monograph or in proceedings (th European PKI Workshop: Theory and Practice, pp. 236-247)
-
Two of the Grand Changes through Computer and Network Technology 2014, Part of book or chapter of book (Hansen, M.; Hoepman, J.-H.; Leenes, R. (ed.), Privacy and Identity Management for Emerging Services and Technologies, pp. 1-11)
-
TweetNaCl: A Crypto Library in 100 Tweets Bernstein, D.; Gastel, B. van; Janssen, W.; Lange, T.; Schwabe, P.; Smetsers, S.2015, Article in monograph or in proceedings (Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology - LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014, pp. 64-83)
-
Turing 1 Havo/vwo Informatieboek: informatica voor de tweede fase Hart, T.; Meijer, H.; Reinders, H.2002, Book (monograph)
-
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008 Achten, P. ; Eekelen, M.C.J.D. van ; Koopman, P. ; Morazán, M.T.; Johann, P.2010, Article / Letter to editor (Higher-Order and Symbolic Computation, vol. 23, iss. 4, (2010), pp. 465-487)
-
Transactions and non-atomic API calls in Java Card: specification ambiguity and strange implementation behaviours 2004, External research report
-
-
Traces, executions and schedulers, coalgebraically 2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 206-221)
-
Traces for coalgebraic components 2011, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 21, iss. 2, (2011), pp. 267-320)
-
Trace semantics via determinization Jacobs, B. ; Silva, A.; Sokolova, A.2015, Article / Letter to editor (Journal of Computer and System Sciences, vol. 81, iss. 5, (2015), pp. 859-879)
-
Trace Semantics via Determinization Jacobs, B.P.F. ; Silva, A.; Sokolova, A.2012, Part of book or chapter of book (Pattinson, D.; Schröder, L. (ed.), Coalgebraic Methods in Computer Science, pp. 109-129)
Now showing items 1-50 of 573
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text