@misc{indiciae377239e5234e,
  title = {Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard},
  author = {Wendelin Serwe},
  year = {2015},
  doi = {10.4204/eptcs.196.6},
  url = {https://arxiv.org/abs/1511.04174},
  note = {Source identifier: 1511.04174}
}