# Design and verification for transportation system security

> Research article (Proceedings of the 52nd Annual Design Automation Conference, 2015) · cited 27× · AI/ML

**Wikidata**: [openalex:W2009220606](https://www.wikidata.org/wiki/openalex:W2009220606)  
**Source**: https://4ort.xyz/entity/design-and-verification-for-transportation-system-security