Secure Broadcast Ambients. - Elsa L. Gunter; Ayesha Yasmeen (Formal Aspects in Security and Trust, 2008)

Specifying and Analyzing Workflows for Automated Identification and Data Capture. - Elsa L. Gunter; Ayesha Yasmeen; Carl A. Gunter; Anh Nguyen (HICSS, 2009)

Automated framework for formal operator task analysis. - Ayesha Yasmeen; Elsa L. Gunter (ISSTA, 2011)

Robustness for protection envelopes with respect to human task variation. - Ayesha Yasmeen; Elsa L. Gunter (SMC, 2011)

Formalizing operator task analysis - Ayesha Yasmeen (2011)

Formal analysis of safety-critical system simulations. - Ayesha Yasmeen; Karen M. Feigh; Gabriel Gelman; Elsa L. Gunter (ATACCS, 2012)