Carla Marceau

Publication Activity (10 Years)

Years Active: 1986-2009
Publications (10 Years): 0

Publications

Frank Adelstein, Carla Marceau
Snapshot Filtering Based on Resource-Usage Profiles. SADFE (2009)
Carla Marceau, Matthew Stillerman
Modular Behavior Profiles in Systems with Shared Libraries (Short Paper). ICICS (2006)
Carla Marceau, Robert A. Joyce
Empirical privilege profiling. NSPW (2005)
Carla Marceau, Simon N. Foley
Themes and Highlights of the New Security Paradigms Workshop 2004. ACSAC (2004)
O. Sami Saydjari, Carla Marceau
Themes and Highlights of the New Security Paradigms Workshop 2003. ACSAC (2003)
Carla Marceau
An evolutionary approach to cyber security. NSPW (2002)
Carla Marceau
Characterizing the behavior of a program using multiple-length N-grams. NSPW (2000)
Matthew Stillerman, Carla Marceau, Maureen Stillman
Intrusion Detection for Distributed Applications. Commun. ACM 42 (7) (1999)
Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau
Formal methods in the THETA kernel. IEEE Symposium on Security and Privacy (1995)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. Larch (1992)
Norman Ramsey, Carla Marceau
Literate Programming on a Team Project. Softw. Pract. Exp. 21 (7) (1991)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16 (9) (1990)
Thomas W. Reps, Carla Marceau, Tim Teitelbaum
Remote Attribute Updating for Language-Based Editors. POPL (1986)