Jay Dave, Parvez Faruki, Vijay Laxmi, Akka Zemmari, Manoj Gaur, Mauro Conti (2020), SPARK: Secure Pseudorandom Key-based Encryption for Deduplicated Storage, In Computer Communications Volume 154 p.148-159.

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.

Vincent Ghiette, Christian Doerr (2020), Scaling website fingerprinting, In 2020 IFIP Networking Conference (Networking) p.199-207.

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.

S. Hamdioui, M. Taouil, F. Smailbegovic (2020), Secure integrated circuit architecture.

S. Hamdioui, M. Taouil, F. Smailbegovic (2020), Secure integrated circuit architecture.

Kevin Anderson, Tom van den Berg, Arie van Deursen (2020), Server-Side Experimentation: Common challenges from 12 organisations in The Netherlands.

André Zegeling, Robert E. Kooij (2020), Singular perturbations of the Holling I predator-prey system with a focus, In Journal of Differential Equations Volume 269 p.5434-5462.

Jintao Yu, Razvan Nane, Imran Ashraf, Mottaqiallah Taouil, Said Hamdioui, Henk Corporaal, Koen Bertels (2020), Skeleton-based Synthesis Flow for Computation-In-Memory Architectures, In IEEE Transactions on Emerging Topics in Computing Volume 8 p.545-558.