Runtime Verification of Crypto APIs: An Empirical Study (bibtex)
@article{tpa+23runtime,
author = {Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonif\'acio, Rodrigo and Legunsen, Owolabi and d'Amorim, Marcelo and Bodden, Eric and Dias, Edna},
title = {Runtime Verification of Crypto APIs: An Empirical Study},
year = {2023},
publisher = {IEEE},
journal = {Transactions on Software Engineering},
note = {To appear.},
}
Powered by bibtexbrowser