Concepedia

Sander Huyghebaert

SH

Statistics

Publications

2

Citations

40

H-Index

2

Active since

2021

Affiliations

Vrije Universiteit Brussel(Current)

KU Leuven

Sander Huyghebaert is an author at Vrije Universiteit Brussel specializing in access control, formal methods, and data security.

ORCID

Top concepts

Publications per year

2021–2022

2

Publications

2

Efficient and provable local capability revocation using uninitialized capabilities

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

, , +20

Verified symbolic execution with Kripke specification monads (and no meta-programming)

Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov et al. · Proceedings of the ACM on Programming Languages · 2022 · 12 citations · Full text

Rows per page

1–2 of 2