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}}
Powered by bibtexbrowser