archives

Browse by Subject: GENERAL


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 5 entries

Bagherzadeh, Mehdi, Rajan, Hridesh, Gary T., Leavens and Mooney, Sean (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces. Technical Report 10-02a, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (2002) A Runtime Assertion Checker for the Java Modeling Language (JML). Technical Report TR #02-05, Department of Computer Science, Iowa State University.

Dehlinger, Josh and Subramanian, Nalin V. (2006) Architecting Secure Software Systems Using an Aspect-Oriented Approach: : A Survey of Current Research. Technical Report, Computer Science, Iowa State University.

Yang, Ka, Zhang, Jinsheng, Zhang, Wensheng and Qiao, Daji (2013) An Accountability Scheme for Oblivious RAMs. Technical Report, Computer Science, Iowa State University.

Zhang, Jinsheng, Zhang, Wensheng and Qiao, Daji (2014) A Multi-user Oblivious RAM for Outsourced Data. Technical Report, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu