| Title: |
ARTINALI: dynamic invariant detection for cyber-physical system security |
| Article URLs: |
|
| Alternative Article URLs: |
|
| Authors: |
Maryam Raiyat Aliabadi |
-
University of British Columbia, Department of Electrical and Computer Engineering
|
| Amita Ajith Kamath |
-
National Institute of Technology Karnataka, Departement of Computer Science and Engineering
-
Stanford University, Dept of Computer Science
|
| Julien Gascon-Samson |
-
University of British Columbia, Department of Electrical and Computer Engineering
|
| Karthik Pattabiraman |
-
University of British Columbia, Department of Electrical and Computer Engineering
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/sigsoft/AliabadiKGP17
|
| Author Comments: |
We have not provided scripts to reproduce the traces used for the invariants in the Github repository as these are specific to our embedded systems - we have provided the traces generated and automated scripts to generate the invariants from the traces. If you're interested in how to reproduce the traces, please contact us via email. |