E-LIB Suche - Ergebnisse für: Oberg, Jason K.

1

Networks on Chip with Provable Security Properties:

Wassel, Hassan M.G. ; Gao, Ying ; Oberg, Jason K....
IEEE Micro. 34 (2014) 3 - p. 57-68 , 2014

2

Sapper : a language for hardware-level security policy e..:

, In: Proceedings of the 19th international conference on Architectural support for programming languages and operating systems,

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K.... - p. 97-112 , 2014

Link: https://dl.acm.org/doi/1..

3

Sapper: a language for hardware-level security policy enfor..:

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K....
ACM SIGPLAN Notices. 49 (2014) 4 - p. 97-112 , 2014

Link: https://doi.org/10.1145/..

4

Sapper: a language for hardware-level security policy enfor..:

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K....
ACM SIGARCH Computer Architecture News. 42 (2014) 1 - p. 97-112 , 2014

Link: https://doi.org/10.1145/..

5

SurfNoC : a low latency and provably non-interfering app..:

, In: Proceedings of the 40th Annual International Symposium on Computer Architecture,

Wassel, Hassan M. G. ; Gao, Ying ; Oberg, Jason K.... - p. 583-594 , 2013

Link: https://dl.acm.org/doi/1..

6

SurfNoC: a low latency and provably non-interfering approac..:

Wassel, Hassan M. G. ; Gao, Ying ; Oberg, Jason K....
ACM SIGARCH Computer Architecture News. 41 (2013) 3 - p. 583-594 , 2013

Link: https://doi.org/10.1145/..

7

Position paper : Sapper -- a language for provable hardw..:

, In: Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security,

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K.... - p. 39-44 , 2013

Link: https://dl.acm.org/doi/1..

8

Caisson: a hardware description language for secure informa..:

Li, Xun ; Tiwari, Mohit ; Oberg, Jason K....
ACM SIGPLAN Notices. 47 (2012) 6 - p. 109 , 2012

Link: https://doi.org/10.1145/..

9

Crafting a usable microkernel, processor, and I/O system wi..:

Tiwari, Mohit ; Oberg, Jason K. ; Li, Xun...
ACM SIGARCH Computer Architecture News. 39 (2011) 3 - p. 189-200 , 2011

Link: https://doi.org/10.1145/..

10

Caisson : a hardware description language for secure inf..:

, In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation,

Li, Xun ; Tiwari, Mohit ; Oberg, Jason K.... - p. 109-120 , 2011

Link: https://dl.acm.org/doi/1..

11

Caisson: a hardware description language for secure informa..:

Li, Xun ; Tiwari, Mohit ; Oberg, Jason K....
ACM SIGPLAN Notices. 46 (2011) 6 - p. 109-120 , 2011

Link: https://doi.org/10.1145/..

12

Crafting a usable microkernel, processor, and I/O system wi..:

, In: Proceedings of the 38th annual international symposium on Computer architecture,

Tiwari, Mohit ; Oberg, Jason K. ; Li, Xun... - p. 189-200 , 2011

Link: https://dl.acm.org/doi/1..

13

Crafting a usable microkernel, processor, and I/O system wi..:

, In: 2011 38th Annual International Symposium on Computer Architecture (ISCA),

Tiwari, Mohit ; Oberg, Jason K ; Li, Xun... - p. 189-199 , 2011

Link: https://doi.org/10.1145/..

14

Sapper: A Language for Hardware-Level Security Policy Enfor..:

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K...
qt4kj9q25v. , 2014

Link: https://escholarship.org..

15

Sapper:

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K...
qt77v0c4xv. , 2014

Link: https://escholarship.org..