A Tool-Chain for High-Assurance Cryptographic

Almeida, J.; Barbosa, M.; Pacheco, H.; Pereira, V.

by J. Almeida, M. Barbosa, H. Pacheco, V. Pereira

Reference:

J. Almeida, M. Barbosa, H. Pacheco, V. Pereira, A Tool-Chain for High-Assurance Cryptographic, In ERCIM News, article, , vol. 2016, no. 106, 2016.

Bibtex Entry:

@article{ercim2016,
  author    = {J. Almeida and M. Barbosa and H. Pacheco and V. Pereira},
  title     = {A Tool-Chain for High-Assurance Cryptographic},
  journal   = {{ERCIM} News},
  volume    = {2016},
  number    = {106},
  year      = {2016},
  url       = {http://ercim-news.ercim.eu/en106/special/a-tool-chain-for-high-assurance-cryptographic-software}
}