2008 |
17 | | Úlfar Erlingsson,
Marco Pistoia:
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008
ACM 2008 |
16 | EE | Arnar Birgisson,
Mohan Dhawan,
Úlfar Erlingsson,
Vinod Ganapathy,
Liviu Iftode:
Enforcing authorization policies using transactional memory introspection.
ACM Conference on Computer and Communications Security 2008: 223-234 |
15 | EE | Yuan Yu,
Michael Isard,
Dennis Fetterly,
Mihai Budiu,
Úlfar Erlingsson,
Pradeep Kumar Gunda,
Jon Currey:
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
OSDI 2008: 1-14 |
14 | EE | Marco Pistoia,
Úlfar Erlingsson:
Workshop on programming languages and analysis for security (PLAS 2008).
SIGPLAN Notices 43(12): 3-4 (2008) |
13 | EE | Marco Pistoia,
Úlfar Erlingsson:
Programming languages and program analysis for security: a three-year retrospective.
SIGPLAN Notices 43(12): 32-39 (2008) |
12 | EE | Marco Pistoia,
Úlfar Erlingsson:
PLAS 2008 paper abstracts.
SIGPLAN Notices 43(12): 5-8 (2008) |
2007 |
11 | EE | Úlfar Erlingsson:
Low-Level Software Security: Attacks and Defenses.
FOSAD 2007: 92-134 |
10 | EE | V. Benjamin Livshits,
Úlfar Erlingsson:
Using web application construction frameworks to protect against code injection attacks.
PLAS 2007: 95-104 |
2006 |
9 | EE | Mihai Budiu,
Úlfar Erlingsson,
Martín Abadi:
Architectural support for software-based protection.
ASID 2006: 42-51 |
8 | EE | Úlfar Erlingsson,
Martín Abadi,
Michael Vrable,
Mihai Budiu,
George C. Necula:
XFI: Software Guards for System Address Spaces.
OSDI 2006: 75-88 |
7 | EE | Úlfar Erlingsson,
John MacCormick:
Ad hoc extensibility and access control.
Operating Systems Review 40(3): 93-101 (2006) |
2005 |
6 | EE | Martín Abadi,
Mihai Budiu,
Úlfar Erlingsson,
Jay Ligatti:
Control-flow integrity.
ACM Conference on Computer and Communications Security 2005: 340-353 |
5 | EE | Martín Abadi,
Mihai Budiu,
Úlfar Erlingsson,
Jay Ligatti:
A Theory of Secure Control Flow.
ICFEM 2005: 111-124 |
2000 |
4 | EE | Michael Burrows,
Úlfar Erlingsson,
Shun-Tak Leung,
Mark T. Vandevoorde,
Carl A. Waldspurger,
Kip Walker,
William E. Weihl:
Efficient and Flexible Value Sampling.
ASPLOS 2000: 160-167 |
3 | EE | Úlfar Erlingsson,
Fred B. Schneider:
IRM Enforcement of Java Stack Inspection.
IEEE Symposium on Security and Privacy 2000: 246-255 |
1996 |
2 | EE | Úlfar Erlingsson,
Erich Kaltofen,
David R. Musser:
Generic Gram-Schmidt Orthogonalization by Exact Division.
ISSAC 1996: 275-282 |
1 | EE | Úlfar Erlingsson,
Mukkai S. Krishnamoorthy,
T. V. Raman:
Efficient Multiway Radix Search Trees.
Inf. Process. Lett. 60(3): 115-120 (1996) |