Vicky Weissman Research Interests  Applying formal methods to problems in computer science, particularly security and privacy. Current Position  Graduate student at Cornell University, Advisor: Joseph Halpern, Thesis Title: "A formal, yet practical,  approach to policy specification"

I am currently looking for a research or tenure-track faculty position. Here is my CV (.ps,.pdf), research statement (.ps,.pdf), and teaching statement (.ps,.pdf).

Publications

• Using First-Order Logic to Reason about Policies, CSFW-03 (Proceedings of the Sixteenth IEEE Computer Security Foundations Workshop), 2003, pp. 187-201 (with Joseph Halpern)  .ps, .pdf, slides, poster
  Full version (submitted to TISSEC): .ps, .pdf, BibTex
  


• Reasoning about Dynamic Policies, FOSSACS-04 (Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structure), 2004, pp. 453-467 (with Riccardo Pucella) .ps, .pdf
  


• A Logic for Reasoning about Digital Rights, CSFW-02 (Proceedings of the Fifteenth IEEE Computer Security Foundations Workshop), 2002, pp. 282-294 (with Riccardo Pucella) .ps, .pdf, slides
  An earlier version of this work was presented at WITS-02: paper, slides
  Full version: .ps, .pdf, BibTeX
  

• A Formal Foundation for XrML, CSFW-04 (Proceedings of the Seventeenth IEEE Computer Security Foundations Workshop), 2004, pp. 251-263 (with Joseph Halpern) .ps, .pdf, slides, poster
  A more recent version of this work was presented at Microsoft Research in Cambridge, Sept. 2004, slides
  


• A Formal Foundation for ODRL, WITS-04 (Workshop on Issues in the Theory of Security), 2004 (with Riccardo Pucella)  .ps, .pdf, poster
  Full version (submitted to JCS): .ps, .pdf, BibTeX
  

• Towards a policy language for humans and computers, ECDL-04 (Proceedings of the Eighth European Conference on Digital Libraries), 2004, pp. 513-525 (with Carl Lagoze) .ps, .pdf, slides

• A review of Model Checking by Clarke,  Grumberg, and Peled, SIGACT News, March 2002
  review: .ps, .pdf
  
• A review of Modal and Temporal Properties of Processes by Colin Stirling, SIGACT News, June 2003
  review: .ps, .pdf

Professional activities

• Designed the curriculum, lectured, and prepared assignments for Introduction to Computer Science (CS 99), a 6-week summer course, and Programming in Java (CS 202), a 4-week course; both taught at Cornell University.
• Supervised a project to demonstrate that appropriate interfaces can be designed so that  formal policy languages are accessible to nonexperts.  For their contributions, both Daniel Simone and Andrew Lee received credit for their MEng project requirement and both Euwyn Poon and Ilya Ryzhov received course credit for doing independent research.    
• Co-chair for Portia Workshop on Sensitive Data in Medical, Financial, and Content-Distribution, July 8-9, 2004 (with Joan Feigenbaum and Vitaly Shmatikov)
  
• Women’s Mentorship Program in Computer Science: founding member; panel moderator for "Perspectives on Women in Computer Science", Dec. 9, 2002; helped organize the panel discussion on "Opportunities in Computer Science", Nov. 17, 2003.  
• Intern at Sandia National Laboratories,  Cyber Defense Group, Summer 2000.
  
  

Brief bio

• Graduated from Shady Side Academy, class of '92. 
• Graduated from Cornell University, class of '96, with a BS in Electrical Engineering.  
• Worked for 2 years as an engineer for Cirrus Logic in Seattle.  We made graphics chips.
• Came back to Cornell for an MEng in CS.  
  
• Stayed on for the doctorate.  

Contact information