Hoisting: Lazy Evaluation in a Cold Climate. - Simon Finn (TAPSOFT, Vol.2, 1987)

Formal Tools in Tri-State Design in Busses. - Roger B. Hughes; M. D. Francis; Simon Finn; Gerry Musgrave (TPHOLs, 1992)

Formal Methods and Their Future. - Gerry Musgrave; Simon Finn; M. D. Francis; R. Harris; Roger B. Hughes (EUROCAST, 1993)

Datatypes in L2. - Nick Chapman; Simon Finn; Michael P. Fourman (TPHOLs, 1994)

Partial Functions in a Total Setting. - Simon Finn; Michael P. Fourman; John Longley (J. Autom. Reason., 1997)

Synthetic animated realities. - Simon Finn (EVA, 2012)

Dense FPGA Compute Using Signed Byte Tuples. - Martin Langhammer; Simon Finn; Sergey Gribok; Bogdan Pasca 001 (FPL, 2021)

AuditNet: Conversational AI Security Assistant. - Shohreh Deldari; Mohammad Goudarzi; Aditya Joshi; Arash Shaghaghi; Simon Finn; Flora D. Salim; Sanjay Jha 001 (MobileHCI (Companion), 2024)

Towards Threat Modelling of IoT Context-Sharing Platforms. - Mohammad Goudarzi; Arash Shaghaghi; Simon Finn; Burkhard Stiller; Sanjay K. Jha (NCA, 2024)

Lack of Systematic Approach to Security of IoT Context Sharing Platforms. - Mohammad Goudarzi; Arash Shaghaghi; Simon Finn; Sanjay Jha 001 (PST, 2024)

AuditNet: A Conversational AI-based Security Assistant [DEMO]. - Shohreh Deldari; Mohammad Goudarzi; Aditya Joshi; Arash Shaghaghi; Simon Finn; Flora D. Salim; Sanjay Jha 001 (CoRR, 2024)