Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Ke Tian, Miles Frantz, Na Meng, Barton P. Miller, Fahad Shaon, Murat Kantarcioglu, Danfeng (Daphne) Yao: Deployment-quality and Accessible Solutions for Cryptography Code Development. CODASPY 2020: 174-176