An attacker modeling framework for the assessment of cyber-physical systems security C Deloglos, C Elks, A Tantawy Computer Safety, Reliability, and Security: 39th International Conference …, 2020 | 19 | 2020 |
Fundamental challenges of cyber-physical systems security modeling G Bakirtzis, G Ward, C Deloglos, C Elks, B Horowitz, C Fleming 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems …, 2020 | 12 | 2020 |
Preliminary results of a bounded exhaustive testing study for software in embedded digital devices in nuclear power applications C Elks, A Jayakumar, A Collins, R Hite, T Karles, C Deloglos, B Simmons, ... Idaho National Laboratory US Department of Energy Office of Nuclear Energy …, 2019 | 5 | 2019 |
Specification of a bounded exhaustive testing study for a software-based embedded digital device C Elks, C Deloglos, A Jayakumar, A Tantawy, R Hite, S Guatham Idaho National Laboratory, Idaho, 2018 | 5 | 2018 |
Achieving verifiable and high integrity instrumentation and control systems through complexity awareness and constrained design. final report M Gibson, C Elks, A Tantawy, R Hite, S Gautham, A Jayakumar, ... Electric Power Research Institute (EPRI), Charlotte, NC (United States), 2019 | 4 | 2019 |
Model-based design assurance and verification in the context of iec-61508 sil-4 standard S Gautham, A Jayakumar, R Hite, C Deloglos, A Tantawy, M Gibson, ... ANS NPIC & HMIT, 2021 | 3 | 2021 |
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems R Hite, A Rajagopala, S Gautham, C Deloglos, A Jayakumar, A Collins, ... 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 1 | 2021 |
Symple: A complexity-aware approach for realizing verifiable fpga-based digital i&c for safety critical applications R Hite, C Deloglos, A Jayakumar, S Gautham, A Collins, A Rajagopala, ... ANS NPIC & HMIT, 2021 | 1 | 2021 |
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems S Gautham, A Rajagopala, AV Jayakumar, C Deloglos, E Karincic, C Elks arXiv preprint arXiv:2009.09533, 2020 | 1 | 2020 |
Realization of a automated t-way combinatorial testing approach for a software based embedded digital device DC Elks, C Deloglos, A Jayakumar, DA Tantawy, R Hite, S Gautham Idaho National Lab.(INL), Idaho Falls, ID (United States), 2019 | 1 | 2019 |
A General Framework for Characterizing and Evaluating Attacker Models for CPS Security Assessment CS Deloglos, C Deloglos | | 2021 |
Realizing Verifiable I&C and Embedded Digital Devices for Nuclear Power CIDN DE-NE0008445, A Tantawy, R Hite, S Gautham, A Jayakumar, ... | | 2019 |
3D Printed Microwave Hyperthermia Applicator U Hasni, C Deloglos, P Moseh | | 2016 |
Fei, Yunsi 68 Gautham, Smitha 53 Gibson, Matt 53 Guan, Qiang 65 Guo, Xiujing 21 A Abusnaina, A Alabduljabbar, T Alberdingk Thijm, S Alshamrani, ... | | |