Subsidie Onderzoeksprogramma "Cybersecurity Initiative Flanders"

De Meuter, Wolfgang (Administrative Promotor)
Devriese, Dominique (Co-Promotor)
Gonzalez Boix, Elisa (Co-Promotor)
De Roover, Coen (Co-Promotor)

8 Conference paper
3 Article
1 Other report
1 Unpublished abstract

3 results

Filter

2021
A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses
Stiévenart, Q., Van Es, N., Van der Plas, J. & De Roover, C., 16 Jul 2021, In: Journal of Systems and Software. 181, 42 p., 111042.
Research output: Contribution to journal › Article › peer-review

Open Access
Efficient and provable local capability revocation using uninitialized capabilities
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L., 4 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-30 30 p., 6.
Research output: Contribution to journal › Article › peer-review

Open Access
File
9 Citations (Scopus)

110 Downloads (Pure)
2020
Prioritising Server Side Reachability via Inter-process Concolic Testing
Vandercammen, M., Christophe, L., Di Nucci, D., De Meuter, W. & De Roover, C., 1 Oct 2020, In: The Art, Science, and Engineering of Programming. 5, 2, 36 p., 5.
Research output: Contribution to journal › Article › peer-review

Open Access
File
52 Downloads (Pure)