@inproceedings{Seidl06Cryptographic, author = {Helmut Seidl and Kumar Neeraj Verma}, title = {Cryptographic {P}rotocol {V}erification {U}sing {T}ractable {C}lasses of {H}orn {C}lauses}, booktitle = {Program Analysis and Compilation, Theory and Practice}, editor = {Thomas W. Reps and Mooly Sagiv and J\"org Bauer}, year = 2007, pages = {97-119}, series = {Lecture Notes in Computer Science}, volume = {4444}, publisher = {Springer}, }