Engineering and verifying requirements for programmable self-assembling nanomachines. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Eric R. Henderson; Divita Mathur; Dalia Abo Sheasha (ICSE, 2012)

Requirements analysis for a product family of DNA nanodevices. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Divita Mathur; Donald M. Stull; Taylor Bergquist; Eric R. Henderson (RE, 2012)

Automated requirements analysis for a molecular watchdog timer. - Samuel J. Ellis; Eric R. Henderson; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Divita Mathur; Andrew S. Miner (ASE, 2014)

Probing the Security of DNA Origami. - Chase Koehler; Divita Mathur; Eric R. Henderson; Robyn R. Lutz (ISSRE Workshops, 2018)