|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 21 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra |
Automated Analysis of Security-Critical JavaScript APIs.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
APIs, Javascript, Language-Based Security, Points-to Analysis |
| 1 | Jason Ansel, Petr Marchenko, Úlfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff Biffle, Bennet Yee |
Language-independent sandboxing of just-in-time compilation and self-modifying code. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu |
Fay: extensible distributed tracing from kernels to clusters. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Roel Wieringa, Nicola Zannone (eds.) |
Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings |
ESSoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Yves Younan, Frank Piessens |
Low-Level Software Security by Example. |
Handbook of Information and Communication Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
Control-flow integrity principles, implementations, and applications. |
ACM Trans. Inf. Syst. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnar Birgisson, Úlfar Erlingsson |
An implementation and semantics for transactional memory introspection in Haskell. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, reference monitors |
| 1 | Marco Pistoia, Úlfar Erlingsson |
PLAS 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Úlfar Erlingsson |
Programming languages and program analysis for security: a three-year retrospective. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
security, program analysis, programming languages, language-based security |
| 1 | Marco Pistoia, Úlfar Erlingsson |
Workshop on programming languages and analysis for security (PLAS 2008). |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Marco Pistoia (eds.) |
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008 |
PLAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
transactional memory, reference monitors |
| 1 | V. Benjamin Livshits, Úlfar Erlingsson |
Using web application construction frameworks to protect against code injection attacks. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
software construction frameworks, software security, same-origin policy, code injection attacks |
| 1 | Úlfar Erlingsson |
Low-Level Software Security: Attacks and Defenses. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie |
End-to-End Web Application Security. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Úlfar Erlingsson, John MacCormick |
Ad hoc extensibility and access control. |
Operating Systems Review |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula |
XFI: Software Guards for System Address Spaces. |
OSDI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mihai Budiu, Úlfar Erlingsson, Martín Abadi |
Architectural support for software-based protection. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting |
| 1 | Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
A Theory of Secure Control Flow. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti |
Control-flow integrity. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors |
| 1 | Úlfar Erlingsson, Fred B. Schneider |
IRM Enforcement of Java Stack Inspection. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2000 |
DBLP DOI BibTeX RDF |
security, Java, language-based security, reference monitor, stack inspection |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Mukkai S. Krishnamoorthy, T. V. Raman |
Efficient Multiway Radix Search Trees. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Erich Kaltofen, David R. Musser |
Generic Gram-Schmidt Orthogonalization by Exact Division. |
ISSAC |
1996 |
DBLP DOI BibTeX RDF |
C++ |
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")