Thomas Van Strydonck

Orcid: 0000-0002-5262-1381

According to our database¹, Thomas Van Strydonck authored at least 8 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.

[BibT_eX]

[DOI]

J. ACM, 2024

2023

CHERI-TrEE: Flexible enclaves on capability machines.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

2022

Proving full-system security properties under multiple attacker models on capability machines.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization.

[BibT_eX]

[DOI]

Dataset, September, 2021

Efficient and provable local capability revocation using uninitialized capabilities.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Linear capabilities for fully abstract compilation of separation-logic-verified code.

[BibT_eX]

[DOI]

Thomas Van Strydonck

Frank Piessens

Dominique Devriese

J. Funct. Program., 2021

Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture.

[BibT_eX]

[DOI]

Thijs Vercammen

Thomas Van Strydonck

Dominique Devriese

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020

Uninitialized Capabilities.

[BibT_eX]

[DOI]

CoRR, 2020

Thomas Van Strydonck

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...