Erasable PUFs: Formal treatment and generic design In Proceedings

C. Jin (Chenglu), W. Burleson (Wayne), M.E. van Dijk (Marten) and U. Rührmair (Ulrich)

ComputerWeekly_13November2020_Dutch IT award recognises importance of research in the wild Magazine Article

Non-linearly stable reduced-order models for incompressible flow with energy-conserving finite volume methods Article

B. Sanderse (Benjamin)

eFLINT: a domain-specific language for executable norm specifications In Proceedings

L.T. van Binsbergen (Thomas), L.-C. Liu (Lu-Chi), van Doesburg (Robert) and T. van Engers (Tom)

Erfgoedinstellingen en onderzoeks en kennisorganisaties starten samenwerking rond AI - Beeld en geluid - 16-11-2020 Magazine Article

History-based specification and verification of Java Collections in KeY In Proceedings

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Block-based syntax from context-free grammars In Proceedings

M. Verano Merino (Mauricio) and T. van der Storm (Tijs)

Quantum speedup for graph sparsification, cut approximation and Laplacian solving In Proceedings

S.M.G. Apers (Simon) and R.M. de Wolf (Ronald)