Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Project
Actors you can trust: a high-level language abstraction for remote attestation and how to securely compile it
Information
Project Team
Organisations
Outputs and Outcomes
Publications
Latch : enabling large-scale automated testing on constrained systems
Tom Lauwaerts
Stefan Marr
Christophe Scholliers
A1
Journal Article
in
SCIENCE OF COMPUTER PROGRAMMING
2024
Gaiwan : a size-polymorphic typesystem for GPU programs
Robbert Gurdeep Singh
Christophe Scholliers
A1
Journal Article
in
SCIENCE OF COMPUTER PROGRAMMING
2023