Scott Stoller

Affiliations: 
Computer Science Stony Brook University, Stony Brook, NY, United States 
Area:
Distributed Systems, Fault-tolerance and Security, Software Testing and Verification, Program Analysis and Optimization.
Google:
"Scott Stoller"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Yang P, Gofman MI, Stoller SD, et al. (2015) Policy analysis for administrative role based access control without separate administration Journal of Computer Security. 23: 1-29
Xu Z, Stoller SD. (2015) Mining Attribute-Based Access Control Policies Ieee Transactions On Dependable and Secure Computing. 12: 533-545
Phan D, Yang J, Ratasich D, et al. (2015) Collision avoidance for mobile robots with limited sensing and limited information about the environment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9333: 201-215
Stoller SD. (2015) An administrative model for relationship-based access control Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9149: 53-68
Gupta P, Stoller SD, Xu Z. (2014) Abductive Analysis of Administrative Policies in Rule-Based Access Control Ieee Transactions On Dependable and Secure Computing. 11: 412-424
Deshpande T, Katsaros P, Smolka SA, et al. (2014) Stochastic game-based analysis of the DNS bandwidth amplification attack using probabilistic model checking Proceedings - 2014 10th European Dependable Computing Conference, Edcc 2014. 226-237
Xu Z, Stoller SD. (2014) Mining attribute-based access control policies from logs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8566: 276-291
Grosu R, Peled D, Ramakrishnan CR, et al. (2014) Compositional branching-time measurements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8415: 118-128
Grosu R, Peled D, Ramakrishnan CR, et al. (2014) Using statistical model checking for measuring systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8803: 223-238
Xu Z, Stoller SD. (2013) Mining parameterized role-based policies Codaspy 2013 - Proceedings of the 3rd Acm Conference On Data and Application Security and Privacy. 255-265
See more...