Projects per year
Fingerprint
- 13 Similar Profiles
Network
Projects
- 1 Finished
-
BRGRD50: Joint R&D 2020: SWAMP : A Smart Water Management Platform for the Brussels-Capital Region
1/07/20 → 30/09/20
Project: Applied
Research output
-
Tamper-proof security mechanism against liar objects in JavaScript applications
Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 23 Mar 2020, (Unpublished).Research output: Unpublished contribution to conference › Unpublished abstract
-
A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular
Stiévenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 1 Jan 2019, In : Journal of Systems and Software. 147, p. 17-45 29 p.Research output: Contribution to journal › Article
Open Access4 Citations (Scopus) -
Effect-driven Flow Analysis
Nicolay, J., Stiévenart, Q., De Meuter, W. & De Roover, C., 13 Jan 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer, p. 247-274 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
3 Citations (Scopus) -
GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control
Scull Pupo, A. L., Nicolay, J., Efthymiadis, K., Nowe, A., De Roover, C. & Gonzalez Boix, E., 15 Mar 2019, Proceedings of the 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). IEEE, p. 624-628 5 p. 8667979. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
GUARDIA: specification and enforcement of javascript security policies without VM modifications
Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 12 Sep 2018, Proceedings of the 15th International Conference on Managed Languages & Runtimes. Association for Computing Machinery (ACM), 15 p. 17Research output: Chapter in Book/Report/Conference proceeding › Conference paper
2 Citations (Scopus)
Prizes
-
ACM AOSD International Student Research Competition
Jens Nicolay (Recipient), 30 Mar 2012
Prize: Prize (including medals and awards)
-
-
Winner VUB PhD Day student contest
Jens Nicolay (Recipient), 8 May 2012
Prize: Prize (including medals and awards)
Thesis
-
Automatic Parallelization of Scheme Programs using Static Analysis
Author: Nicolay, J., D'Hondt, T. & De Roover, C., 2010Supervisor: D'Hondt, T. (Promotor) & De Roover, C. (Advisor)
Student thesis: Master's Thesis
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
Author: Nicolay, J., 30 Jun 2016Supervisor: De Meuter, W. (Promotor) & De Roover, C. (Promotor)
Student thesis: Doctoral Thesis
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Interpretation Approach
Author: Nicolay, J., 2016Supervisor: Signer, B. (Jury)
Student thesis: Doctoral Thesis
-
STATIC VERIFICATION OF DYNAMIC SECURITY POLICIES
Author: Horemans, D. & Scull Pupo, A. L., 30 Jun 2017Supervisor: De Roover, C. (Promotor), Gonzalez Boix, E. (Promotor), Nicolay, J. (Advisor) & Scull Pupo, A. L. (Advisor)
Student thesis: Master's Thesis
-
TAMPER-PROOF AND TRANSPARENT ENFORCEMENT OF SECURITY POLICIES IN BROWSER APPLICATIONS
Author: Jacob, J. & Scull Pupo, A. L., Sep 2018Supervisor: Gonzalez Boix, E. (Promotor), Scull Pupo, A. L. (Advisor) & Nicolay, J. (Advisor)
Student thesis: Master's Thesis