Narayan, Shravan
25  Ergebnisse:
Personensuche X
?
1

Half&Half: Demystifying Intel's Directional Branch Predicto..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
 
?
2

WaVe: a verifiably secure WebAssembly sandboxing runtime:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
Johnson, Evan ; Laufer, Evan ; Zhao, Zijie... - p. 2940-2955 , 2023
 
?
3

Half&Half: Demystifying Intel's Directional Branch Predicto..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
 
?
4

Going beyond the Limits of SFI: Flexible and Secure Hardwar..:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
 
?
5

Isolation without taxation: near-zero-cost transitions for ..:

Kolosick, Matthew ; Narayan, Shravan ; Johnson, Evan...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
 
?
6

Isolation without taxation: near-zero-cost transitions for ..:

Kolosick, Matthew ; Narayan, Shravan ; Johnson, Evan...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
 
?
7

Tutorial: Sandboxing (unsafe) C code with RLBox:

, In: 2021 IEEE Secure Development Conference (SecDev),
 
?
15

Towards verified programming of embedded devices:

Talpin, Jean-Pierre ; Marty, Jean-Joseph ; Narayan, Shravan..
info:eu-repo/semantics/altIdentifier/doi/10.23919/DATE.2019.8715067.  , 2019
 
1-15