Issue Date	Title	Author(s)
2023	Responding to stealthy attacks on android using timely-captured memory dumps	Bellizzi, Jennifer (2023)
2023	A framework for the automated distribution and execution of tests on mobile devices	Camilleri, Lydin (2023)
2023	The impact of Android UI attacks on malware forensic footprints	Bugeja, Manwel (2023)
2023	Runtime monitoring for asynchronous reactive components	Attard, Duncan Paul (2023)
2023	A framework for modelling believable behaviour of ambient non-player characters	Zammit, Mariah (2023)
2023	Runtime verification of robotic applications inspecting radioactive environments	Drago, Miriana (2023)
2023	Typing OTP design patterns with session types	Farrugia, Adrian (2023)
2023	Identifying likely reputable ethereum blockchain based projects	Malik, Cyrus (2023)
2023	Memory forensics of android backdooring based on App virtualization	Galea, Enrique Anthony (2023)
2023	Runtime verification of robotic aspects of the Mars rover	Fenech, Mattea (2023)
2023	Secure and correct execution of the X3DH protocol through runtime verification	Borg, Kirsty (2023)
2023	Instrumenting inline runtime monitoring in Elixir	Gauci, Paul (2023)
2023	Runtime verification program side‐effects in OCaml	Sciberras, Emma (2023)
2023	A decentralised application to enhance traceability and security inside a pharmaceutical supply chain	Pagano Mariano, Michele (2023)
2023	Exploring bidirectional typing for the Semi-Axiomatic sequent calculus	Borg, Benjamin (2023)
2023	Real-time player adaptable PCG using gameplay analysis techniques	Scicluna, Liam (2023)
2023	Procedurally generating interesting levels in 3D video games	Schimpf, Lukas (2023)
2023	Investigating the impact of pull requests on knowledge map construction	Ruggier, Daryl (2023)
2023	Towards a unified python programming model for decentralised applications	Abramov, Ivan (2023)