Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ben Hardekopf

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Vineeth Kashyap

> Home > Persons > Ben Hardekopf

Publications

2015
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/DeweyKH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/DeweyKH15
Kyle Dewey, Vineeth Kashyap, Ben Hardekopf:
A parallel abstract interpreter for JavaScript. CGO 2015: 34-45
2014
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/0001KOTRKSHC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/0001KOTRKSHC14
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong:
Sapper: a language for hardware-level security policy enforcement. ASPLOS 2014: 97-112
[c19]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/cgo/KashyapH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/KashyapH14
Vineeth Kashyap, Ben Hardekopf:
Security Signature Inference for JavaScript-based Browser Addons. CGO 2014: 219
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KashyapDKWGSWH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KashyapDKWGSWH14
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf:
JSAI: a static analysis platform for JavaScript. SIGSOFT FSE 2014: 121-132
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HardekopfWCK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HardekopfWCK14
Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap:
Widening for Control-Flow. VMCAI 2014: 472-491
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KashyapDKWGSWH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KashyapDKWGSWH14
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf:
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. CoRR abs/1403.3996 (2014)
2013
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/dls/KashyapSWWH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dls/KashyapSWWH13
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf:
Type refinement for static analysis of JavaScript. DLS 2013: 17-26
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0001KOTRKSHC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0001KOTRKSHC13
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong:
Position paper: Sapper - a language for provable hardware policy enforcement. PLAS 2013: 39-44
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LiTOKCSH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LiTOKCSH11
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf:
Caisson: a hardware description language for secure information flow. PLDI 2011: 109-120
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/KashyapWH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/KashyapWH11
Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf:
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. IEEE Symposium on Security and Privacy 2011: 413-428

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.