Autonomous secure remote attestation even when all used and to be used digital keys leak Tech Report

M.E. van Dijk (Marten), D. Gurevin (Deniz), C. Jin (Chenglu), O. Khan (Omer) and P.H. Nguyen (Phuong Ha)

Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files Software

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

Integrating ADTs in KeY and their Application to History-based Reasoning : Video Material Software

J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

1,8 miljoen euro subsidie om communiceren veilig te houden - Beveiligingsnieuws - 10-05-2021 Magazine Article

Assessing the quality of online reviews using formal argumentation theory In Proceedings

D. Ceolin (Davide), G. Primiero (Giuseppe), J. Wielemaker (Jan) and M. Soprano (Michael)

Variable projection for non-smooth problems Article

T. van Leeuwen (Tristan) and A.Y. Aravkin (Aleksandr)

Learning continuous-time working memory tasks with on-policy neural reinforcement learning Article

D. Zambrano (Davide), P.R. Roelfsema (Pieter) and S.M. Bohte (Sander)

35 jaar .nl - Visie - 14-05-2021 Magazine Article