International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Finite State Machine Modelling of Cryptographic Systems in Loops

Authors:
Franz Pichler
Download:
DOI: 10.1007/3-540-39118-5_7 (login may be required)
Search ePrint
Search Google
Conference: EUROCRYPT 1987
BibTeX
@inproceedings{eurocrypt-1987-2706,
  title={Finite State Machine Modelling of Cryptographic Systems in Loops},
  booktitle={Advances in Cryptology - EUROCRYPT '87, Workshop on the Theory and Application of of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={304},
  pages={65-73},
  doi={10.1007/3-540-39118-5_7},
  author={Franz Pichler},
  year=1987
}