plc-ld-dataset
Dataset of PLC control logic programs written in Ladder Logic containing both legitimate programs and programs with Ladder Logic Bombs
Science Score: 67.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: zenodo.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (4.1%) to scientific vocabulary
Repository
Dataset of PLC control logic programs written in Ladder Logic containing both legitimate programs and programs with Ladder Logic Bombs
Basic Info
- Host: GitHub
- Owner: UniboSecurityResearch
- License: gpl-3.0
- Default Branch: main
- Size: 213 KB
Statistics
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0
- Releases: 1
Metadata Files
README.md
PLC-LD-dataset
Dataset of PLC control logic programs written in Ladder Logic containing both legitimate programs and programs with Ladder Logic Bombs
Cite us
If you find this work interesting and use it in your academic research, please cite our paper:
Iacobelli, A., Rinieri, L., Melis, A., Al Sadi, A., Prandini, M., & Callegati, F. (2024, May). Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification. In 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS) (pp. 1-7). IEEE.
Bibtex:
@inproceedings{iacobelli2024detection,
title={Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification},
author={Iacobelli, Antonio and Rinieri, Lorenzo and Melis, Andrea and Al Sadi, Amir and Prandini, Marco and Callegati, Franco},
booktitle={2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)},
pages={1--7},
year={2024},
organization={IEEE}
}
Owner
- Name: Unibo Laboratory of Information and System SEcurity
- Login: UniboSecurityResearch
- Kind: organization
- Email: disi.ulisse@unibo.it
- Location: Italy
- Website: https://ulisse.unibo.it/
- Repositories: 1
- Profile: https://github.com/UniboSecurityResearch
We are a security research team based in University of Bologna.
Citation (CITATION.cff)
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Iacobelli"
given-names: "Antonio"
orcid: "https://orcid.org/0009-0002-2064-8261"
- family-names: "Rinieri"
given-names: "Lorenzo"
orcid: "https://orcid.org/0000-0003-1767-7256"
title: "PLC-LD-dataset"
version: 1.0.0
doi: 10.5281/zenodo.10221583
date-released: 2023-11-29
url: "https://github.com/UniboSecurityResearch/PLC-LD-dataset"
preferred-citation:
authors:
- family-names: Iacobelli
given-names: Antonio
- family-names: Rinieri
given-names: Lorenzo
- family-names: Melis
given-names: Andrea
- family-names: Al Sadi
given-names: Amir
- family-names: Prandini
given-names: Marco
- family-names: Callegati
given-names: Franco
title: 'Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification'
type: conference-paper
pages: 1--7
year: '2024'
collection-title: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)
conference: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)
publisher: IEEE
GitHub Events
Total
- Watch event: 3
- Push event: 2
Last Year
- Watch event: 3
- Push event: 2