|
Publications: Katia Hristova, K. Tuncay Tekle, and Yanhong A. Liu. Efficient Trust Management Policy Analysis from Rules. To appear in Proceedings of the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP). Wroclaw, Poland, July 2007. ACM Press, 2007. Katia Hristova, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller. Efficient Type Inference for Secure Information Flow. In Proceedings of the 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). Pages 85-94, Ottawa, Canada, June 2006 . ACM Press, 2006. A much extended version of this paper, currently under journal submission, is available here. Katia Hristova and Yanhong A. Liu. Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. In Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) , Lecture Notes in Computer Science. © Springer-Verlag, 2006. Presentations: Efficient Type Inference for Secure Information Flow. ¨ New Jersey Programming Languages and Systems Seminar (NJPLS) , Camden, NJ, February 2007 Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. ¨ the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), Charleston, South Carolina, January 2006 ¨ IBM Programming Languages Day, Watson, New York, April 2006 Efficient Trust Management Policy Analysis from Rules. ¨ the Graduate Research Conference (GRC), SUNY, Stony Brook, April 2006 ¨ Databases/Information Retrieval Day, NYU, New York, October 2006 |
|
Contact Information: Computer Science Department |
Katia Hristova
I am a Phd candidate at the Computer Science Dept in Stony Brook University. I am working with Prof. Annie Liu in the Design and Analysis Research lab. |