Complete PublicationsHome | Research | Catholic | Publications | Personal
|
Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, and Patrick McDaniel. Non-Invasive Methods for Host Certification. ACM Transactions on Information and System Security (TISSEC), 11(3), 2008. [ bib ]
Moreno Falaschi, Patrick Hicks, and William Winsborough. Demand transformation analysis for concurrent constraint programs. Journal of Logic Programming, 41(3):185-215, March 2000. [ bib | .pdf | Abstract ]
John Hannan and Patrick Hicks. Higher-order uncurrying. Journal of Higher Order and Symbolic Computation, 13(3):179-216, 2000. [ bib | .pdf | Abstract ]
Boniface Hicks, Dave King, and Patrick McDaniel. Jifclipse: Development tools for security-typed applications. In Michael Hicks, editor, Proceedings of the 2nd ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS '07), San Diego, CA, June 14 2007. ACM Press. [ bib | http | .pdf | Abstract ]
Boniface Hicks, Sandra Rueda, Trent Jaeger, and Patrick McDaniel. Integrating selinux with security-typed languages. In Proceedings of the 3rd SELinux Symposium, Baltimore, MD, USA, March 2007. [ bib | .pdf | .pdf | Abstract ]
Boniface Hicks, Sandra Rueda, Trent Jaeger, and Patrick McDaniel. From trusted to secure: Building and executing applications that enforce system security. In Proceedings of the USENIX Annual Technical Conference, Santa Clara, CA, USA, June 2007. [ bib | .html | .pdf | Abstract ]
Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, and Patrick McDaniel. A logical specification and analysis for SELinux MLS policy. In Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT), Antipolis, France, June 2007. [ bib | http | .pdf | Abstract ]
Boniface Hicks, Timothy Misiak, and Patrick McDaniel. Channels: Runtime system infrastructure for security-typed languages. In 23rd Annual Computer Security Applications Conference (ACSAC), Miami, Fl, December 2007. [ bib | http | .pdf | Abstract ]
Patrick Traynor, Mike Chien, Scott Weaver, Boniface Hicks, and Patrick McDaniel. Non-invasive host certification. In Second IEEE Communications Society/CreateNet International Conference on Security and Privacy in Communication Networks (SecureComm '06), Baltimore, MD, Aug. 28 - Sep. 1 2006. [ bib | .pdf | Abstract ]
Boniface Hicks, Kiyan Ahmadizadeh, and Patrick McDaniel. Understanding practical application development in security-typed languages. In 22st Annual Computer Security Applications Conference (ACSAC), Miami, Fl, December 2006. Awarded best student paper. [ bib | .pdf | Abstract ]
Boniface Hicks, Dave King, Patrick McDaniel, and Michael Hicks. Trusted declassification: High-level policy for a security-typed language. In Proceedings of the 1st ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS '06), Ottawa, Canada, June 10 2006. ACM Press. An extended version of this paper appears in the technical report NAS-TR-0033-2006. [ bib | .pdf | Abstract ]
Moreno Falaschi, Patrick Hicks, and William H. Winsborough. Demand transformation analysis for concurrent constraint programs. In Joint International Conference and Symposium on Logic Programming, pages 333-347, 1996. An extended version of this paper appears in the Journal of Logic Programming, Vol 41, No. 3, pp 185-215. [ bib | .html | Abstract ]
John Hannan and Patrick Hicks. Higher-order uncurrying. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-10, San Diego, CA, January 1998. An extended version of this paper appears in Higher Order and Symbolic Computation, Vol 13, No. 3, 2000, pp 179-216. [ bib | .pdf | Abstract ]
John Hannan and Patrick Hicks. Higher-order arity raising. In Proceedings of 3rd ACM SIGPLAN International Conference on Functional Programming, pages 27-38, Baltimore, MD, September 1998. [ bib | .pdf | Abstract ]
Patrick Hicks, Matthew Walnock, and Robert Michael Owens. Analysis of power consumption in memory hierarchies. In Proceedings of the 1997 international symposium on Low power electronics and design, pages 239-242. ACM Press, 1997. [ bib | DOI | .pdf | Abstract ]
Michael Hicks, Stephen Tse, Boniface Hicks, and Steve Zdancewic. Dynamic updating of information-flow policies. In Proceedings of the Foundations of Computer Security Workshop (FCS '05), March 2005. [ bib | .pdf | Abstract ]
Boniface Hicks. Secure systems development using security-typed languages. Technical report, Penn State, University Park, PA, December 2007. [ bib | .html | .pdf ]
Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, and Patrick McDaniel. A logical specification and analysis for SELinux MLS policy. Technical Report NAS-TR-0058-2007, Networking and Security Research Center, Department of Computer Science, Pennsylvania State University, 2007. Slightly extended version of SACMAT 2007 publication. [ bib ]
Boniface Hicks, Sandra Rueda, Trent Jaeger, and Patrick McDaniel. Breaking Down the Walls of Mutual Distrust: Security-typed Email Using Labeled IPsec. Technical Report NAS-TR-0049-2006, Network and Security Research Center, Department of Computer Science and Engineering, Pennsylvania State University, University Park, PA, USA, September 2006. [ bib | Abstract ]
Boniface Hicks, Dave King, Patrick McDaniel, and Michael Hicks. Trusted declassification: High-level policy for a security-typed language. Technical Report NAS-TR-0033-2006, Networking and Security Research Center, Department of Computer Science, Pennsylvania State University, March 2006. [ bib | .pdf | Abstract ]
Boniface Hicks, Dave King, and Patrick McDaniel. Declassification with Cryptographic Functions in a Security-Typed Language. Technical Report NAS-TR-0004-2005, Network and Security Center, Department of Computer Science, Pennsylvania State University, January 2005. (updated May 2005). [ bib | .pdf | Abstract ]
Boniface Hicks, Patrick McDaniel, and Ali Hurson. Information flow control in database security: A case study for secure programming with jif. Technical Report NAS-TR-0011-2005, Network and Security Center, Department of Computer Science, Pennsylvania State University, April 2005. [ bib | .pdf | Abstract ]