Arjen Rouvoet, Hendrik Van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser (2020), Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications, In Proceedings of the ACM on Programming Languages Volume 4 p.1-28.

Daan van der Valk, Marina Krcek, Stjepan Picek, Shivam Bhasin (2020), Learning From A Big Brother: Mimicking Neural Networks in Profiled Side-channel Analysis, In 2020 57th ACM/IEEE Design Automation Conference, DAC 2020 p.1-6, IEEE.

Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens (2020), Lightweight Ciphers and their Side-channel Resilience, In IEEE Transactions on Computers Volume 69 p.1434-1448.

Mansoureh Labafniya, Stjepan Picek, Shahram Etemadi Borujeni, Nele Mentens (2020), On the feasibility of using evolvable hardware for hardware Trojan detection and prevention, In Applied Soft Computing Journal Volume 91.

Marko Djurasevic, Domagoj Jakobovic, Stjepan Picek (2020), One property to rule them all?: On the limits of trade-offs for S-boxes, In GECCO 2020 p.1064-1072, ACM.

Thomas Christensen, Charlotte Loh, Stjepan Picek, Domagoj Jakobović, Li Jing, Sophie Fisher, Vladimir Ceperic, John D. Joannopoulos, Marin Soljačić (2020), Predictive and generative machine learning models for photonic crystals, In Nanophotonics Volume 9 p.4183-4192.

Lichao Wu, Stjepan Picek (2020), Remove Some Noise: On Pre-processing of Side-channel Measurements with Autoencoders, In IACR Transactions on Cryptographic Hardware and Embedded Systems Volume 2020 p.389-415.

Qin Lin, Sicco Verwer, John Dolan (2020), Safety Verification of a Data-driven Adaptive Cruise Controller.

Paolo G. Giarrusso, Leo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers (2020), Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris, In Proceedings of the ACM on Programming Languages Volume 4 p.114:1 - 114:29.

Mozhan Soltani, Annibale Panichella, Arie van Deursen (2020), Search-Based Crash Reproduction and Its Impact on Debugging, In IEEE Transactions on Software Engineering Volume 46 p.1294-1317.