pchapin's Research

Research

I am a student at the University of Vermont where I am working on a PhD in computer science. I am working with Christian Skalka on the use of stagged programming in embedded systems, particularly wireless sensor networks. In collaboration with Michael Watson I'm developing Scalaness, a two stage programming system that allows modules written in a reduced dialect of nesC to be specialized and manipulated by Scala programs.

Previously I developed Sprocket, a compiler for a dialect of nesC with support for secure remote procedure calls. The current version of Sprocket uses a trust management system (RT_0) for describing the access policy on exported services. This is an extension of my previous work with Dr. Skalka and X. Sean Wang on distributed trust management systems.

In addition to my work at the University of Vermont I am also a member of Vermont Technical College's CubeSat Laboratory. In that context I am interested in the application of high integrity software development techniques in the construction of CubeSat devices for various purposes. The CubeSat Laboratory is in the process of exploring the technologies required to land a CubeSat device on the moon.

Publications

• SpartanRPC: Secure WSN Middleware for Cooperating Domains by Peter Chapin and Christian Skalka. Proceedings of the Seventh IEEE International Conference on Mobile Ad-hoc and Sensor Systems; November 8--12, 2010 (San Francisco California, USA). Slides used for the presentation.
• Use of SPARK in a Resource Constrained Embedded System by Chad Loseby, Peter Chapin, and Carl Brandon. Proceedings of the ACM International Conference on Ada and Related Technologies; November 1--5, 2009 (Saint Petersburg Florida, USA); pages 87--90. Slides used for the presentation.
• Authorization in Trust Management: Features and Foundations by Peter Chapin, Christian Skalka, and X. Sean Wang. ACM Computing Surveys; 40(3), pages 1--48. August 2008. (citation)
• Risk Management for Distributed Authorization by Christian Skalka, X. Sean Wang, and Peter Chapin. Journal of Computer Security; 15(4), 2007.
• Risk Assessment in Distributed Authorization by Peter Chapin, Christian Skalka, and X. Sean Wang. Proceedings of the Workshop on Formal Methods in Security Engineering; November 11, 2005; Fairfax, Virgina; pages x--y. Slides used for the presentation.

Contact Information

My OpenPGP public key for UVM related activities is here. The key fingerprint is 3789 3135 8857 1723 7285 3C8C 5B64 468F 3604 02AC

• A good way to contact me is via email. My address is pchapin... at cems... uvm... edu