Old Web
English
Sign In
Acemap
>
authorDetail
>
Kasper Luckow
Kasper Luckow
Amazon Web Services
Computer science
Program analysis
Error detection and correction
Programming language
The Symbolic
3
Papers
26
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Stratified Abstraction of Access Control Policies
2020
CAV | Computer Aided Verification
John Backes
Ulises Berrueco
Tyler Bray
Daniel Brim
Byron Cook
Andrew Gacek
Ranjit Jhala
Kasper Luckow
Sean Mclaughlin
Madhav Menon
Daniel Peebles
Ujjwal Pugalia
Neha Rungta
Cole Schlesinger
Adam Schodde
Anvesh Tanuku
Carsten Varming
Deepa Viswanathan
Show All
Source
Cite
Save
Citations (0)
Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis
2019
Advances in Computers
Corina S. Pasareanu
Rody Kersten
Kasper Luckow
Quoc-Sang Phan
Show All
Source
Cite
Save
Citations (1)
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