Early network security models relied on a hard perimeter: firewalls, intrusion‑detection systems, and authenticated gateways were expected to keep adversaries out. Within that boundary, devices and software were assumed to be trustworthy. This approach worked well for isolated corporate LANs in the 1990s but falters in today’s distributed environments where:
| Year | Milestone | Relevance | |------|-----------|-----------| | 2004 | Ph.D. in Computer Science, MIT (Thesis: “Adaptive Runtime Verification for Embedded Systems”) | Laid the theoretical groundwork for runtime patching. | | 2009 | Joined the University of Washington, Department of Computer Science & Engineering | Established a multidisciplinary research group spanning CPS, formal methods, and human factors. | | 2013 | Co‑authored “Low‑Trust Architecture for Autonomous Vehicles” (ACM CCS) | First major articulation of low‑trust concepts applied to safety‑critical domains. | | 2017 | Founded ResiliNet, a start‑up delivering low‑trust patch management platforms for IoT | Demonstrated commercial viability of her research. | | 2022 | Awarded the IEEE Technical Field Award for “Pioneering Low‑Trust, Self‑Healing Systems” | Recognized global impact. | angela attison lowtru patched
Attison’s career is distinguished by a dual focus: rigorous formal verification and pragmatic engineering. She has consistently emphasized that theoretical guarantees must be operationalized through concrete mechanisms—patches—that can be deployed in the field without disrupting service. Early network security models relied on a hard
Attison coined the term low‑tru (pronounced “low‑true”) to capture two intertwined ideas: angela attison lowtru patched