Vicky Weissman

13 papers B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2008 J jnl
A Formal Foundation for XrML
CoRR
Joseph Y. Halpern, Vicky Weissman
2008 J jnl
A formal foundation for XrML.
J. ACM
Joseph Y. Halpern, Vicky Weissman
2008 J jnl
Using First-Order Logic to Reason about Policies.
ACM Trans. Inf. Syst. Secur.
Joseph Y. Halpern, Vicky Weissman
2007 — —
Reasoning about authorization policies.
Vicky Weissman
2006 J jnl
A Formal Foundation for ODRL
CoRR
Riccardo Pucella, Vicky Weissman
2006 J jnl
Using First-Order Logic to Reason about Policies
CoRR
Joseph Y. Halpern, Vicky Weissman
2004 — conf
A Formal Foundation for XrML.
CSFW
Joseph Y. Halpern, Vicky Weissman
2004 J jnl
A Logic for Reasoning about Digital Rights
CoRR
Riccardo Pucella, Vicky Weissman
2004 B conf
Reasoning about Dynamic Policies.
FoSSaCS
Riccardo Pucella, Vicky Weissman
2004 — conf
Towards a Policy Language for Humans and Computers.
ECDL
Vicky Weissman, Carl Lagoze
2003 J jnl
Review of Modal and temporal properties of processes by Colin Stirling. Springer Verlag 2001.
SIGACT News
Vicky Weissman
2003 — conf
Using First-Order Logic to Reason about Policies.
CSFW
Joseph Y. Halpern, Vicky Weissman
2002 — conf
A Logic for Reasoning about Digital Rights.
CSFW
Riccardo Pucella, Vicky Weissman
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