MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems

Paoletti, Nicola (Primary Investigator)

Project: Research

Status	Active
Effective start/end date	30/09/2022 → 29/07/2025

Collaborative partners

King's College London (lead)
Diabetes Neuromathix Pty. Ltd
Stony Brook University
CLOSED LOOP Systems s.r.o.

Funding

EPSRC Engineering and Physical Sciences Research Council: £356,912.00

1 Conference paper
1 Article

Biosignal Authentication Considered Harmful Today
Krish, V., Paoletti, N., Kazemi Mehrabadi, M., Smolka, S. A. & Rahmati., A., 2024, (Accepted/In press) USENIX Security 2024.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File

123 Downloads (Pure)
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs
Krish, V., Paoletti, N., Smolka, S. A. & Rahmati., A., 28 Dec 2022, In: IEEE Access. 11, p. 4992 5003 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
1 Citation (Scopus)

26 Downloads (Pure)