Carla Marceau

Frank Adelstein, Carla Marceau: Snapshot Filtering Based on Resource-Usage Profiles. SADFE 2009: 15-21

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

Carla Marceau, Simon N. Foley: Themes and Highlights of the New Security Paradigms Workshop 2004. ACSAC 2004: 382-383

O. Sami Saydjari, Carla Marceau: Themes and Highlights of the New Security Paradigms Workshop 2003. ACSAC 2003: 330-331

Carla Marceau: An evolutionary approach to cyber security. NSPW 2002: 108-109

Cristina Serban, Carla Marceau, Simon N. Foley (Eds.): Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002. ACM 2002, isbn 1-58113-598-X

Carla Marceau: Characterizing the behavior of a program using multiple-length N-grams. NSPW 2000: 101-110

Matthew Stillerman, Carla Marceau, Maureen Stillman: Intrusion Detection for Distributed Applications. Commun. ACM 42(7): 62-69 (1999)

Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau: Formal methods in the THETA kernel. IEEE Symposium on Security and Privacy 1995: 88-100

David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. Larch 1992: 104-141

Norman Ramsey, Carla Marceau: Literate Programming on a Team Project. Softw., Pract. Exper. 21(7): 677-683 (1991)

David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16(9): 1058-1075 (1990)

Thomas W. Reps, Carla Marceau, Tim Teitelbaum: Remote Attribute Updating for Language-Based Editors. POPL 1986: 1-13