This is the research site of Bernard van Gastel. This site includes academic articles, and background articles. Sometimes I appear in the media, and that is also listed here. I work at the Radboud University, in the interdisciplinairy hub for digitalization and society. In short the institute is called the iHub. We are looking into the effects of digitalization. And as I am a computer scientist, my focus is security and privacy of software and systems. I combine area with my other research interest in energy efficient software. Together, I call this Sustainable Software. My non-academic programming work can be found on my Bit Powder site, which include a shared clipboard over SSH utility, and some libraries.
At iHub, I head our lab. This lab makes proof of concepts for researchers, to quickly validate hypotheses. We also work on some larger projects, that are either digital infrastructure or scale up projects. You can read more about that on this page.
Bernard van Gastel, Rody Kersten, Marko van Eekelen: Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA 2015: 20-39
Rody Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko van Eekelen: ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26(14): 2432-2455 (2014)
Sylvia Stuurman, Bernard van Gastel, Harrie Passier: The design of mobile apps: what and how to teach? CSERC 2014: 93-100
Daniel J. Bernstein, Bernard van Gastel, Wesley Janssen, Tanja Lange, Peter Schwabe, Sjaak Smetsers: TweetNaCl: A Crypto Library in 100 Tweets. LATINCRYPT 2014: 64-83
Bernard van Gastel, Freek Verbeek, Julien Schmaltz: Inference of channel types in micro-architectural models of on-chip communication networks. VLSI-SoC 2014: 1-6
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko van Eekelen: A Hoare Logic for Energy Consumption Analysis. FOPARA 2013: 93-109
Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko van Eekelen: Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods 2013: 63-77
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz: A Macro for Reusing Abstract Functions and Theorems. ACL2 2013: 29-41
Bernard van Gastel, Julien Schmaltz: A formalisation of XMAS. ACL2 2013: 111-126
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko van Eekelen: Making resource analysis practical for real-time Java. JTRES 2012: 135-144
Abdulaziz Alhussien, Nader Bagherzadeh, Freek Verbeek, Bernard van Gastel, Julien Schmaltz: A formally verified deadlock-free routing function in a fault-tolerant NoC architecture. SBCCI 2012: 1-6
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko van Eekelen: Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. Sci. Comput. Program. 76(2): 82-99 (2011)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko van Eekelen: Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS 2008: 85-102
2021-09-15 CoronaCheck is the Dutch national COVID app to prove that the user has been vaccinated or has been tested, using QR-codes. It was designed with privacy in mind. But as with many digital systems, the interfacing with the real world can be a problem. And our iHub member Bernard van Gastel was a guest in the Dutch science TV show Atlas to talk about the QR-codes and what the problems with interfacing between the digital and analog world are. Watch here.
2021-03-16 A podcast about my SSD security research was recorded by NPO 3FM. You can listen it online.
2020-06-03 An interview with me about COVID tracking apps was published in iBestuur #35 (in Dutch).
Sven van Valburg (Master stage, RU, 2016) % 2015-2016
Carlo Meijer (PhD, RU, 2017)
Pascal van Gastel (no family ties, Master, OU, 2017)
Erin van der Veen (Master stage, RU, 2018)
Erik de Brouwer (Master, OU, 2019)
Hans van de Pol (second supervisor, MSc, OU, 2018)
Mark Westenberg (Master, OU, 2019)
Mitchell Duim (Master, OU, 2019)
Robbin van den Berg (Master, OU, 2019)
Robert Buitendijk (second supervisor, Master, OU, 2018)
Tom Nikken (Master stage, RU, 2019) % 2018-2019
Gunnar Noordbruis (Bachelor, RU, 2020)
Matthijs Spaans (Master, OU, 2020)
Willem van Oort (Master stage, RU, 2020)
Fu-Rianne Veens (MSc, RU, 2021)
Marc Verwoert (MSc, RU, 2021)
Student project ideas
Energy consumption of different GUI frameworks (intermediate-mode, retained, etc);
Bernard van Gastel (in full: dr. B.E. van Gastel)
Assistant professor (in Dutch: universitair docent) in security and privacy
Interdisciplinairy hub for digitalization and society (iHub)
E19.04 in the Erasmusbuilding, RU