PAtt: Physics-based Attestation of Control Systems Article Swipe
Hamid Reza Ghaeini
,
Matthew Chan
,
Raad Bahmani
,
Ferdinand Brasser
,
Luis Antonio Ribot García
,
Jianying Zhou
,
Ahmad‐Reza Sadeghi
,
Nils Ole Tippenhauer
,
Saman Zonouz
·
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.60882/cispa.24612948
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.60882/cispa.24612948
Ensuring the integrity of embedded programmable logic controllers (PLCs) is critical for safe operation of industrial con-trol systems. In particular, a cyber-attack could manipulatecontrol logic running on the PLCs to bring the process ofsafety-critical application into unsafe states. Unfortunately,PLCs are typically not equipped with hardware support thatallows the use of techniques such as remote attestation to ver-ify the integrity of the logic code. In addition, so far remoteattestation is not able to verify the integrity of the physicalprocess controlled by the PLC.In this work, we present PAtt, a system that combines re-mote software attestation with control process validation. PAttleverages operation permutations—subtle changes in the op-eration sequences based on integrity measurements—whichdo not affect the physical process but yield unique traces ofsensor readings during execution. By encoding integrity mea-surements of the PLC’s memory state (software and data) intoits control operation, our system allows to remotely verifythe integrity of the control logic based on the resulting sensortraces. We implement the proposed system on a real PLCcontrolling a robot arm, and demonstrate its feasibility. Ourimplementation enables the detection of attackers that ma-nipulate the PLC logic to change process state and/or reportspoofed sensor readings (with an accuracy of 97% againsttested attacks).
Related Topics
Concepts
Process (computing)
Computer science
Embedded system
Programmable logic controller
Control logic
Software
State (computer science)
Data integrity
Industrial control system
Control system
Supervisory control
Computer hardware
Real-time computing
Operating system
Control (management)
Engineering
Computer security
Programming language
Artificial intelligence
Electrical engineering
Metadata
- Type
- article
- Language
- en
- OA Status
- green
- Cited By
- 21
- References
- 45
- Related Works
- 20
- OpenAlex ID
- https://openalex.org/W2961318055
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W2961318055Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.60882/cispa.24612948Digital Object Identifier
- Title
-
PAtt: Physics-based Attestation of Control SystemsWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2023Year of publication
- Publication date
-
2023-01-01Full publication date if available
- Authors
-
Hamid Reza Ghaeini, Matthew Chan, Raad Bahmani, Ferdinand Brasser, Luis Antonio Ribot García, Jianying Zhou, Ahmad‐Reza Sadeghi, Nils Ole Tippenhauer, Saman ZonouzList of authors in order
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.60882/cispa.24612948Direct OA link when available
- Concepts
-
Process (computing), Computer science, Embedded system, Programmable logic controller, Control logic, Software, State (computer science), Data integrity, Industrial control system, Control system, Supervisory control, Computer hardware, Real-time computing, Operating system, Control (management), Engineering, Computer security, Programming language, Artificial intelligence, Electrical engineeringTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
21Total citation count in OpenAlex
- Citations by year (recent)
-
2025: 1, 2024: 1, 2023: 2, 2022: 3, 2021: 8Per-year citation counts (last 5 years)
- References (count)
-
45Number of works referenced by this work
- Related works (count)
-
20Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W2961318055 |
|---|---|
| doi | https://doi.org/10.60882/cispa.24612948 |
| ids.doi | https://doi.org/10.60882/cispa.24612948 |
| ids.mag | 2961318055 |
| ids.openalex | https://openalex.org/W2961318055 |
| fwci | |
| type | article |
| title | PAtt: Physics-based Attestation of Control Systems |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | 180 |
| biblio.first_page | 165 |
| topics[0].id | https://openalex.org/T11424 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9997000098228455 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Security and Verification in Computing |
| topics[1].id | https://openalex.org/T12122 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9994999766349792 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1708 |
| topics[1].subfield.display_name | Hardware and Architecture |
| topics[1].display_name | Physical Unclonable Functions (PUFs) and Hardware Security |
| topics[2].id | https://openalex.org/T11241 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9994999766349792 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1711 |
| topics[2].subfield.display_name | Signal Processing |
| topics[2].display_name | Advanced Malware Detection Techniques |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C98045186 |
| concepts[0].level | 2 |
| concepts[0].score | 0.6613972187042236 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q205663 |
| concepts[0].display_name | Process (computing) |
| concepts[1].id | https://openalex.org/C41008148 |
| concepts[1].level | 0 |
| concepts[1].score | 0.6584908366203308 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[1].display_name | Computer science |
| concepts[2].id | https://openalex.org/C149635348 |
| concepts[2].level | 1 |
| concepts[2].score | 0.648817777633667 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q193040 |
| concepts[2].display_name | Embedded system |
| concepts[3].id | https://openalex.org/C37374048 |
| concepts[3].level | 2 |
| concepts[3].score | 0.6338116526603699 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q188674 |
| concepts[3].display_name | Programmable logic controller |
| concepts[4].id | https://openalex.org/C2776350369 |
| concepts[4].level | 2 |
| concepts[4].score | 0.5915102958679199 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q843479 |
| concepts[4].display_name | Control logic |
| concepts[5].id | https://openalex.org/C2777904410 |
| concepts[5].level | 2 |
| concepts[5].score | 0.5433093309402466 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q7397 |
| concepts[5].display_name | Software |
| concepts[6].id | https://openalex.org/C48103436 |
| concepts[6].level | 2 |
| concepts[6].score | 0.5142602324485779 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q599031 |
| concepts[6].display_name | State (computer science) |
| concepts[7].id | https://openalex.org/C33762810 |
| concepts[7].level | 2 |
| concepts[7].score | 0.4732304811477661 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q461671 |
| concepts[7].display_name | Data integrity |
| concepts[8].id | https://openalex.org/C40071531 |
| concepts[8].level | 3 |
| concepts[8].score | 0.46647271513938904 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q2513962 |
| concepts[8].display_name | Industrial control system |
| concepts[9].id | https://openalex.org/C17500928 |
| concepts[9].level | 2 |
| concepts[9].score | 0.4500664472579956 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q959968 |
| concepts[9].display_name | Control system |
| concepts[10].id | https://openalex.org/C92991967 |
| concepts[10].level | 3 |
| concepts[10].score | 0.440848171710968 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q7644329 |
| concepts[10].display_name | Supervisory control |
| concepts[11].id | https://openalex.org/C9390403 |
| concepts[11].level | 1 |
| concepts[11].score | 0.34274232387542725 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q3966 |
| concepts[11].display_name | Computer hardware |
| concepts[12].id | https://openalex.org/C79403827 |
| concepts[12].level | 1 |
| concepts[12].score | 0.33668920397758484 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q3988 |
| concepts[12].display_name | Real-time computing |
| concepts[13].id | https://openalex.org/C111919701 |
| concepts[13].level | 1 |
| concepts[13].score | 0.32516324520111084 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q9135 |
| concepts[13].display_name | Operating system |
| concepts[14].id | https://openalex.org/C2775924081 |
| concepts[14].level | 2 |
| concepts[14].score | 0.29635047912597656 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q55608371 |
| concepts[14].display_name | Control (management) |
| concepts[15].id | https://openalex.org/C127413603 |
| concepts[15].level | 0 |
| concepts[15].score | 0.27283966541290283 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q11023 |
| concepts[15].display_name | Engineering |
| concepts[16].id | https://openalex.org/C38652104 |
| concepts[16].level | 1 |
| concepts[16].score | 0.21690338850021362 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q3510521 |
| concepts[16].display_name | Computer security |
| concepts[17].id | https://openalex.org/C199360897 |
| concepts[17].level | 1 |
| concepts[17].score | 0.10178336501121521 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[17].display_name | Programming language |
| concepts[18].id | https://openalex.org/C154945302 |
| concepts[18].level | 1 |
| concepts[18].score | 0.09492060542106628 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[18].display_name | Artificial intelligence |
| concepts[19].id | https://openalex.org/C119599485 |
| concepts[19].level | 1 |
| concepts[19].score | 0.08134979009628296 |
| concepts[19].wikidata | https://www.wikidata.org/wiki/Q43035 |
| concepts[19].display_name | Electrical engineering |
| keywords[0].id | https://openalex.org/keywords/process |
| keywords[0].score | 0.6613972187042236 |
| keywords[0].display_name | Process (computing) |
| keywords[1].id | https://openalex.org/keywords/computer-science |
| keywords[1].score | 0.6584908366203308 |
| keywords[1].display_name | Computer science |
| keywords[2].id | https://openalex.org/keywords/embedded-system |
| keywords[2].score | 0.648817777633667 |
| keywords[2].display_name | Embedded system |
| keywords[3].id | https://openalex.org/keywords/programmable-logic-controller |
| keywords[3].score | 0.6338116526603699 |
| keywords[3].display_name | Programmable logic controller |
| keywords[4].id | https://openalex.org/keywords/control-logic |
| keywords[4].score | 0.5915102958679199 |
| keywords[4].display_name | Control logic |
| keywords[5].id | https://openalex.org/keywords/software |
| keywords[5].score | 0.5433093309402466 |
| keywords[5].display_name | Software |
| keywords[6].id | https://openalex.org/keywords/state |
| keywords[6].score | 0.5142602324485779 |
| keywords[6].display_name | State (computer science) |
| keywords[7].id | https://openalex.org/keywords/data-integrity |
| keywords[7].score | 0.4732304811477661 |
| keywords[7].display_name | Data integrity |
| keywords[8].id | https://openalex.org/keywords/industrial-control-system |
| keywords[8].score | 0.46647271513938904 |
| keywords[8].display_name | Industrial control system |
| keywords[9].id | https://openalex.org/keywords/control-system |
| keywords[9].score | 0.4500664472579956 |
| keywords[9].display_name | Control system |
| keywords[10].id | https://openalex.org/keywords/supervisory-control |
| keywords[10].score | 0.440848171710968 |
| keywords[10].display_name | Supervisory control |
| keywords[11].id | https://openalex.org/keywords/computer-hardware |
| keywords[11].score | 0.34274232387542725 |
| keywords[11].display_name | Computer hardware |
| keywords[12].id | https://openalex.org/keywords/real-time-computing |
| keywords[12].score | 0.33668920397758484 |
| keywords[12].display_name | Real-time computing |
| keywords[13].id | https://openalex.org/keywords/operating-system |
| keywords[13].score | 0.32516324520111084 |
| keywords[13].display_name | Operating system |
| keywords[14].id | https://openalex.org/keywords/control |
| keywords[14].score | 0.29635047912597656 |
| keywords[14].display_name | Control (management) |
| keywords[15].id | https://openalex.org/keywords/engineering |
| keywords[15].score | 0.27283966541290283 |
| keywords[15].display_name | Engineering |
| keywords[16].id | https://openalex.org/keywords/computer-security |
| keywords[16].score | 0.21690338850021362 |
| keywords[16].display_name | Computer security |
| keywords[17].id | https://openalex.org/keywords/programming-language |
| keywords[17].score | 0.10178336501121521 |
| keywords[17].display_name | Programming language |
| keywords[18].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[18].score | 0.09492060542106628 |
| keywords[18].display_name | Artificial intelligence |
| keywords[19].id | https://openalex.org/keywords/electrical-engineering |
| keywords[19].score | 0.08134979009628296 |
| keywords[19].display_name | Electrical engineering |
| language | en |
| locations[0].id | pmh:oai:tubiblio.ulb.tu-darmstadt.de:113743 |
| locations[0].is_oa | False |
| locations[0].source.id | https://openalex.org/S4377196390 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | TUbilio (Technical University of Darmstadt) |
| locations[0].source.host_organization | https://openalex.org/I31512782 |
| locations[0].source.host_organization_name | Technical University of Darmstadt |
| locations[0].source.host_organization_lineage | https://openalex.org/I31512782 |
| locations[0].license | |
| locations[0].pdf_url | |
| locations[0].version | acceptedVersion |
| locations[0].raw_type | Konferenzveröffentlichung |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | |
| locations[1].id | doi:10.60882/cispa.24612948 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S7407050916 |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | CISPA Helmholtz Center |
| locations[1].source.host_organization | |
| locations[1].source.host_organization_name | |
| locations[1].license | |
| locations[1].pdf_url | |
| locations[1].version | |
| locations[1].raw_type | article |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://doi.org/10.60882/cispa.24612948 |
| locations[2].id | doi:10.60882/cispa.24612948.v1 |
| locations[2].is_oa | True |
| locations[2].source.id | https://openalex.org/S7407050916 |
| locations[2].source.type | repository |
| locations[2].source.is_oa | False |
| locations[2].source.issn_l | |
| locations[2].source.is_core | False |
| locations[2].source.is_in_doaj | False |
| locations[2].source.display_name | CISPA Helmholtz Center |
| locations[2].source.host_organization | |
| locations[2].source.host_organization_name | |
| locations[2].license | |
| locations[2].pdf_url | |
| locations[2].version | |
| locations[2].raw_type | article |
| locations[2].license_id | |
| locations[2].is_accepted | False |
| locations[2].is_published | |
| locations[2].raw_source_name | |
| locations[2].landing_page_url | https://doi.org/10.60882/cispa.24612948.v1 |
| locations[3].id | mag:2961318055 |
| locations[3].is_oa | False |
| locations[3].source.id | https://openalex.org/S4306420779 |
| locations[3].source.issn | |
| locations[3].source.type | conference |
| locations[3].source.is_oa | False |
| locations[3].source.issn_l | |
| locations[3].source.is_core | False |
| locations[3].source.is_in_doaj | False |
| locations[3].source.display_name | Recent Advances in Intrusion Detection |
| locations[3].source.host_organization | |
| locations[3].source.host_organization_name | |
| locations[3].license | |
| locations[3].pdf_url | |
| locations[3].version | |
| locations[3].raw_type | |
| locations[3].license_id | |
| locations[3].is_accepted | False |
| locations[3].is_published | |
| locations[3].raw_source_name | Recent Advances in Intrusion Detection |
| locations[3].landing_page_url | https://atc.usenix.org/system/files/raid2019-ghaeini.pdf |
| indexed_in | datacite |
| authorships[0].author.id | https://openalex.org/A5062066692 |
| authorships[0].author.orcid | https://orcid.org/0000-0003-2614-7900 |
| authorships[0].author.display_name | Hamid Reza Ghaeini |
| authorships[0].countries | SG |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I152815399 |
| authorships[0].affiliations[0].raw_affiliation_string | Singapore University of Technology and Design |
| authorships[0].institutions[0].id | https://openalex.org/I152815399 |
| authorships[0].institutions[0].ror | https://ror.org/05j6fvn87 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I152815399 |
| authorships[0].institutions[0].country_code | SG |
| authorships[0].institutions[0].display_name | Singapore University of Technology and Design |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Hamid Reza Ghaeini |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Singapore University of Technology and Design |
| authorships[1].author.id | https://openalex.org/A5082768977 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-7593-863X |
| authorships[1].author.display_name | Matthew Chan |
| authorships[1].countries | NL |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I4210096112 |
| authorships[1].affiliations[0].raw_affiliation_string | Rutgers University * |
| authorships[1].institutions[0].id | https://openalex.org/I4210096112 |
| authorships[1].institutions[0].ror | https://ror.org/00rcvgx40 |
| authorships[1].institutions[0].type | other |
| authorships[1].institutions[0].lineage | https://openalex.org/I4210096112 |
| authorships[1].institutions[0].country_code | NL |
| authorships[1].institutions[0].display_name | Rutgers Sexual and Reproductive Health and Rights |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Matthew Chan |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Rutgers University * |
| authorships[2].author.id | https://openalex.org/A5024007554 |
| authorships[2].author.orcid | |
| authorships[2].author.display_name | Raad Bahmani |
| authorships[2].countries | DE |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I31512782 |
| authorships[2].affiliations[0].raw_affiliation_string | TU-Darmstadt#TAB# |
| authorships[2].institutions[0].id | https://openalex.org/I31512782 |
| authorships[2].institutions[0].ror | https://ror.org/05n911h24 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I31512782 |
| authorships[2].institutions[0].country_code | DE |
| authorships[2].institutions[0].display_name | Technical University of Darmstadt |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Raad Bahmani |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | TU-Darmstadt#TAB# |
| authorships[3].author.id | https://openalex.org/A5086225281 |
| authorships[3].author.orcid | |
| authorships[3].author.display_name | Ferdinand Brasser |
| authorships[3].countries | DE |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I31512782 |
| authorships[3].affiliations[0].raw_affiliation_string | TU-Darmstadt#TAB# |
| authorships[3].institutions[0].id | https://openalex.org/I31512782 |
| authorships[3].institutions[0].ror | https://ror.org/05n911h24 |
| authorships[3].institutions[0].type | education |
| authorships[3].institutions[0].lineage | https://openalex.org/I31512782 |
| authorships[3].institutions[0].country_code | DE |
| authorships[3].institutions[0].display_name | Technical University of Darmstadt |
| authorships[3].author_position | middle |
| authorships[3].raw_author_name | Ferdinand Brasser |
| authorships[3].is_corresponding | False |
| authorships[3].raw_affiliation_strings | TU-Darmstadt#TAB# |
| authorships[4].author.id | https://openalex.org/A5050029555 |
| authorships[4].author.orcid | https://orcid.org/0000-0002-5111-0694 |
| authorships[4].author.display_name | Luis Antonio Ribot García |
| authorships[4].countries | US |
| authorships[4].affiliations[0].institution_ids | https://openalex.org/I161318765 |
| authorships[4].affiliations[0].raw_affiliation_string | University of California-Los Angeles |
| authorships[4].institutions[0].id | https://openalex.org/I161318765 |
| authorships[4].institutions[0].ror | https://ror.org/046rm7j60 |
| authorships[4].institutions[0].type | education |
| authorships[4].institutions[0].lineage | https://openalex.org/I161318765 |
| authorships[4].institutions[0].country_code | US |
| authorships[4].institutions[0].display_name | University of California, Los Angeles |
| authorships[4].author_position | middle |
| authorships[4].raw_author_name | Luis Garcia |
| authorships[4].is_corresponding | False |
| authorships[4].raw_affiliation_strings | University of California-Los Angeles |
| authorships[5].author.id | https://openalex.org/A5008266220 |
| authorships[5].author.orcid | https://orcid.org/0000-0003-0594-0432 |
| authorships[5].author.display_name | Jianying Zhou |
| authorships[5].countries | SG |
| authorships[5].affiliations[0].institution_ids | https://openalex.org/I152815399 |
| authorships[5].affiliations[0].raw_affiliation_string | Singapore University of Technology and Design |
| authorships[5].institutions[0].id | https://openalex.org/I152815399 |
| authorships[5].institutions[0].ror | https://ror.org/05j6fvn87 |
| authorships[5].institutions[0].type | education |
| authorships[5].institutions[0].lineage | https://openalex.org/I152815399 |
| authorships[5].institutions[0].country_code | SG |
| authorships[5].institutions[0].display_name | Singapore University of Technology and Design |
| authorships[5].author_position | middle |
| authorships[5].raw_author_name | Jianying Zhou |
| authorships[5].is_corresponding | False |
| authorships[5].raw_affiliation_strings | Singapore University of Technology and Design |
| authorships[6].author.id | https://openalex.org/A5079497016 |
| authorships[6].author.orcid | https://orcid.org/0000-0001-6833-3598 |
| authorships[6].author.display_name | Ahmad‐Reza Sadeghi |
| authorships[6].countries | DE |
| authorships[6].affiliations[0].institution_ids | https://openalex.org/I31512782 |
| authorships[6].affiliations[0].raw_affiliation_string | TU-Darmstadt#TAB# |
| authorships[6].institutions[0].id | https://openalex.org/I31512782 |
| authorships[6].institutions[0].ror | https://ror.org/05n911h24 |
| authorships[6].institutions[0].type | education |
| authorships[6].institutions[0].lineage | https://openalex.org/I31512782 |
| authorships[6].institutions[0].country_code | DE |
| authorships[6].institutions[0].display_name | Technical University of Darmstadt |
| authorships[6].author_position | middle |
| authorships[6].raw_author_name | Ahmad-Reza Sadeghi |
| authorships[6].is_corresponding | False |
| authorships[6].raw_affiliation_strings | TU-Darmstadt#TAB# |
| authorships[7].author.id | https://openalex.org/A5073540044 |
| authorships[7].author.orcid | https://orcid.org/0000-0001-8424-2602 |
| authorships[7].author.display_name | Nils Ole Tippenhauer |
| authorships[7].countries | DE |
| authorships[7].affiliations[0].institution_ids | https://openalex.org/I4210128801 |
| authorships[7].affiliations[0].raw_affiliation_string | CISPA, Helmholtz Center for Information Security |
| authorships[7].institutions[0].id | https://openalex.org/I4210128801 |
| authorships[7].institutions[0].ror | https://ror.org/02njgxr09 |
| authorships[7].institutions[0].type | facility |
| authorships[7].institutions[0].lineage | https://openalex.org/I1305996414, https://openalex.org/I4210128801 |
| authorships[7].institutions[0].country_code | DE |
| authorships[7].institutions[0].display_name | Helmholtz Center for Information Security |
| authorships[7].author_position | middle |
| authorships[7].raw_author_name | Nils Ole Tippenhauer |
| authorships[7].is_corresponding | False |
| authorships[7].raw_affiliation_strings | CISPA, Helmholtz Center for Information Security |
| authorships[8].author.id | https://openalex.org/A5059269246 |
| authorships[8].author.orcid | https://orcid.org/0000-0001-9047-4047 |
| authorships[8].author.display_name | Saman Zonouz |
| authorships[8].countries | NL |
| authorships[8].affiliations[0].institution_ids | https://openalex.org/I4210096112 |
| authorships[8].affiliations[0].raw_affiliation_string | Rutgers University * |
| authorships[8].institutions[0].id | https://openalex.org/I4210096112 |
| authorships[8].institutions[0].ror | https://ror.org/00rcvgx40 |
| authorships[8].institutions[0].type | other |
| authorships[8].institutions[0].lineage | https://openalex.org/I4210096112 |
| authorships[8].institutions[0].country_code | NL |
| authorships[8].institutions[0].display_name | Rutgers Sexual and Reproductive Health and Rights |
| authorships[8].author_position | last |
| authorships[8].raw_author_name | Saman A. Zonouz |
| authorships[8].is_corresponding | False |
| authorships[8].raw_affiliation_strings | Rutgers University * |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.60882/cispa.24612948 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | PAtt: Physics-based Attestation of Control Systems |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T06:51:31.235846 |
| primary_topic.id | https://openalex.org/T11424 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9997000098228455 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Security and Verification in Computing |
| related_works | https://openalex.org/W2098621209, https://openalex.org/W2096224818, https://openalex.org/W2805058107, https://openalex.org/W2999744542, https://openalex.org/W2787402405, https://openalex.org/W3080623462, https://openalex.org/W2775534077, https://openalex.org/W39280047, https://openalex.org/W2752493903, https://openalex.org/W2767593884, https://openalex.org/W149248986, https://openalex.org/W2896993707, https://openalex.org/W3103497171, https://openalex.org/W2169633417, https://openalex.org/W3116954642, https://openalex.org/W2906545987, https://openalex.org/W2608692891, https://openalex.org/W3212146520, https://openalex.org/W1980672227, https://openalex.org/W3015593455 |
| cited_by_count | 21 |
| counts_by_year[0].year | 2025 |
| counts_by_year[0].cited_by_count | 1 |
| counts_by_year[1].year | 2024 |
| counts_by_year[1].cited_by_count | 1 |
| counts_by_year[2].year | 2023 |
| counts_by_year[2].cited_by_count | 2 |
| counts_by_year[3].year | 2022 |
| counts_by_year[3].cited_by_count | 3 |
| counts_by_year[4].year | 2021 |
| counts_by_year[4].cited_by_count | 8 |
| counts_by_year[5].year | 2020 |
| counts_by_year[5].cited_by_count | 6 |
| locations_count | 4 |
| best_oa_location.id | doi:10.60882/cispa.24612948 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S7407050916 |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | CISPA Helmholtz Center |
| best_oa_location.source.host_organization | |
| best_oa_location.source.host_organization_name | |
| best_oa_location.license | |
| best_oa_location.pdf_url | |
| best_oa_location.version | |
| best_oa_location.raw_type | article |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | https://doi.org/10.60882/cispa.24612948 |
| primary_location.id | pmh:oai:tubiblio.ulb.tu-darmstadt.de:113743 |
| primary_location.is_oa | False |
| primary_location.source.id | https://openalex.org/S4377196390 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | TUbilio (Technical University of Darmstadt) |
| primary_location.source.host_organization | https://openalex.org/I31512782 |
| primary_location.source.host_organization_name | Technical University of Darmstadt |
| primary_location.source.host_organization_lineage | https://openalex.org/I31512782 |
| primary_location.license | |
| primary_location.pdf_url | |
| primary_location.version | acceptedVersion |
| primary_location.raw_type | Konferenzveröffentlichung |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | |
| publication_date | 2023-01-01 |
| publication_year | 2023 |
| referenced_works | https://openalex.org/W2157549033, https://openalex.org/W1559060276, https://openalex.org/W2517606133, https://openalex.org/W2108403445, https://openalex.org/W2896680395, https://openalex.org/W1530215515, https://openalex.org/W2024675214, https://openalex.org/W1528113134, https://openalex.org/W2896370767, https://openalex.org/W2533078038, https://openalex.org/W2012903341, https://openalex.org/W2075095478, https://openalex.org/W2766717610, https://openalex.org/W1966809779, https://openalex.org/W2174648984, https://openalex.org/W2744073901, https://openalex.org/W1930624869, https://openalex.org/W2542991636, https://openalex.org/W1981039744, https://openalex.org/W2911964244, https://openalex.org/W2133990480, https://openalex.org/W2098621209, https://openalex.org/W2104948281, https://openalex.org/W1545345070, https://openalex.org/W2809340493, https://openalex.org/W2145310314, https://openalex.org/W2152605584, https://openalex.org/W2557328120, https://openalex.org/W2050529434, https://openalex.org/W2619874920, https://openalex.org/W2330650066, https://openalex.org/W2962891626, https://openalex.org/W2951325898, https://openalex.org/W2021362805, https://openalex.org/W2135274013, https://openalex.org/W2048959175, https://openalex.org/W2810107741, https://openalex.org/W2535751405, https://openalex.org/W2885298216, https://openalex.org/W1579213680, https://openalex.org/W2613412685, https://openalex.org/W2751013686, https://openalex.org/W1570448133, https://openalex.org/W2888889871, https://openalex.org/W2164400088 |
| referenced_works_count | 45 |
| abstract_inverted_index.a | 20, 87, 160, 163 |
| abstract_inverted_index.By | 123 |
| abstract_inverted_index.In | 18, 63 |
| abstract_inverted_index.We | 154 |
| abstract_inverted_index.an | 190 |
| abstract_inverted_index.as | 52 |
| abstract_inverted_index.by | 79 |
| abstract_inverted_index.in | 102 |
| abstract_inverted_index.is | 9, 68 |
| abstract_inverted_index.of | 3, 14, 49, 59, 75, 127, 145, 174, 192 |
| abstract_inverted_index.on | 26, 107, 150, 159 |
| abstract_inverted_index.so | 65 |
| abstract_inverted_index.to | 29, 55, 71, 141, 181 |
| abstract_inverted_index.we | 84 |
| abstract_inverted_index.97% | 193 |
| abstract_inverted_index.PLC | 179 |
| abstract_inverted_index.and | 133, 166 |
| abstract_inverted_index.are | 39 |
| abstract_inverted_index.but | 115 |
| abstract_inverted_index.far | 66 |
| abstract_inverted_index.for | 11 |
| abstract_inverted_index.its | 168 |
| abstract_inverted_index.not | 41, 69, 110 |
| abstract_inverted_index.our | 138 |
| abstract_inverted_index.the | 1, 27, 31, 47, 57, 60, 73, 76, 80, 103, 112, 128, 146, 151, 156, 172, 178 |
| abstract_inverted_index.use | 48 |
| abstract_inverted_index.PLCs | 28 |
| abstract_inverted_index.able | 70 |
| abstract_inverted_index.arm, | 165 |
| abstract_inverted_index.into | 35 |
| abstract_inverted_index.real | 161 |
| abstract_inverted_index.safe | 12 |
| abstract_inverted_index.such | 51 |
| abstract_inverted_index.that | 89, 176 |
| abstract_inverted_index.this | 82 |
| abstract_inverted_index.with | 43, 94 |
| abstract_inverted_index.(with | 189 |
| abstract_inverted_index.PAtt, | 86 |
| abstract_inverted_index.based | 106, 149 |
| abstract_inverted_index.bring | 30 |
| abstract_inverted_index.code. | 62 |
| abstract_inverted_index.could | 22 |
| abstract_inverted_index.data) | 134 |
| abstract_inverted_index.logic | 6, 24, 61, 148, 180 |
| abstract_inverted_index.robot | 164 |
| abstract_inverted_index.state | 131, 184 |
| abstract_inverted_index.work, | 83 |
| abstract_inverted_index.yield | 116 |
| abstract_inverted_index.(PLCs) | 8 |
| abstract_inverted_index.PLC.In | 81 |
| abstract_inverted_index.affect | 111 |
| abstract_inverted_index.allows | 140 |
| abstract_inverted_index.and/or | 185 |
| abstract_inverted_index.change | 182 |
| abstract_inverted_index.during | 121 |
| abstract_inverted_index.memory | 130 |
| abstract_inverted_index.remote | 53 |
| abstract_inverted_index.sensor | 187 |
| abstract_inverted_index.system | 88, 139, 158 |
| abstract_inverted_index.traces | 118 |
| abstract_inverted_index.unique | 117 |
| abstract_inverted_index.unsafe | 36 |
| abstract_inverted_index.verify | 72 |
| abstract_inverted_index.PLC’s | 129 |
| abstract_inverted_index.changes | 101 |
| abstract_inverted_index.control | 95, 136, 147 |
| abstract_inverted_index.enables | 171 |
| abstract_inverted_index.intoits | 135 |
| abstract_inverted_index.present | 85 |
| abstract_inverted_index.process | 32, 96, 114, 183 |
| abstract_inverted_index.re-mote | 91 |
| abstract_inverted_index.running | 25 |
| abstract_inverted_index.states. | 37 |
| abstract_inverted_index.support | 45 |
| abstract_inverted_index.ver-ify | 56 |
| abstract_inverted_index.Ensuring | 0 |
| abstract_inverted_index.accuracy | 191 |
| abstract_inverted_index.combines | 90 |
| abstract_inverted_index.con-trol | 16 |
| abstract_inverted_index.critical | 10 |
| abstract_inverted_index.embedded | 4 |
| abstract_inverted_index.encoding | 124 |
| abstract_inverted_index.equipped | 42 |
| abstract_inverted_index.hardware | 44 |
| abstract_inverted_index.ofsensor | 119 |
| abstract_inverted_index.physical | 113 |
| abstract_inverted_index.proposed | 157 |
| abstract_inverted_index.readings | 120, 188 |
| abstract_inverted_index.remotely | 142 |
| abstract_inverted_index.software | 92 |
| abstract_inverted_index.systems. | 17 |
| abstract_inverted_index.(software | 132 |
| abstract_inverted_index.addition, | 64 |
| abstract_inverted_index.attackers | 175 |
| abstract_inverted_index.attacks). | 195 |
| abstract_inverted_index.detection | 173 |
| abstract_inverted_index.implement | 155 |
| abstract_inverted_index.integrity | 2, 58, 74, 108, 125, 144 |
| abstract_inverted_index.operation | 13, 99 |
| abstract_inverted_index.resulting | 152 |
| abstract_inverted_index.sequences | 105 |
| abstract_inverted_index.typically | 40 |
| abstract_inverted_index.verifythe | 143 |
| abstract_inverted_index.controlled | 78 |
| abstract_inverted_index.execution. | 122 |
| abstract_inverted_index.industrial | 15 |
| abstract_inverted_index.op-eration | 104 |
| abstract_inverted_index.operation, | 137 |
| abstract_inverted_index.techniques | 50 |
| abstract_inverted_index.thatallows | 46 |
| abstract_inverted_index.application | 34 |
| abstract_inverted_index.attestation | 54, 93 |
| abstract_inverted_index.controllers | 7 |
| abstract_inverted_index.demonstrate | 167 |
| abstract_inverted_index.ma-nipulate | 177 |
| abstract_inverted_index.particular, | 19 |
| abstract_inverted_index.validation. | 97 |
| abstract_inverted_index.cyber-attack | 21 |
| abstract_inverted_index.feasibility. | 169 |
| abstract_inverted_index.programmable | 5 |
| abstract_inverted_index.PAttleverages | 98 |
| abstract_inverted_index.againsttested | 194 |
| abstract_inverted_index.mea-surements | 126 |
| abstract_inverted_index.reportspoofed | 186 |
| abstract_inverted_index.sensortraces. | 153 |
| abstract_inverted_index.PLCcontrolling | 162 |
| abstract_inverted_index.physicalprocess | 77 |
| abstract_inverted_index.Ourimplementation | 170 |
| abstract_inverted_index.manipulatecontrol | 23 |
| abstract_inverted_index.ofsafety-critical | 33 |
| abstract_inverted_index.remoteattestation | 67 |
| abstract_inverted_index.Unfortunately,PLCs | 38 |
| abstract_inverted_index.permutations—subtle | 100 |
| abstract_inverted_index.measurements—whichdo | 109 |
| cited_by_percentile_year | |
| countries_distinct_count | 4 |
| institutions_distinct_count | 9 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/4 |
| sustainable_development_goals[0].score | 0.41999998688697815 |
| sustainable_development_goals[0].display_name | Quality Education |
| citation_normalized_percentile |