Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Digital and Cyber Forensics
Abstract
Open educational resources for two four-hour workshops in a master's programme in network forensics. In both workshops students build something small with the help of an AI assistant and then establish how far it can be trusted. The code is short; the work is in the checking. Workshop 1: AI-assisted network detector. Students specify, build and validate a small Python classifier for suspicious network events, review a detector drafted by an AI assistant, keep a fault log, and compare validation designs and what they mean for an analyst's workload. Data: 2,000 synthetic, labelled connection records. Workshop 2: Generative AI for evidence-safe forensic triage. Students build a pipeline in which a language model helps to sort log evidence while deterministic checks and a human reviewer decide what is reported: parsing with line references, rule-based extraction, a strict output schema, verification of every statement against the lines it cites, adversarial tests and a scorecard. Data: 36 synthetic log lines from one fictional incident and nine stored model answers. Contents. A zip with three Jupyter notebooks (setup check with a readiness self-test, and one starter notebook per workshop), the two datasets with recorded SHA-256 hashes, stored AI-assistant answers and stored model answers, helper code, a student handbook and slides. The handbook and the slides are also provided as separate PDF files. Requirements. Python 3.11 or later with JupyterLab, pandas, scikit-learn and Pydantic. No network connection, AI account or GPU is needed: every task can be done with the stored answers in the package. Students write about 40 and 65 lines of Python respectively, plus short written answers; each code task has a specification and a check cell. Data. All data is synthetic and was generated for these workshops. IP addresses come from private and documentation ranges and domain names use reserved example names. The stored assistant and model answers are scripted teaching material, not recordings of any AI product. For teachers. Worked solutions, ground truth, an instructor guide, tests and build scripts exist as a separate instructor package. It is not published in this record, so that the answers are not publicly downloadable, and is available from the author on request. Status. Version 1.0.0 was built and run end to end on Python 3.11, 3.12 and 3.13. It has not yet been evaluated with students; the time budgets are estimates. Licence. Text, slides and data: CC BY 4.0. Code: MIT License. Funding. Funded by the Swedish Institute.
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.