Runtime Verification of Crypto APIs: An Empirical Study

Torres, Adriano; Costa, Pedro; Amaral, Luis; Pastro, Jonata; Bonifácio, Rodrigo; d'Amorim, Marcelo; Legunsen, Owolabi; Bodden, Eric; Dias Canedo, Edna

doi:10.1109/TSE.2023.3301660

Runtime Verification of Crypto APIs: An Empirical Study (bibtex)

@ARTICLE{tca+23runtime,
  author={Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d'Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna},
  journal={IEEE Transactions on Software Engineering}, 
  title={Runtime Verification of Crypto APIs: An Empirical Study}, 
  year={2023},
  volume={49},
  number={10},
  pages={4510-4525},
  url={http://bodden.de/pubs/tca+23runtime.pdf},
  doi={10.1109/TSE.2023.3301660}}