@ARTICLE{Alex08FirewallQuery,
author = {Alex X. Liu and Mohamed G. Gouda},
title = {Firewall Policy Queries},
journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)},
year = {to appear},
}

@ARTICLE{Alex08Redundancy,
author = {Alex X. Liu and Mohamed G. Gouda},
title = {Complete Redundancy Removal for Packet Classifiers in TCAMs},
journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)},
year = {to appear}
}

@ARTICLE{Alex08DiverseJournal,
author = {Alex X.\ Liu and Mohamed G.\ Gouda},
title = {Diverse Firewall Design},
journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)},
year = {2008},
volume = {19},
number = {8}
}

@INPROCEEDINGS{AlexCollaborativePODC2008,
author = {Alex X.\ Liu and Fei Chen},
title = {Collaborative Enforcement of Firewall Policies in Virtual Private Networks},
booktitle = {Proceedings of the Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)},
year = {2008},
address = {Toronto, Canada},
month = {August}
}

@INPROCEEDINGS{alex08xengine,
author = {Alex X. Liu and Fei Chen and JeeHyun Hwang and Tao Xie},
title = {XEngine: A Fast and Scalable XACML Policy Evaluation Engine},
booktitle = {Proceedings of the International Conference on Measurement and Modeling of Computer Systems (Sigmetrics)},
year = {2008},
address = {Annapolis, Maryland},
month = {June}
}

@INPROCEEDINGS{Alex08NewRedundancy,
author = {Alex X. Liu and Chad R. Meiners and Yun Zhou},
title = {All-Match Based Complete Redundancy Removal for Packet Classifiers in {TCAMs}},
booktitle = {Proceedings of the 27th Annual IEEE Conference on Computer Communications (Infocom)},
year = {2008},
address = {Phoenix, Arizona},
month = {April}
}

@INPROCEEDINGS{FirewallCompressorInfocom,
author = {Alex X. Liu and Eric Torng and Chad Meiners},
title = {Firewall Compressor: An Algorithm for Minimizing Firewall Policies},
booktitle = {Proceedings of the 27th Annual IEEE Conference on Computer Communications (Infocom)},
year = {2008},
address = {Phoenix, Arizona},
month = {April}
}

@INPROCEEDINGS{Bruhadeshwar2008symmetric,
author = {Bezawada Bruhadeshwar and Sandeep S. Kulkarni and Alex X. Liu},
title = {Symmetric Key Approaches to Securing BGP -- A Little Bit Trust is Enough},
booktitle = {Proceedings of the 12th European Symposium Research Computer Security (ESORICS)},
year = {2008},
address = {Malaga, Spain},
month = {October}
}

@INPROCEEDINGS{Alex08FirewallTesting,
author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu.},
title = {Systematic Structural Testing of Firewall Policies},
booktitle = {Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems (SRDS)},
year = {2008},
address = {Napoli, Italy},
month = {October}
}

@INPROCEEDINGS{Pongaliur2008securing,
author = {Kanthakumar Pongaliur and Zubin Abraham and Alex X. Liu and Li Xiao and Leo Kempel},
title = {Securing Sensor Nodes Against Side Channel Attacks},
booktitle = {Proceedings of the 27th IEEE High Assurance Systems Engineering Symposium (HASE)},
year = {2008},
address = {Nanjing, China},
month = {December}
}

@INPROCEEDINGS{Liu2008pap,
author = {Alex X. Liu and LeRoy Bailey},
title = {PAP: A Privacy and Authentication Protocol for Passive RFID Tags},
booktitle = {Proceedings of the IEEE International Conference on Computer Communications and Networks (ICCCN)},
year = {2008},
address = {St. Thomas, U.S},
month = {August}
}

@INPROCEEDINGS{alex08distributed,
author = {Mohamed Gouda and Alex X. Liu and Mansoor Jafry},
title = {Verification of Distributed Firewalls},
booktitle = {Proceedings of the {IEEE} Global Communications Conference {(GLOBECOM)}},
year = {2008},
address = {New Oreleans, Louisiana},
month = {Novembrt}
}

@INPROCEEDINGS{Liu2008formal,
author = {Alex X. Liu},
title = {Formal Verification of Firewall Policies},
booktitle = {Proceedings of the 2008 IEEE International Conference on Communications (ICC)},
year = {2008},
address = {Beijing,China},
month = {May}
}

@article{Bailey2008rfid,
author = {LeRoy A. Bailey and Alex X. Liu and Adithya H. Krishnamurthy},
title = {RFIDGuard: A Lightweight Privacy and Authentication Protocol for Passive RFID Tags},
journal = {Journal of Security and Communication Networks, to appear.},
year = {2008},
}

@INBOOK{Bailey2008RfidChapter,
chapter = {in Book RFID and Sensor Networks: Architectures, Protocols, Security and Integrations},
title = {RFID Authentication and Privacy Protocols},
publisher = {Taylor \& Francis Group},
editor = {Yan Zhang and Laurence T. Yang and Jiming Chen},
author = {LeRoy Bailey and Alex X. Liu}
}

@ARTICLE{Mohamed08Formal,
author = {Mohamed G. Gouda and Alex X. Liu},
title = {Formal Specification and Verification of a Micropayment Protocol},
journal = {International Journal of Network Security},
year = {2008},
volume = {7},
pages = {82-88},
number = {1}
}

@ARTICLE{Gouda2007spp,
author = {Mohamed G. Gouda and Alex X. Liu and Lok M. Leung and Mohamed A. Alam},
title = {SPP: An Anti-phishing Single Password Protocol},
journal = {Journal of Computer Networks (Elsevier)},
year = {2007},
volume = {51},
pages = {1389-1286},
number = {13}
}

@ARTICLE{alex05FddJournal,
author = {Mohamed G. Gouda and Alex X. Liu},
title = {Structured Firewall Design},
journal = {Computer Networks Journal (Elsevier)},
year = {2007},
volume = {51},
pages = {1106-1120},
number = {4},
month = {March}
}

@INPROCEEDINGS{Meiners2007tcam,
author = {Chad R. Meiners and Alex X. Liu and Eric Torng},
title = {TCAM Razor: A Systematic Approach Towards Minimizing Packet Classifiers in TCAMs},
booktitle = {Proceedings of the 15th IEEE International Conference on Network Protocols (ICNP)},
year = {2007},
address = {Beijing, China},
month = {October}
}

@INPROCEEDINGS{alex07change,
author = {Alex X. Liu},
title = {Change-Impact Analysis of Firewall Policies},
booktitle = {Proceedings of the 12th European Symposium Research Computer Security(ESORICS), LNCS 4734, Springer-Verlag},
year = {2007},
address = {Dresden, Germany},
month = {October}
}

@ARTICLE{alex05key,
author = {Eunjin Jung and Alex X. Liu and Mohamed G. Gouda},
title = {Key Bundles and Parcels: Secure Communication in Many Groups},
journal = {Computer Networks Journal (Elsevier), a preliminary version appeared in the Proceedings of the 5th International Workshop on Networked Group Communications (NGC-03), LNCS 2816, B. Stiller Ed., Springer-Verlag},
year = {2006},
volume = {50},
pages = {1781-1798},
number = {11},
month = {August}
}

@INPROCEEDINGS{Huang2006oncapturing,
author = {Chin-Tser Huang and Nathan L. Johnson and Jeff Janies and Alex X. Liu},
title = {On Capturing and Containing E-mail Worms},
booktitle = {Proceedings of the 25th IEEE International Performance Computing and Communications Conference (IPCCC)},
year = {2006},
address = {Phoenix, Arizona},
month = {April}
}

@INPROCEEDINGS{alex05stateful,
author = {Mohamed G. Gouda and Alex X. Liu},
title = {A Model of Stateful Firewalls and its Properties},
booktitle = {Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-05)},
year = {2005},
address = {Yokohama, Japan},
month = {June}
}

