Remote Attribute Updating for Language-Based Editors. - Thomas W. Reps; Carla Marceau; Tim Teitelbaum (POPL, 1986)

Formal Verification of Ada Programs. - David Guaspari; Carla Marceau; Wolfgang Polak (IEEE Trans. Software Eng., 1990)

Literate Programming on a Team Project. - Norman Ramsey; Carla Marceau (Softw. Pract. Exp., 1991)

Formal methods in the THETA kernel. - Mike Seager; David Guaspari; Matthew Stillerman; Carla Marceau (S&P, 1995)

Intrusion Detection for Distributed Applications. - Matthew Stillerman; Carla Marceau; Maureen Stillman (Commun. ACM, 1999)

Characterizing the behavior of a program using multiple-length N-grams. - Carla Marceau (NSPW, 2000)

An evolutionary approach to cyber security. - Carla Marceau (NSPW, 2002)

Themes and Highlights of the New Security Paradigms Workshop 2003. - O. Sami Saydjari; Carla Marceau (ACSAC, 2003)

Themes and Highlights of the New Security Paradigms Workshop 2004. - Carla Marceau; Simon N. Foley (ACSAC, 2004)

Empirical privilege profiling. - Carla Marceau; Robert A. Joyce (NSPW, 2005)

Modular Behavior Profiles in Systems with Shared Libraries (Short Paper). - Carla Marceau; Matthew Stillerman (ICICS, 2006)

Snapshot Filtering Based on Resource-Usage Profiles. - Frank Adelstein; Carla Marceau (SADFE, 2009)