|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 67 occurrences of 54 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner |
Symbolic finite state transducers: algorithms and applications.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.) |
Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings |
ESSoS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |
Verified Security for Browser Extensions. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
security, verification, type system, extensions, web browsers, policy languages |
| 1 | Matthew Fredrikson, Benjamin Livshits |
RePriv: Re-imagining Content Personalization and In-browser Privacy. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
Privacy, Personalization, Web Applications, Software Verification |
| 1 | Charlie Curtsinger, Benjamin Livshits, Benjamin G. Zorn, Christian Seifert |
ZOZZLE: Fast and Precise In-Browser JavaScript Malware Detection. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes |
Fast and Precise Sanitizer Analysis with BEK. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | George Danezis, Benjamin Livshits |
Towards ensuring client-side computational integrity. |
CCSW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Saxena, David Molnar, Benjamin Livshits |
SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emre Kiciman, V. Benjamin Livshits |
AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications. |
TWEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo A. Meyerovich, V. Benjamin Livshits |
ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
Web and client-side programming, language security, security policies, JavaScript, aspects, browsers |
| 1 | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb |
Fluxo: a system for internet service programming by non-expert developers. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee |
Merlin: specification inference for explicit information flow problems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
| 1 | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
FLUXO: A Simple Service Compiler. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Guarnieri, V. Benjamin Livshits |
GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. |
USENIX Security Symposium |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paruj Ratanaworabhan, V. Benjamin Livshits, Benjamin G. Zorn |
NOZZLE: A Defense Against Heap-spraying Code Injection Attacks. |
USENIX Security Symposium |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
Improving the responsiveness of internet services with automatic cache placement. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
simulation, optimization, caching, cloud computing, internet services, dataflow model |
| 1 | K. Vikram, Abhishek Prateek, V. Benjamin Livshits |
Ripley: automatically securing web 2.0 applications through replicated execution. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragos Manolescu, Brian Beckman, V. Benjamin Livshits |
Volta: Developing Distributed Applications by Recompiling. |
IEEE Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Benjamin Livshits, Weidong Cui |
Spectator: Detection and Containment of JavaScript Worms. |
USENIX Annual Technical Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley |
Securing web applications with static and dynamic information flow tracking. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting |
| 1 | V. Benjamin Livshits, Emre Kiciman |
Doloto: code splitting for network-bound web 2.0 applications. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
code loading, dynamic code loading, optimizations, AJAX, responsiveness, web programming |
| 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 | Emre Kiciman, V. Benjamin Livshits |
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications. |
SOSP |
2007 |
DBLP DOI BibTeX RDF |
software instrumentation, web applications, software monitoring |
| 1 | Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie |
End-to-End Web Application Security. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Silvia Breu, Thomas Zimmermann, Christian Lindig, V. Benjamin Livshits |
Mining Additions of Method Calls in ArgoUML. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Zimmermann, Silvia Breu, Christian Lindig, V. Benjamin Livshits |
Mining additions of method calls in ArgoUML. |
MSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael C. Martin, V. Benjamin Livshits, Monica S. Lam |
Finding application errors and security flaws using PQL: a program query language. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces |
| 1 | V. Benjamin Livshits, John Whaley, Monica S. Lam |
Reflection Analysis for Java. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam |
Improving software security with a C pointer analysis. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
format string violations, security aws, program analysis, programming languages, error detection, dynamic analysis, vulnerabilities, buffer overflows, software security, pointer analysis, context-sensitive, type safety, software errors |
| 1 | Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel |
Context-sensitive program analysis as database queries. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Benjamin Livshits, Thomas Zimmermann |
DynaMine: finding common error patterns by mining software revision histories. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs |
| 1 | V. Benjamin Livshits, Monica S. Lam |
Tracking pointers with path and context sensitivity for bug detection in C programs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws |
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")