20172019

Research output per year

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

Fingerprint Dive into the research topics where Bernard van Gastel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 2 Conference article in proceeding
  • 1 Article

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 proceedingConference article in proceedingAcademicpeer-review

  • 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 proceedingConference article in proceedingAcademicpeer-review

  • Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

    van Gastel, B. & van Eekelen, M., 2017, In : Electronic proceedings in theoretical computer science. 248, p. 24-37 14 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access