Compiling and Verifying Security Protocols

@inproceedings{Jacquemard2000CompilingAV,
  title={Compiling and Verifying Security Protocols},
  author={Florent Jacquemard and Micha{\"e}l Rusinowitch and Laurent Vigneron},
  booktitle={LPAR},
  year={2000}
}
Highly Cited
This paper has 112 citations. REVIEW CITATIONS

Statistics

01020'02'04'06'08'10'12'14'16'18
Citations per Year

113 Citations

Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.