2008
A Foundation for Tunnel-Complex Protocols,
Alwyn E. Goodloe (advised by Carl A. Gunter), Doctoral Thesis, University of Pennsylvania, March 2008. [BIB]
Privacy APIs: Formal Models for Analyzing Legal Privacy Requirements,
Michael J. May (advised by Insup Lee and Carl A. Gunter). Doctoral Thesis, University of Pennsylvania, March 2008. [BIB]
Dependable Emergency-Response Networking Based on Retaskable Network Infrastructures,
Michael LeMay (advised by Carl A. Gunter). Master of Science Thesis, University of Illinois, April 2008. [BIB]
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers,
Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, and Mahesh Viswanathan.
IFIP Formal Methods for Open Object-based Sistributed Systems (FMOODS '08), Oslo, Norway, June 2008. [BIB]
Adaptive Selective Verification,
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, and Carl A. Gunter,
IEEE Conference on Computer Communications (INFOCOM '08), Phoenix, AZ, April 2008. [PPT] [BIB]
An Integrated Architecture for Demand Response Communications and Control(awarded best paper),
Michael LeMay, Rajesh Nelli, George Gross, and Carl A. Gunter.
IEEE Hawaii International Conference on System Sciences (HICSS '08), Waikola, Hawaii, January 2008. [PPT] [BIB]
2007
Supporting Emergency-Response by Retasking Network Infrastructures,
Michael LeMay and Carl A. Gunter.
ACM Workshop on Hot Topics in Networking (HotNets-VI), Atlanta, GA, November 2007. [PPT] [BIB]
Improving Multi-Tier Security Using Redundant Authentication,
Jodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter and David Raila.
ACM Computer Security Architectures Workshop (CSAW '07), Fairfax, VA, November 2007. [BIB] [PPT] [PSTR]
Reasoning about Concurrency for Security Tunnels,
Alwyn E. Goodloe and Carl A. Gunter.
IEEE Computer Security Foundations (CSF '07), Venice, Italy, July 2007. [PPT] [BIB]
Emergency Alerts as RSS Feeds with Interdomain Authorization,
Filippo Gioachin, Ravinder Shankesi, Michael J. May, Carl A. Gunter and Wook Shin.
IARIA International Conference on Internet Monitoring and Protection (ICIMP '07), Santa Clara, CA, July 2007. [PPT] [BIB] [WEB]
PAS: A Wireless-Enabled, Sensor-Integrated Personal Assistance System for Independent and Assisted Living,
Jennifer C. Hou, Qixin Wang, Bedoor K. AlShebli, Linda Ball, Stanley Birge, Marco Caccamo, Chin-Fei Cheah, Eric Gilbert, Carl A. Gunter, Elsa Gunter, Chang-Gun Lee, Karrie Karahalios, Min-Young Nam, Narasimhan Nitya, Chaudhri Rohit, Lui Sha, Wook Shin, Sammy Yu, Yang Yu, and Zheng Zeng.
High Confidence Medical Device Software and Systems (HCMDSS '07), Boston MA, June 2007. [BIB]
PolicyMorph: Interactive Policy Transformations for a Logical Attribute-Based Access Control Framework,
Michael LeMay, Omid Fatemieh, and Carl A. Gunter.
ACM Symposium on Access Control Models And Technologies (SACMAT '07), Sophia Antipolis, France, June 2007. [PPT] [BIB] [WEB]
On the Safety and Efficiency of Firewall Policy Deployment,
Charles C. Zhang, Marianne Winslett, and Carl A. Gunter.
IEEE Security and Privacy, Oakland CA, May 2007. [PPT] [BIB]
A Systematic Approach to Uncover Security Flaws in GUI Logic,
Shuo Chen, Jose Meseguer, Ralf Sasse, Helen J. Wang, and Yi-Min Wang.
IEEE Security and Privacy, Oakland CA, May 2007. [PPT] [BIB]
How Much Bandwidth Can Botnets Commandeer?
Michael Greenwald, Sanjeev Khanna, and Santosh Venkatesh.
Information Theory and Applications Workshop, February 2007.
Fair Coalitions for Power-Aware Routing in Wireless Networks,
Ratul K. Guha, Carl A. Gunter, and Saswati Sarkar.
IEEE Transactions on Mobile Computing, 6(2): 206-220, February, 2007. [BIB]
Unified Architecture for Large-Scale Attested Metering,
Michael LeMay, George Gross, Carl A. Gunter, and Sanjam Garg.
IEEE Hawaii International Conference On System Sciences (HICSS '07), Waikola, Hawaii, January 2007. [PPT] [BIB]
2006
AMPol-Q: Adaptive Middleware Policy to Support QoS,
Raja Afandi, Jianqing Zhang, and Carl A. Gunter.
ACM International Conference on Service Oriented Computing (ICSOC '06), Chicago, Illinois, December, 2006. [PPT] [BIB]
AMPol: Adaptive Messaging Policy,
Raja Afandi, Jianqing Zhang, Munawar Hafiz and Carl A. Gunter.
IEEE European Conference on web Services (ECOWS '06), Zurich, Switzerland, December 2006. [PPT] [BIB]
Using Attribute-Based Access Control to Enable Attribute-Based Messaging,
Rakesh Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, and Himanshu Khurana.
IEEE Annual Computer Security Applications Conference (ACSAC '06) , Miami, FL, December 2006. [PPT] [BIB]
Reducing Risk by Managing Software Related Failures in Networked Control Systems,
Girish Baliga, Scott Graham, Carl A. Gunter, and P. R. Kumar.
IEEE Conference on Decision and Control (CDC '06), San Diego, CA, December 2006. [PPT] [BIB]
Securing the Drop-Box Architecture for Assisted Living,
Michael J. May, Wook Shin, Carl A. Gunter, and Insup Lee.
ACM Formal Methods in Security Engineering (FMSE '06), Alexandria, VA, November 2006. [PPT] [BIB] [WEB]
Defeasible Security Policy Composition for Web Services,
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, and Carl A. Gunter.
ACM Formal Methods in Softwware Engineering (FMSE '06), Alexandria, VA, November 2006. [PPT] [BIB]
I-Living: An Open System Architecture for Assisted Living,
Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. Alshebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer Hou, Karrie Karahalios, and Lui Sha.
IEEE Systems, Man, and Cybernetics (SMC '06), Taipei, Taiwan, October 2006. [PPT] [BIB]
Outsourcing Security Analysis with Anonymized Logs,
Jianqing Zhang, Nikita Borisov, and William Yurcik.
IEEE 2nd International Workshop on the Value of Security through Collaboration (SECOVAL'06), Baltimore MD, USA September 2006. [PPT] [BIB]
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies,
Michael J. May, Carl A. Gunter, and Insup Lee.
IEEE Computer Security Foundations Workshop (CSFW 06), Venice, Italy, July 2006. [PPT] [BIB]
Acoustic Surveillance of Physically Unmodified PCs,
Michael LeMay and Jack Tan.
CSREA Security and Management (SAM 06), Las Vegas, NV, June 2006. [PPT] [BIB]
Privacy Sensitive Location Information Systems in Smart Buildings,
Jodie P. Boyer, Kaijun Tan, and Carl A. Gunter.
Security in Pervasive Computing (SPC '06), Springer LNCS, pages 149-164, York, UK, April 2006. [PPT] [BIB] [WEB]
Mitigating DoS Attack Through Selective Bin Verification,
Micah Sherr, Michael Greenwald, Carl A. Gunter, Sanjeev Khanna, and Santosh Venkatesh.
IEEE Workshop on Secure Network Protocols (NPsec '05), Boston, MA, November 2005. [PPT] [BIB]
L3A: A Protocol for Layer Three Accounting,
Alwyn Goodloe, Matthew Jacobs, and Gaurav Shah.
IEEE Workshop on Secure Network Protocols (NPsec '05), Boston, MA, November 2005. [PPT] [BIB]
WSEmail: Secure Internet Messaging Based on Web Services,
Kevin D. Lux, Michael J. May, Nayan L. Bhattad, and Carl A. Gunter.
IEEE International Conference on Web Services (ICWS '05), Orlando, Florida, July 2005. [PPT] [BIB]
Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories,
Gul Agha, Michael Greenwald, Carl A. Gunter, Sanjeev Khanna, Jose Meseguer, Koushik Sen, and Prasannaa Thati.
IEEE Workshop on Foundations of Computer Security (FCS '05), Chicago, IL, June 2005. [PPT] [BIB]
Formal Prototyping in Early Stages of Protocol Design
Alwyn Goodloe, Carl A. Gunter, and Mark-Oliver Stehr
IFIP/ACM Workshop on Issues in the Theory of Security (WITS '05), Long Beach, CA, January 2005. [PPT] [BIB]
|
