Zakaria Najm, Dirmanto Jap, Bernhard Jungk, Stjepan Picek, Shivam Bhasin (2018), On Comparing Side-channel Properties of AES and ChaCha20 on Microcontrollers, In 2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) p.552-555, IEEE.

Sohon Roy, Arie van Deursen, Felienne Hermans (2018), On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets, In Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security p.199-206, IEEE.

Stjepan Picek, Ioannis Petros Samiotis, Jeahun Kim, Annelie Heuser, Shivam Bhasin, Axel Legay (2018), On the Performance of Convolutional Neural Networks for Side-Channel Analysis, A. Chattopadhyay, C. Rebeiro, Y. Yarom (Eds.), In Security, Privacy, and Applied Cryptography Engineering p.157-176, Springer.

Gabriël Konat, Michael Steindorfer, Sebastian Erdweg, Eelco Visser (2018), PIE: A Domain-Specific Language for Interactive Software Development Pipelines, In Art, Science, and Engineering of Programming Volume 2 p.1-31.

Nick ten Veen, Daco C Harkes, Eelco Visser (2018), PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency Tracking, In Companion of the The Web Conference 2018 on The Web Conference 2018 p.721-729, ACM.

Dan Frumin, Robbert Krebbers, Lars Birkedal (2018), ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency, In LICS'18 p.442-451, ACM.

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer (2018), RustBelt: securing the foundations of the rust programming language, In Proceedings of the ACM on Programming Languages Volume 2 p.66:1-66:34.

Gabriël Konat, Sebastian Erdweg, Eelco Visser (2018), Scalable Incremental Building with Dynamic Task Dependencies, In ASE 2018 p.76-86, ACM.

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser (2018), Scopes as Types, In Proceedings of the ACM on Programming Languages Volume 2 p.1-30.

Jeroen Castelein, Maurício Aniche, Mozhan Soltani, Annibale Panichella, Arie van Deursen (2018), Search-Based Test Data Generation for SQL Queries, In Proceedings of the 40th International Conference on Software Engineering p.1220-1230.