pith. sign in

Howard Shrobe

Identifiers

  • name variant Howard Shrobe 0.60 · backfill

Papers (6)

  1. Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance cs.CY · 2021 · author #11
  2. Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust cs.CY · 2020 · author #6
  3. Deriving Cyber-security Requirements for Cyber Physical Systems cs.CR · 2019 · author #3
  4. Sound and Complete Runtime Security Monitor for Application Software cs.CR · 2016 · author #3
  5. On the Formal Semantics of the Cognitive Middleware AWDRAT cs.PL · 2014 · author #3
  6. 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