Search results

Kebede, M. G. (2026). Normative control for data access in healthcare research. [Thesis, fully internal, Universiteit van Amsterdam].
Pacciani, T., Frolich, D., van Binsbergen, L. T., & Papagianni, C. (2025). P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 54-66). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742879
Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2025). A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 80-93). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742882
Chabal, D., Muller, T., Zhang, E., Sapra, D., de Laat, C., & Mann, Z. Á. (2025). COLIBRI: Optimizing Multi-party Secure Neural Network Inference Time for Transformers. In L. Nemec Zlatolas, K. Rannenberg, T. Welzer, & J. Garcia-Alfaro (Eds.), ICT Systems Security and Privacy Protection: 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21–23, 2025 : proceedings (Vol. I, pp. 17-31). (IFIP Advances in Information and Communication Technology; Vol. 745). Springer. https://doi.org/10.1007/978-3-031-92882-6_2
Engelhardt, C., Coffey, A., Demchenko, Y., Garbuglia, F., Jetten, M., Kersloot, M., McCutcheon, V., Nylinder, S., Petersen, B., Schmidt, B., Shanahan, H., Straube, A., Venkataraman, S., & Zhou, B. (2025). A Modular and Community-Driven FAIR Teaching and Training Handbook for Higher Education Institutions. Liber Quarterly, 35(1). https://doi.org/10.53377/lq.16675
Esterhuyse, C. A., Lion, B., Hiep, H.-D. A., & Arbab, F. (2025). Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. In C. Di Giusto, & A. Ravara (Eds.), Coordination Models and Languages: 27th IFIP WG 6.1 International Conference, COORDINATION 2025 : held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 : proceedings (pp. 3-29). (Lecture Notes in Computer Science; Vol. 15731). Springer. https://doi.org/10.1007/978-3-031-95589-1_1
Frölich, D., Pacciani, T., & van Binsbergen, L. T. (2025). Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. In SLE'25: Proceedings of SLE 2025 : 18th ACM IGPLAN International Confertence on Software Language Engineering : June 12-13, 2025, Koblenz, Germany (pp. 134-147). Association for Computing Machinery. https://doi.org/10.1145/3732771.3742719
Alsayed Kassem, J., Müller, T., Esterhuyse, C. A., Kebede, M. G., Osseyran, A., & Grosso, P. (2025). The EPI framework: A data privacy by design framework to support healthcare use cases. Future Generation Computer Systems, 165, Article 107550. https://doi.org/10.1016/j.future.2024.107550
van Dijk, R., van de Wetering, J., Argentini, R., Gorka, L., van Luenen, A. F., Minnema, S., Rijgersberg, E., Ugen, M., Mann, Z. Á., & Geradts, Z. (2025). PaSSw0rdVib3s! AI-assisted password recognition for digital forensic investigations. Forensic Science International: Digital Investigation, 52(supplement), Article 301870. https://doi.org/10.1016/j.fsidi.2025.301870
Esterhuyse, C. A. (2025). Specification-centric multi-agent systems. [Thesis, fully internal, Universiteit van Amsterdam].

Page 1 of 15