Timothy Sherwood

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 Xun Li 0001

> Home > Persons > Timothy Sherwood

Publications

2014
[c81]
- 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
2013
[c76]
- 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
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/TiwariOLVLHKCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/TiwariOLVLHKCS11
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood:
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ISCA 2011: 189-200
[c66]
- 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
2010
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/TiwariLWMMCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/TiwariLWMMCS10
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood:
Gate-Level Information-Flow Tracking for Secure Architectures. IEEE Micro 30(1): 92-100 (2010)
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/asap/LiTSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asap/LiTSC10
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong:
Function flattening for lease-based, information-leak-free systems. ASAP 2010: 349-352
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0001THSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0001THSC10
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong:
Secure information flow analysis for hardware design: using the right abstraction for the job. PLAS 2010: 8
2009
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/TiwariLWCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/TiwariLWCS09
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood:
Execution leases: a hardware-supported mechanism for enforcing strong non-interference. MICRO 2009: 493-504

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.