Follow
Suzanne Millstein
Suzanne Millstein
Computer Science and Engineering, University of Washington
Verified email at cs.washington.edu
Title
Cited by
Cited by
Year
Collaborative verification of information flow for a high-assurance app store
MD Ernst, R Just, S Millstein, W Dietl, S Pernsteiner, F Roesner, ...
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1292014
Static analysis of implicit control flow: Resolving java reflection and android intents (t)
P Barros, R Just, S Millstein, P Vines, W Dietl, M d'Amorim, MD Ernst
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
1112015
Lightweight verification of array indexing
M Kellogg, V Dort, S Millstein, MD Ernst
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
152018
DesCert: Design for certification
N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ...
arXiv preprint arXiv:2203.15178, 2022
62022
Verifying determinism in sequential programs
R Mudduluru, J Waataja, S Millstein, M Ernst
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
62021
Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version)
P Barros, R Just, S Millstein, P Vines, W Dietl, M d’Amorim, MD Ernst
University of Washington Department of Computer Science and Engineering …, 2015
42015
Verifying determinism in sequential programs (extended version)
R Mudduluru, J Waataja, S Millstein, MD Ernst
University of Washington, Tech. Rep. TR-UW-CSE-2021-02-01, 2021
12021
Collaborative verification of information flow for a high-assurance app store
R Just, MD Ernst, S Millstein
Gesellschaft für Informatik eV, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–8