Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Jed Liu"'
Autor:
Chong, Stephen1 schong@cs.cornell.edu, Jed Liu1 liujed@cs.cornell.edu, Myers, Andrew C.1 andru@cs.cornell.edu, Xin Qi1 qixin@cs.cornell.edu, Vikram, K.1 kvikram@cs.cornell.edu, Lantian Zheng1 zlt@cs.cornell.edu, Xin Zheng1 xinz@cs.cornell.edu
Publikováno v:
Communications of the ACM. Feb2009, Vol. 52 Issue 2, p79-87. 9p. 1 Diagram, 5 Charts.
Autor:
Jed Liu1 liujed@cs.cornell.edu, Arden, Owen1 owen@cs.cornell.edu, George, Michael D.1 mdgeorge@cs.cornell.edu, Myers, Andrew C.1 andru@cs.cornell.edu
Publikováno v:
Journal of Computer Security. 2017, Vol. 25 Issue 4/5, p367-426. 60p.
Publikováno v:
Journal of Computer Security. 25:367-426
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ecec09a1dffb47fb6bfe6ec6dd968c89
https://doi.org/10.3233/jcs-15805
https://doi.org/10.3233/jcs-15805
Publikováno v:
EuroSys
To achieve good performance, modern applications often partition their state across multiple geographically distributed nodes. While this approach reduces latency in the common case, it can be challenging for programmers to use correctly, especially
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6654e5a9d777c55337a42699ae4fe6e
https://doi.org/10.1145/3302424.3303987
https://doi.org/10.1145/3302424.3303987
Autor:
William T. Hallahan, Calin Cascaval, Nick McKeown, Jeongkeun Lee, Jed Liu, Cole Schlesinger, Milad Sharif, Han Wang, Nate Foster, Robert Soulé
Publikováno v:
SIGCOMM
We present the design and implementation of p4v, a practical tool for verifying data planes described using the P4 programming language. The design of p4v is based on classic verification techniques but adds several key innovations including a novel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47f4233b9540d2fba24f7cdee2ef7962
https://doi.org/10.1145/3230543.3230582
https://doi.org/10.1145/3230543.3230582
Autor:
Andrew Ferraiuolo, Mulong Luo, Joe Corbett-Davies, Andrew C. Myers, Jed Liu, G. Edward Suh, Mark Campbell, Alexander Ivanov
Publikováno v:
CPS-SPC@CCS
Modern cyber-physical systems are complex networked computing systems that electronically control physical systems. Autonomous road vehicles are an important and increasingly ubiquitous instance. Unfortunately, their increasing complexity often leads
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02f68c5663add27e04403d78f4f67fa8
https://doi.org/10.1145/3264888.3264889
https://doi.org/10.1145/3264888.3264889
Publikováno v:
ACM Conference on Computer and Communications Security
Modern applications often operate on data in multiple administrative domains. In this federated setting, participants may not fully trust each other. These distributed applications use transactions as a core mechanism for ensuring reliability and con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86b68ccb279340ecacf6185c884f3dd2
https://doi.org/10.1145/2976749.2978415
https://doi.org/10.1145/2976749.2978415
Publikováno v:
Communications of the ACM. 52:79-87
Swift is a new, principled approach to building Web applications that are secure by construction. Modern Web applications typically implement some functionality as client-side JavaScript code, for improved interactivity. Moving code and data to the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32b6a424c50de7e6fe6812a2c3a313fb
https://doi.org/10.1145/1461928.1461949
https://doi.org/10.1145/1461928.1461949
Publikováno v:
SOSP
Swift is a new, principled approach to building web applications that are secure by construction . In modern web applications, some application functionality is usually implemented as client-side code written in JavaScript. Moving code and data to th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::649d240d31997e3811aa0159a9f6785c
https://doi.org/10.1145/1323293.1294265
https://doi.org/10.1145/1323293.1294265
Publikováno v:
CSF
Because information flow control mechanisms often rely on an underlying authorization mechanism, their security guarantees can be subverted by weaknesses in authorization. Conversely, the security of authorization can be subverted by information flow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14342e944a1501141988901ca86b0a82
https://doi.org/10.1109/csf.2015.42
https://doi.org/10.1109/csf.2015.42