Browse by Faculty & Departments

Zet ING met proef privacy op het spel?

Jacobs, B.

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)

Wie krijgt het losgeld van de Universiteit Maastricht?

Banach, B.; Hendrikx, A.; Jacobs, B.P.F.

2020, Contribution for newspaper or weekly magazine (De Limburger, 4 februari 2020)

Wie is U?

Dommering, E.; Jacobs, B. ; Spaink, K.; Weelden, D. van

2010, Book (monograph)

Which Are Harder? Soft Skills or Hard Skills?

Pieterse, V.; Eekelen, M.C.J.D. van

2016, 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. van

2014, 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

Pieters, W.

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

Jacobs, B.

2014, Contribution for newspaper or weekly magazine (Trouw, 5 maart 2014)

Wat ben je?

Jacobs, B.

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)

Pieters, W. ; Consoli, L.

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; et al.

sine al.

2008, Contribution for newspaper or weekly magazine (NRC Handelsblad, 2 april 2008, pp. 07)

Voting using Java Card smart cards: A case study

Breunesse, C.-B. ; Jacobs, B. ; Oostdijk, M.D.

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. van

2014, Article / Letter to editor (New Scientist, vol. 2014, iss. December, (2014), pp. 16-17)

De Voorspelde Mens

Jacobs, B.P.F.

2008, Part of book or chapter of book (Consoli, L.; Hoekstra, R. (ed.), Technologie en Mensbeeld, pp. 52-60)

Vertrouwen en Authenticatie

Jacobs, B.

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 OpenJDK’s LinkedList using KeY

Hiep, H.-D.; Maathuis, O.; Bian, J.; Boer, F. de; Eekelen, M. van ; Gouw, S de

2020, Article in monograph or in proceedings (Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234)

Verifying functional formalizations – a type-theoretical case study in pvs

Smetsers, S. ; Barendsen, E.

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

Eekelen, M.C.J.D. van ; Smetsers, S.

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

Hoepman, J.H.

2005, Article / Letter to editor (vol. 12, iss. juni, (2005), pp. 10-11)

Veiliger software door open source

Hoepman, J.H.

2005, Article / Letter to editor (Informatiebeveiliging, vol. 8, (2005), pp. 4-6)

Veilig online stemmen vanuit San Francisco?

Pieters, W.

2005, Article / Letter to editor (Idee, vol. 26, iss. 1, (2005), pp. 8-10)

Veilig buiten surfen

Nijssen, T.; Jacobs, B.P.F.

2020, Contribution for newspaper or weekly magazine (De Volkskrant, 25 juli 2020, pp. 31)

Vastleggen van Kwaliteit is Essentieel

Eekelen, M.C.J.D. van ; Tretmans, G.J. ; Willemse, T.A.C.

2005, Article / Letter to editor (Automatisering Gids, vol. 39, iss. 11, (2005), pp. 13)

Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring

Eekelen, M.C.J.D. van ; Tretmans, G.J. ; Willemse, T.A.C.

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. van

2013, 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. van

2016, 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. van

2016, 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

Shkaravska, O. ; Eekelen, M.C.J.D. van

2014, Article / Letter to editor (Journal of Symbolic Computation, vol. 60, (2014), pp. 15-28)

Uniqueness type inference

Barendsen, E. ; Smetsers, S.

1995, Article / Letter to editor (Programming Languages: Implementations, Logics and Programs, Vol. 982, (1995), pp. 189-206)

Une petite note manuscrite du renseignement extérieur allemand brise un très vieux secret

Guibert, N.; Jacobs, B.P.F.

2020, Contribution for newspaper or weekly magazine (Le Monde, 24 juli 2020)

Type-based Object Immutability with Flexible Initialization - extended version

Haack, C. ; Poll, E.

2009, External research report

Type-based Object Immutability with Flexible Initialization

Haack, C. ; Poll, E.

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)

The type system of Aldor

Poll, E. ; Thompson, S.

1999, Internal report

Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Shkaravska, O. ; Kesteren, R. van; Eekelen, M.C.J.D. van

2007, External research report

Two worlds, one smart card

Hoepman, Jaap-Henk ; Kleinhuis, Geert

2007, 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

Jacobs, B.

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)