Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Prashanth Mundkur"'
Autor:
Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia W. Li, Iavor Diatchki, William Harris
Publikováno v:
2022 IEEE Security and Privacy Workshops (SPW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3be69fb0ce1221b4e0f5dfad0c9b1b4
https://doi.org/10.1109/spw54247.2022.9833859
https://doi.org/10.1109/spw54247.2022.9833859
Autor:
Christopher Pulte, Robert M. Norton, Ian Stark, Jon French, Alastair Reid, Shaked Flur, Alasdair Armstrong, Mark Wassell, Kathryn E. Gray, Peter Sewell, Neel Krishnaswami, Thomas Bauereiss, Brian Campbell, Prashanth Mundkur
Publikováno v:
Proceedings of the ACM on Programming Languages
Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, K E, Norton, R M, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N & Sewell, P 2019, ' ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 71 . https://doi.org/10.1145/3290384
Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, K E, Norton, R M, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N & Sewell, P 2019, ' ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 71 . https://doi.org/10.1145/3290384
Architecture specifications notionally define the fundamental interface between hardware and software: the envelope of allowed behaviour for processor implementations, and the basic assumptions for software development and verification. But in practi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b03d45b0127eedfeee57ea420de43824
https://doi.org/10.1145/3290384
https://doi.org/10.1145/3290384
Autor:
Sean W. Smith, Linda Briesemeister, Prashanth Mundkur, Sameed Ali, Natarajan Shankar, Zephyr Lucas, Prashant Anantharaman
Publikováno v:
SP Workshops
Any program that reads formatted input relies on parsing software to check the input for validity and transform it into a representation suitable for further processing. Many security vulnerabilities can be attributed to poorly defined grammars, inco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3070d75846b7b3ff3798233cbf9a0445
https://doi.org/10.1109/spw50608.2020.00064
https://doi.org/10.1109/spw50608.2020.00064
Autor:
Jong Hun Han, Prashanth Mundkur, Charalampos Rotsos, Gianni Antichi, Nirav Dave, Andrew W. Moore, Peter G. Neumann
Publikováno v:
2015 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b17c57e67a42d9aed67fd1cfb0addf5a
https://doi.org/10.1109/ancs.2015.7110117
https://doi.org/10.1109/ancs.2015.7110117
Publikováno v:
Erlang Workshop
We describe the design and implementation of Disco, a distributed computing platform for MapReduce style computations on large-scale data. Disco is designed for operation in clusters of commodity server machines, and provides both a fault-tolerant sc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abc3ced1ffb626cc95b9273d0e70c95f
https://doi.org/10.1145/2034654.2034670
https://doi.org/10.1145/2034654.2034670