Old Web
English
Sign In
Acemap
>
authorDetail
>
Neha Rungta
Neha Rungta
Amazon Web Services
Computer science
Theoretical computer science
Web service
Cloud computing
Semantics
2
Papers
25
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Provable Security at {AWS}
2019
Neha Rungta
Show All
Source
Cite
Save
Citations (0)
Semantic-based Automated Reasoning for AWS Access Policies using SMT
2018
FMCAD | Formal Methods in Computer-Aided Design
John Backes
Pauline Bolignano
Byron Cook
Catherine Dodge
Andrew Gacek
Kasper Luckow
Neha Rungta
Oksana Tkachuk
Carsten Varming
Show All
Source
Cite
Save
Citations (25)
1