Carla Marceau

14 papers A* 1A 2C 5Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2009 — conf
Snapshot Filtering Based on Resource-Usage Profiles.
SADFE
Frank Adelstein, Carla Marceau
2006 C conf
Modular Behavior Profiles in Systems with Shared Libraries (Short Paper).
ICICS
Carla Marceau, Matthew Stillerman
2005 C conf
Empirical privilege profiling.
NSPW
Carla Marceau, Robert A. Joyce
2004 A conf
Themes and Highlights of the New Security Paradigms Workshop 2004.
ACSAC
Carla Marceau, Simon N. Foley
2003 A conf
Themes and Highlights of the New Security Paradigms Workshop 2003.
ACSAC
O. Sami Saydjari, Carla Marceau
2002 C conf
An evolutionary approach to cyber security.
NSPW
Carla Marceau
2002 C ed.
Proceedings of the 2002 Workshop on New Security Paradigms, Virginia Beach, VA, USA, September 23-26, 2002
NSPW
Cristina Serban, Carla Marceau, Simon N. Foley
2000 C conf
Characterizing the behavior of a program using multiple-length N-grams.
NSPW
Carla Marceau
1999 J jnl
Intrusion Detection for Distributed Applications.
Commun. ACM
Matthew Stillerman, Carla Marceau, Maureen Stillman
1995 — conf
Formal methods in the THETA kernel.
S&P
Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau
1992 — conf
Formal Verification of Ada Programs.
Larch
David Guaspari, Carla Marceau, Wolfgang Polak
1991 J jnl
Literate Programming on a Team Project.
Softw. Pract. Exp.
Norman Ramsey, Carla Marceau
1990 J jnl
Formal Verification of Ada Programs.
IEEE Trans. Software Eng.
David Guaspari, Carla Marceau, Wolfgang Polak
1986 A* conf
Remote Attribute Updating for Language-Based Editors.
POPL
Thomas W. Reps, Carla Marceau, Tim Teitelbaum
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling