Ian Holyer

13 papers A* 1A 3Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — conf
Towards Secure SPARQL Queries in Semantic Web Applications Using PHP.
ICSC
Fatmah Bamashmoos, Ian Holyer, Theodore Tryfonas, Przemyslaw Woznowski
2017 J jnl
Towards Secure SPARQL Queries in Semantic Web Applications using PHP (Extended Version).
CoRR
Fatmah Bamashmoos, Ian Holyer, Theo Tryfonas, Przemyslaw Woznowski
2004 A* conf
Adapting databases and WebDAV protocol.
WWW
Bita Shadgar, Ian Holyer
2003 — conf
An Application for WebDAV-based Authoring of Databases - WebDAD.
WWW (Posters)
Bita Shadgar, Ian Holyer
2002 — conf
WebDAD: A WebDAV Implemetation for Authoring Databases.
ICWI
Bita Shadgar, Ian Holyer
2000 J jnl
A Recovery Mechanism for Shells.
Comput. J.
Ian Holyer, Hüseyin Pehlivan
1998 — conf
Concurrent Monadic Interfacing.
IFL
Ian Holyer, Eleni Spiliopoulou
1997 A conf
Distributed Programming, a Purely Functional Approach.
ICFP
Eleni Spiliopoulou, Ian Holyer, Neil Davies
1997 — conf
The Brisk Machine: A Simplified STG Machine.
Implementation of Functional Languages
Ian Holyer, Eleni Spiliopoulou
1995 A conf
The Brisk Project: Concurrent and Distributed Functional Systems.
Functional Programming
Ian Holyer, Neil Davies, Chris Dornan
1993 A conf
Deterministic Concurrency.
Functional Programming
Ian Holyer, David Carter
1981 J jnl
The NP-Completeness of Edge-Coloring.
SIAM J. Comput.
Ian Holyer
1981 J jnl
The NP-Completeness of Some Edge-Partition Problems.
SIAM J. Comput.
Ian Holyer
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