Simon Finn

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 3

Top Topics

Intrusion Detection

Security Problems

Top Venues

Publications

Shohreh Deldari, Mohammad Goudarzi, Aditya Joshi, Arash Shaghaghi, Simon Finn, Flora D. Salim, Sanjay Jha
AuditNet: A Conversational AI-based Security Assistant [DEMO]. CoRR (2024)
Mohammad Goudarzi, Arash Shaghaghi, Simon Finn, Sanjay Jha
Lack of Systematic Approach to Security of IoT Context Sharing Platforms. CoRR (2024)
Martin Langhammer, Simon Finn, Sergey Gribok, Bogdan Pasca
Dense FPGA Compute Using Signed Byte Tuples. FPL (2021)
Simon Finn
Synthetic animated realities. EVA (2012)
Simon Finn, Michael P. Fourman, John Longley
Partial Functions in a Total Setting. J. Autom. Reason. 18 (1) (1997)
Nick Chapman, Simon Finn, Michael P. Fourman
Datatypes in L2. TPHOLs (1994)
Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes
Formal Methods and Their Future. EUROCAST (1993)
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
Formal Tools in Tri-State Design in Busses. TPHOLs (1992)
Simon Finn
Hoisting: Lazy Evaluation in a Cold Climate. TAPSOFT, Vol.2 (1987)