Simon Finn

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