Howard Shrobe
Identifiers
- name variant Howard Shrobe 0.60 · backfill
Papers (6)
- Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance cs.CY · 2021 · author #11
- Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust cs.CY · 2020 · author #6
- Deriving Cyber-security Requirements for Cyber Physical Systems cs.CR · 2019 · author #3
- Sound and Complete Runtime Security Monitor for Application Software cs.CR · 2016 · author #3
- On the Formal Semantics of the Cognitive Middleware AWDRAT cs.PL · 2014 · author #3
- On the Behavioural Formalization of the Cognitive Middleware AWDRAT cs.AI · 2014 · author #3
Mentions
- 2107.14065 #11 · arxiv_oai · confidence 0.70 Howard Shrobe
- 2010.14443 #6 · arxiv_oai · confidence 0.70 Howard Shrobe
- 1901.01867 #3 · arxiv_oai · confidence 0.70 Howard Shrobe
- 1601.04263 #3 · arxiv_oai · confidence 0.70 Howard Shrobe
- 1412.3588 #3 · arxiv_oai · confidence 0.70 Howard Shrobe
- 1412.2328 #3 · arxiv_oai · confidence 0.70 Howard Shrobe
- 1412.3588 #3 · backfill · confidence 0.70 Howard Shrobe
- 1412.2328 #3 · backfill · confidence 0.70 Howard Shrobe
Frequent Coauthors
- Dimitrios Serpanos 3 shared papers
- Muhammad Taimoor Khan 3 shared papers
- Andrew Grotto 1 shared papers
- Arvind Parthasarathi 1 shared papers
- Ashley Llorens 1 shared papers
- Claudia Eckert 1 shared papers
- Dan Cerys 1 shared papers
- Gen Goto 1 shared papers
- Gregory Falco 1 shared papers
- Herbert Lin 1 shared papers
- Jamie Saunders 1 shared papers
- Lawrence Susskind 1 shared papers
- Lenore Zuck 1 shared papers
- Madeline Carr 1 shared papers
- Missy Cummings 1 shared papers
- Myriam Dunn Cavelty 1 shared papers
- Nadya Bliss 1 shared papers
- Nancy Cooke 1 shared papers
- Patrik Meijer 1 shared papers
- Paul Cornish 1 shared papers