Simon Finn

According to our database, Simon Finn authored at least 11 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Threat Modelling of IoT Context-Sharing Platforms.

Mohammad Goudarzi, Arash Shaghaghi, Simon Finn, Burkhard Stiller, Sanjay K. Jha

CoRR, 2024

AuditNet: A Conversational AI-based Security Assistant [DEMO].

Shohreh Deldari, Mohammad Goudarzi, Aditya Joshi, Arash Shaghaghi, Simon Finn, Flora D. Salim, Sanjay Jha

CoRR, 2024

Lack of Systematic Approach to Security of IoT Context Sharing Platforms.

Mohammad Goudarzi, Arash Shaghaghi, Simon Finn, Sanjay Jha

CoRR, 2024

AuditNet: Conversational AI Security Assistant.

Shohreh Deldari, Mohammad Goudarzi, Aditya Joshi, Arash Shaghaghi, Simon Finn, Flora D. Salim, Sanjay Jha

Proceedings of the Adjunct Proceedings of the 26th International Conference on Mobile Human-Computer Interaction, 2024

2021

Dense FPGA Compute Using Signed Byte Tuples.

Martin Langhammer, Simon Finn, Sergey Gribok, Bogdan Pasca

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2012

Synthetic animated realities.

Simon Finn

Proceedings of the Electronic Visualisation and the Arts, 2012

1997

Partial Functions in a Total Setting.

Simon Finn, Michael P. Fourman, John Longley

J. Autom. Reason., 1997

1994

Datatypes in L2.

Nick Chapman, Simon Finn, Michael P. Fourman

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Formal Methods and Their Future.

Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes

Proceedings of the Computer Aided Systems Theory, 1993

1992

Formal Tools in Tri-State Design in Busses.

Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1987

Hoisting: Lazy Evaluation in a Cold Climate.

Simon Finn

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987