Input Handling Done Right: Building Hardened Parsers Using Language-Theoretic Security. - Prashant Anantharaman; Michael C. Millian; Sergey Bratus; Meredith L. Patterson (SecDev, 2017)

Going Dark: A Retrospective on the North American Blackout of 2038. - Prashant Anantharaman; J. Peter Brady; Patrick Flathers; Vijay H. Kothari; Michael C. Millian; Jason Reeves; Nathan Reitinger; William G. Nisen; Sean W. Smith (NSPW, 2018)

Converting an Electric Power Utility Network to Defend Against Crafted Inputs. - Michael C. Millian; Prashant Anantharaman; Sergey Bratus; Sean W. Smith; Michael E. Locasto (Critical Infrastructure Protection, 2019)

Mismorphism: The Heart of the Weird Machine. - Prashant Anantharaman; Vijay H. Kothari; J. Peter Brady; Ira Ray Jenkins; Sameed Ali; Michael C. Millian; Ross Koppel; Jim Blythe; Sergey Bratus; Sean W. Smith (Security Protocols Workshop, 2019)

Human-Computability Boundaries. - Vijay H. Kothari; Prashant Anantharaman; Ira Ray Jenkins; Michael C. Millian; J. Peter Brady; Sameed Ali; Sergey Bratus; Jim Blythe; Ross Koppel; Sean W. Smith (Security Protocols Workshop, 2019)

Human-Computability Boundaries (Transcript of Discussion). - Vijay Kothari; Michael C. Millian (Security Protocols Workshop, 2019)

A Communications Validity Detector for SCADA Networks. - Prashant Anantharaman; Anmol Chachra; Shikhar Sinha; Michael C. Millian; Bogdan Copos; Sean W. Smith; Michael E. Locasto (Critical Infrastructure Protection, 2021)