E-LIB Suche - Ergebnisse für: Shrobe, Howard

1

TAG: Tagged Architecture Guide:

Jero, Samuel ; Burow, Nathan ; Ward, Bryan...
ACM Computing Surveys. 55 (2022) 6 - p. 1-34 , 2022

Link: https://doi.org/10.1145/..

2

Keeping Safe Rust Safe with Galeed:

, In: Annual Computer Security Applications Conference,

Rivera, Elijah ; Mergendahl, Samuel ; Shrobe, Howard.. - p. 824-836 , 2021

Link: https://dl.acm.org/doi/1..

3

One Giant Leap for Computer Security:

Okhravi, Hamed ; Burow, Nathan ; Skowyra, Richard...
IEEE Security & Privacy. 18 (2020) 4 - p. 8-19 , 2020

Link: https://doi.org/10.1109/..

4

Moving Target Defense Considerations in Real-Time Safety- a..:

, In: Proceedings of the 7th ACM Workshop on Moving Target Defense,

Burow, Nathan ; Burrow, Ryan ; Khazan, Roger.. - p. 81-89 , 2020

Link: https://dl.acm.org/doi/1..

5

Rigorous Machine Learning for Secure and Autonomous Cyber P..:

, In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),

Khan, Muhammad Taimoor ; Serpanos, Dimitrios ; Shrobe, Howard. - p. 1815-1819 , 2020

Link: https://doi.org/10.1109/..

6

FirmFuzz : Automated IoT Firmware Introspection and Anal..:

, In: Proceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things,

Srivastava, Prashast ; Peng, Hui ; Li, Jiahao... - p. 15-21 , 2019

Link: https://dl.acm.org/doi/1..

7

Run-Time Security Assurance of Cyber Physical System Applic..:

, In: Embedded, Cyber-Physical, and IoT Systems,

Khan, Muhammad Taimoor ; Serpanos, Dimitrios ; Shrobe, Howard - p. 79-88 , 2019

Link: https://doi.org/10.1007/..

8

Security of Cyberphysical Systems: Chaining Induction and D..:

Khan, Muhammad Taimoor ; Shrobe, Howard
Computer. 52 (2019) 7 - p. 72-75 , 2019

Link: https://doi.org/10.1109/..

9

IIoT Cybersecurity Risk Modeling for SCADA Systems:

Falco, Gregory ; Caldera, Carlos ; Shrobe, Howard
IEEE Internet of Things Journal. 5 (2018) 6 - p. 4486-4495 , 2018

Link: https://doi.org/10.1109/..

10

A Master Attack Methodology for an AI-Based Automated Attac..:

Falco, Gregory ; Viswanathan, Arun ; Caldera, Carlos.
IEEE Access. 6 (2018) - p. 48360-48373 , 2018

Link: https://doi.org/10.1109/..

11

A Formally Reliable Cognitive Middleware for the Security o..:

Khan, Muhammad ; Serpanos, Dimitrios ; Shrobe, Howard
Electronics. 6 (2017) 3 - p. 58 , 2017

Link: https://doi.org/10.3390/..

12

Automated vulnerability analysis of AC state estimation und..:

, In: 2015 54th IEEE Conference on Decision and Control (CDC),

Gao, Sicun ; Xie, Le ; Solar-Lezama, Armando.. - p. 2613-2620 , 2015

Link: https://doi.org/10.1109/..

13

Control Jujutsu : On the Weaknesses of Fine-Grained Cont..:

, In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security,

Evans, Isaac ; Long, Fan ; Otgonbaatar, Ulziibayar... - p. 901-913 , 2015

Link: https://dl.acm.org/doi/1..

14

Abstract Data Machine : Data Classifier for Reliable Emb..:

, In: Proceedings of the WESS'15: Workshop on Embedded Systems Security,

Khan, Muhammad Taimoor ; Fragopoulos, Anastasios ; Serpanos, Dimitrios. - p. 1-5 , 2015

Link: https://dl.acm.org/doi/1..

15

Suppose We Got a "Do Over" – What would we do over?:

Shrobe, Howard ; Adams, Daniel
IEEE Security & Privacy Magazine. , 2012

Link: https://doi.org/10.1109/..