Bernard van Gastel

dr.

Senior Lecturer, Department of Computer Science
Senior Lecturer, Research Line Resilience (part of LIRS program)

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2 Conference article in proceeding
1 Article

2 results

Filter

2019

Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

Meijer, C. & van Gastel, B. E., 19 May 2019, 2019 IEEE Symposium on Security and Privacy SP 2019: Proceedings. IEEE, p. 72-87 16 p. (Ieee Security & Privacy).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

2018

Detecting energy bugs and hotspots in control software using model checking

Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 2018, Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review