selected publications blog posting The Impact of Developer Experience in Using Java Cryptography. arXiv (Cornell University). 2019 conference paper The Impact of Developer Experience in Using Java Cryptography 2019 Architectural Runtime Verification 2019