Denial of Service (DoS) attacks deplete the resources of target systems to deny service to legitimate users. Preventing such attacks is quite difficult because of fundamental design decisions in the Internet and in wireless systems. This project is developing better theoretical models for DoS and using these to inspire and analyze new types of countermeasures. The project also investigates a range of topics in network security such as tunnels, firewalls, and browsers.
Publications
Using Rhythmic Nonces for Puzzle-Based DoS Resistance,
Ellick M. Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, and Daniel Rebolledo.
ACM Computer Security Architectures Workshop (CSAW '08), Fairfax, VA, October 2008.[BIB]
Probabilstic Modeling and Analysis of DoS Protection for the ASV Protocol,
Musab AlTurki, Jose Meseguer, and Carl A. Gunter,
International Workshop on Security and Rewriting Techniques (SecRet '08), Pittsburgh, PA, June 2008.
A Foundation for Tunnel-Complex Protocols,
Alwyn E. Goodloe (advised by Carl A. Gunter),
Doctoral Thesis, University of Pennsylvania, March 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 Distributed 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]
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]
How Much Bandwidth Can Botnets Commandeer?
Michael Greenwald, Sanjeev Khanna, and Santosh Venkatesh.
Information Theory and Applications Workshop, February 2007.
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]
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]