Old Web
English
Sign In
Acemap
>
authorDetail
>
Neha Rungta
Neha Rungta
Amazon.com
Computer security
The Internet
Theoretical computer science
Web service
Automation
2
Papers
22
Citations
0
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
Block public access: trust safety verification of access control policies.
2020
FSE | Foundations of Software Engineering
Malik Bouchet
Byron Cook
Bryant Cutler
Anna Druzkina
Andrew Gacek
Liana Hadarean
Ranjit Jhala
Brad E. Marshall
Daniel Peebles
Neha Rungta
Cole Schlesinger
Chriss Stephens
Carsten Varming
Andy Warfield
Show All
Source
Cite
Save
Citations (2)
Reachability analysis for AWS-based networks
2019
CAV | Computer Aided Verification
John Backes
Sam Bayless
Byron Cook
Catherine Dodge
Andrew Gacek
Alan J. Hu
Temesghen Kahsai
Bill Kocik
Evgenii Kotelnikov
Jure Kukovec
Sean Mclaughlin
Jason Reed
Neha Rungta
John Sizemore
Mark A. Stalzer
Preethi Srinivasan
Pavle Subotić
Carsten Varming
Blake Whaley
Show All
Source
Cite
Save
Citations (20)
1