Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Neha Rungta"'
Publikováno v:
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
Publikováno v:
Archives of Clinical and Biomedical Research.
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
Dafny is a verification-aware programming language used at Amazon Web Services to develop critical components of their access management, storage, and cryptography infrastructures. The Dafny toolchain provides a verifier that can prove an implementat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd292d6c6c87b471face4249e70553fb
https://doi.org/10.1007/978-3-030-99524-9_23
https://doi.org/10.1007/978-3-030-99524-9_23
Autor:
Neha Rungta
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
Amazon Web Services (AWS) is a cloud computing services provider that has made significant investments in applying formal methods to proving correctness of its internal systems and providing assurance of correctness to their end-users. In this paper,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4302cbd1e0e5e5f7bddd16dbc17ec390
https://doi.org/10.1007/978-3-031-13185-1_1
https://doi.org/10.1007/978-3-031-13185-1_1
Autor:
Andrew Gacek, Cole Schlesinger, Michael W. Whalen, John Backes, Carsten Varming, Rima Tanash, Martin Schaef, Byron Cook, Pauline Bolignano, Kasper Søe Luckow, Neha Rungta
Publikováno v:
IEEE Software. 36:61-65
Formal methods are mathematically based approaches for specifying, building, and reasoning about software. Despite 50 years of research and development, formal methods have had only limited impact in industry. While we have seen success in such domai
Autor:
Andrew Gacek, Andy Warfield, Dan Peebles, Brad E. Marshall, Neha Rungta, Chriss Stephens, Cole Schlesinger, Malik Bouchet, Ranjit Jhala, Byron Cook, Anna Druzkina, Bryant Cutler, Liana Hadarean, Carsten Varming
Publikováno v:
ESEC/SIGSOFT FSE
Data stored in cloud services is highly sensitive and so access to it is controlled via policies written in domain-specific languages (DSLs). The expressiveness of these DSLs provides users flexibility to cover a wide variety of uses cases, however,
Autor:
Anvesh Tanuku, Mclaughlin Sean, Cole Schlesinger, Tyler Stuart Bray, Neha Rungta, Deepa Viswanathan, Kasper Søe Luckow, Adam Schodde, Andrew Gacek, Ulises Berrueco, Madhav Menon, Daniel Brim, Byron Cook, Daniel Peebles, John Backes, Ranjit Jhala, Carsten Varming, Ujjwal Pugalia
Publikováno v:
Computer Aided Verification ISBN: 9783030532871
CAV (1)
CAV (1)
The shift to cloud-based APIs has made application security critically depend on understanding and reasoning about policies that regulate access to cloud resources. We present stratified predicate abstraction, a new approach that summarizes complex s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c616e6d67a7cf2c2d29a11d41f8f95b
https://doi.org/10.1007/978-3-030-53288-8_9
https://doi.org/10.1007/978-3-030-53288-8_9
Autor:
Carsten Varming, Mark A. Stalzer, Catherine Dodge, Jason Reed, Temesghen Kahsai, Bill Kocik, Preethi Srinivasan, Evgenii Kotelnikov, Pavle Subotic, Jure Kukovec, Andrew Gacek, John Sizemore, Whaley Blake, Mclaughlin Sean, John Backes, Neha Rungta, Sam Bayless, Alan J. Hu, Byron Cook
Publikováno v:
Computer Aided Verification ISBN: 9783030255428
CAV (2)
CAV (2)
Cloud services provide the ability to provision virtual networked infrastructure on demand over the Internet. The rapid growth of these virtually provisioned cloud networks has increased the demand for automated reasoning tools capable of identifying
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ded918ecf6a1f1c51276415bdde3c210
https://doi.org/10.1007/978-3-030-25543-5_14
https://doi.org/10.1007/978-3-030-25543-5_14
Publikováno v:
IEEE Transactions on Human-Machine Systems. 46:169-173
The papers in this special section focus on systematic approaches to human-machine interface applications. The motivation for this special issue is the growing increase of remote mission management, unmanned aircraft systems, NextGen operations in th
Autor:
Oksana Tkachuk, Byron Cook, Andrew Gacek, Neha Rungta, Pauline Bolignano, Carsten Varming, Kasper Søe Luckow, Catherine Dodge, John Backes
Publikováno v:
FMCAD
Cloud computing provides on-demand access to IT resources via the Internet. Permissions for these resources are defined by expressive access control policies. This paper presents a formalization of the Amazon Web Services (AWS) policy language and a