HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems

Jainta Paul; Stefan Mitsch; Luis Garcia

doi:10.1007/978-3-031-93706-4_17

HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems

Jainta Paul
, Stefan Mitsch
, Luis Garcia

University of Utah

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings
Editors	Aaron Dutle, Laura Humphrey, Laura Titolo
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	294-312
Number of pages	19
ISBN (Print)	9783031937057
DOIs	https://doi.org/10.1007/978-3-031-93706-4_17
State	Published - 2025
Event	17th International Symposium on NASA Formal Methods, NFM 2025 - Hampton Roads, United States Duration: Jun 11 2025 → Jun 13 2025

Publication series

Name	Lecture Notes in Computer Science
Volume	15682 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Symposium on NASA Formal Methods, NFM 2025
Country/Territory	United States
City	Hampton Roads
Period	6/11/25 → 6/13/25

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

Cyber-physical Systems
Differential Dynamic Logic
Digital Twin Security

Access to Document

10.1007/978-3-031-93706-4_17

Cite this

Paul, J., Mitsch, S., & Garcia, L. (2025). HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems. In A. Dutle, L. Humphrey, & L. Titolo (Eds.), NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings (pp. 294-312). (Lecture Notes in Computer Science; Vol. 15682 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-93706-4_17

HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems. / Paul, Jainta; Mitsch, Stefan; Garcia, Luis.
NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. ed. / Aaron Dutle; Laura Humphrey; Laura Titolo. Springer Science and Business Media Deutschland GmbH, 2025. p. 294-312 (Lecture Notes in Computer Science; Vol. 15682 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Paul, J, Mitsch, S & Garcia, L 2025, HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems. in A Dutle, L Humphrey & L Titolo (eds), NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Lecture Notes in Computer Science, vol. 15682 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 294-312, 17th International Symposium on NASA Formal Methods, NFM 2025, Hampton Roads, United States, 6/11/25. https://doi.org/10.1007/978-3-031-93706-4_17

Paul J, Mitsch S, Garcia L. HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems. In Dutle A, Humphrey L, Titolo L, editors, NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Springer Science and Business Media Deutschland GmbH. 2025. p. 294-312. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-93706-4_17

Paul, Jainta ; Mitsch, Stefan ; Garcia, Luis. / HyTwin : Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems. NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. editor / Aaron Dutle ; Laura Humphrey ; Laura Titolo. Springer Science and Business Media Deutschland GmbH, 2025. pp. 294-312 (Lecture Notes in Computer Science).

@inproceedings{505fbe99b6c846298e704f32bdbf4c36,

title = "HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems",

keywords = "Cyber-physical Systems, Differential Dynamic Logic, Digital Twin Security",

author = "Jainta Paul and Stefan Mitsch and Luis Garcia",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 17th International Symposium on NASA Formal Methods, NFM 2025 ; Conference date: 11-06-2025 Through 13-06-2025",

year = "2025",

doi = "10.1007/978-3-031-93706-4\_17",

language = "English",

isbn = "9783031937057",

series = "Lecture Notes in Computer Science",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "294--312",

editor = "Aaron Dutle and Laura Humphrey and Laura Titolo",

booktitle = "NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings",

}

TY - GEN

T1 - HyTwin

T2 - 17th International Symposium on NASA Formal Methods, NFM 2025

AU - Paul, Jainta

AU - Mitsch, Stefan

AU - Garcia, Luis

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

PY - 2025

Y1 - 2025

KW - Cyber-physical Systems

KW - Differential Dynamic Logic

KW - Digital Twin Security

UR - https://www.scopus.com/pages/publications/105008758322

UR - https://www.scopus.com/pages/publications/105008758322#tab=citedBy

U2 - 10.1007/978-3-031-93706-4_17

DO - 10.1007/978-3-031-93706-4_17

M3 - Conference contribution

AN - SCOPUS:105008758322

SN - 9783031937057

T3 - Lecture Notes in Computer Science

SP - 294

EP - 312

BT - NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings

A2 - Dutle, Aaron

A2 - Humphrey, Laura

A2 - Titolo, Laura

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 11 June 2025 through 13 June 2025

ER -