@INPROCEEDINGS{alex05redundancy,
author = {Alex X. Liu and Mohamed G. Gouda},
title = {Complete Redundancy Detection in Firewalls},
booktitle = {Proceedings of the 19th Annual IFIP Conference on Data and Applications Security, LNCS 3654},
year = {2005},
pages = {196-209},
address = {Connecticut, US},
month = {August},
url = {http://www.cs.utexas.edu/users/alex/publications/Redundancy/redundancy.pdf}
}

@INPROCEEDINGS{alex05password,
author = {Mohamed G. Gouda and Alex X. Liu and Lok M. Leung and Mohamed A. Alam},
title = {Single Password, Multiple Accounts},
booktitle = {Proceedings of the 3rd Applied Cryptography and Network Security Conference (industry track)},
year = {2005},
pages = {176-187},
address = {New York City, US},
month = {June},
url = {http://www.cs.utexas.edu/users/alex/publications/}
}

@INPROCEEDINGS{alex05cookie,
author = {Alex X. Liu and Jason M. Kovacs and Chin-Tser Huang and Mohamed G. Gouda},
title = {A Secure Cookie Protocol},
booktitle = {Proceedings of the 14th IEEE International Conference on Computer Communications and Networks},
year = {2005},
pages = {333-338},
address = {San Diego, California},
month = {October},
url = {http://www.cs.utexas.edu/users/alex/publications/}
}

@INPROCEEDINGS{alex05zmail,
author = {Benjamin J. Kuipers and Alex X. Liu and Aashin Gautam and Mohamed G. Gouda},
title = {Zmail : Zero-Sum Free Market Control of Spam},
booktitle = {Proceedings of the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN-05)},
year = {2005},
pages = {20-26},
address = {Columbus, Ohio},
month = {June}
}

@INPROCEEDINGS{alex04dsn,
author = {Alex X. Liu and Mohamed G. Gouda},
title = {Diverse Firewall Design},
booktitle = {Proceedings of the International Conference on Dependable Systems and Networks (DSN-04)},
year = {2004},
pages = {595-604},
address = {Florence, Italy},
month = {June}
}

@INPROCEEDINGS{alex04fdd,
author = {Mohamed G. Gouda and Alex X. Liu},
title = {Firewall design: consistency, completeness and compactness},
booktitle = {Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS-04)},
year = {2004},
pages = {320-327},
address = {Tokyo, Japan},
month = {March}
url = {http://www.cs.utexas.edu/users/alex/publications/fdd.pdf}
}

@INPROCEEDINGS{alex04query,
author = {Alex X. Liu and Mohamed G. Gouda and Huibo Heidi Ma and Anne HH. Ngu},
title = {Firewall Queries},
booktitle = {Proceedings of the 8th International Conference on Principles of Distributed Systems, LNCS 3544, T. Higashino Ed., Springer-Verlag},
year = {2004},
pages = {124-139},
address = {Grenoble, France},
month = {December}
url = {http://www.cs.utexas.edu/users/alex/publications/query.pdf}
}

@INPROCEEDINGS{alex04test,
author = {Alex X. Liu and Mohamed G. Gouda and Huibo Heidi Ma and Anne HH. Ngu},
title = {Non-Intrusive Testing of Firewalls},
booktitle = {Proceedings of the 1st International Computer Engineering Conference},
year = {2004},
pages = {196-201},
address = {Cairo, Egypt},
month = {December}
}

@INPROCEEDINGS{alex04cash,
author = {Mohamed G. Gouda and Alex X. Liu},
title = {Formal Specification and Verification of a Micropayment Protocol},
booktitle = {Proceedings of the 13th IEEE International Conference on Computer Communications and Networks},
year = {2004},
pages = {489-494},
address = {Chicago, Illinois},
month = {October}
}

@INPROCEEDINGS{alex03key,
author = {Eunjin Jung and Alex X. Liu and Mohamed G. Gouda},
title = {Key Bundles and Parcels: Secure Communication in Many Groups},
booktitle = {Proceedings of the 5th International Workshop on Networked Group Communications (NGC-03), LNCS 2816, B. Stiller Ed., Springer-Verlag},
year = {2003},
pages = {119-130},
address = {Munich, Germany},
month = {September},
url = {http://www.cs.utexas.edu/users/alex/publications/}
}