Gary Levin

13 papers A* 1C 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2017 Misc conf
AMIA
Marina Z. Matatova, Paul Fearn, Eric B. Durbin, Gary Levin, Frank J. Manion, Patrick Mergler
2012 — conf
MILCOM
Constantin Serban, Ritu Chadha, C. Jason Chiang, Feng Ge, Abhrajit Ghosh, Yitzchak M. Gottlieb, Michael Kaplan, Kathleen Kurachik, Gary Levin, Yow-Jia Lin, Alexander Poylisher, Angelo Sapello, Florin Sultan, Akshay Vashist, Michelle Wolberg, Kimberly Moeltner
2011 C conf
ISADS
Kong E. Cheng, Yitzchak M. Gottlieb, Gary Levin, Fuchun Joseph Lin
2009 — conf
POLICY
Cho-Yu Jason Chiang, Gary Levin, Shihwei Li, Constantin Serban, Michelle Wolberg, Ritu Chadha, Gregory Hadynski, Lee LaBarre
2008 J jnl
J. Netw. Syst. Manag.
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul
2007 — conf
POLICY
Cho-Yu Jason Chiang, Gary Levin, Yitzchak M. Gottlieb, Ritu Chadha, Shihwei Li, Alexander Poylisher, Scott Newman, Richard Lo
2004 — conf
POLICY
Ritu Chadha, Hong Cheng, Yuu-Heng Cheng, Cho-Yu Jason Chiang, A. Ghetie, Gary Levin, Harshad Tanna
2003 — conf
POLICY
Ritu Chadha, Yuu-Heng Cheng, Thanh Cheng, Shrirang Gadgil, Abdelhakim Hafid, Keith Kim, Gary Levin, Narayanan Natarajan, Kirthika Parmeswaran, Alexander Poylisher, John Unger
1982 A* conf
PODC
Gregory R. Andrews, Gary Levin
1981 J jnl
Acta Informatica
Gary Levin, David Gries
1980 J jnl
ACM Trans. Program. Lang. Syst.
David Gries, Gary Levin
1980 J jnl
Inf. Process. Lett.
David Gries, Gary Levin
1980 — —
Proof rules for Communicating Sequential Processes.
Gary Levin
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