Zobrazeno 1 - 8
of 8
pro vyhledávání: '"David Costanzo"'
Autor:
Ronghui Gu, Jieung Kim, Vilhelm Sjöberg, David Costanzo, Jérémie Koenig, Xiongnan (Newman) Wu, Hao Chen, Zhong Shao
Publikováno v:
Communications of the ACM. 62:89-99
Operating system (OS) kernels form the backbone of system software. They can have a significant impact on the resilience and security of today's computers. Recent efforts have demonstrated the feasibility of formally verifying simple general-purpose
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32be2712fb89feb6b5114ed4be49471f
https://doi.org/10.1145/3356903
https://doi.org/10.1145/3356903
Autor:
David Costanzo, Hao Chen, Xiongnan (Newman) Wu, Tahina Ramananandro, Jérémie Koenig, Jieung Kim, Ronghui Gu, Vilhelm Sjöberg, Zhong Shao
Publikováno v:
PLDI
Concurrent abstraction layers are ubiquitous in modern computer systems because of the pervasiveness of multithreaded programming and multicore hardware. Abstraction layers are used to hide the implementation details (e.g., fine-grained synchronizati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af77ea9afb03e9892000063d702dfd34
https://doi.org/10.1145/3296979.3192381
https://doi.org/10.1145/3296979.3192381
Publikováno v:
PLDI
Protecting the confidentiality of information manipulated by a computing system is one of the most important challenges facing today's cybersecurity community. A promising step toward conquering this challenge is to formally verify that the end-to-en
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a50923edb6f3336bdefa64e43144d7c
https://doi.org/10.1145/2908080.2908100
https://doi.org/10.1145/2908080.2908100
Autor:
Zhong Shao, David Costanzo
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642547911
POST
POST
In this paper, we present a program logic for proving that a program does not release information about sensitive data in an unintended way. The most important feature of the logic is that it provides a formal security guarantee while supporting “d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::891282d3ea3185d0fa23901166e79832
https://doi.org/10.1007/978-3-642-54792-8_10
https://doi.org/10.1007/978-3-642-54792-8_10
Autor:
Zhong Shao, David Costanzo
Publikováno v:
Programming Languages and Systems ISBN: 9783642351815
APLAS
APLAS
Separation Logic is a widely-used tool that allows for local reasoning about imperative programs with pointers. A straightforward definition of this ”local reasoning” is that, whenever a program runs safely on some state, adding more state would
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd122e11f0120cb47dba4968d836fddc
https://doi.org/10.1007/978-3-642-35182-2_24
https://doi.org/10.1007/978-3-642-35182-2_24
Publikováno v:
APSys
Though attractive as a model for elastic on-demand service, cloud computing solutions based on existing hypervisors cannot guarantee that the provider will service a user's requests correctly, and will not leak sensitive information to unauthorized p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92ab07a837e08cc304d1084d72e98edb
https://doi.org/10.1145/2103799.2103803
https://doi.org/10.1145/2103799.2103803
Autor:
O'MALLEY, SHANNON (AUTHOR), DAVID COSTANZO, CHRISTOPHER (AUTHOR), TYE, ANNIE (AUTHOR), PAPADOPOULOS, PAMELA (AUTHOR), JOSSELYN, TODD (AUTHOR), ASTAFAN, MARCUS (AUTHOR)
Publikováno v:
Architectural Digest. Jan2016, Vol. 73 Issue 1, p46-46. 1p. 2 Color Photographs.
Publikováno v:
BASE-Bielefeld Academic Search Engine
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-31. ⟨10.1145/3371088⟩
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-31. ⟨10.1145/3371088⟩
The reliability and security of safety-critical real-time systems are of utmost importance because the failure of these systems could incur severe consequences (e.g., loss of lives or failure of a mission). Such properties require strong isolation be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ba56859d89b3f156cd7af13685ead7b
https://hal.archives-ouvertes.fr/hal-02875542
https://hal.archives-ouvertes.fr/hal-02875542