2017

• “A study on low complexity models to predict flaws in the Linux source code” Lucas Kanashiro, Athos Ribeiro, David Carlos Silva, Paulo Meirelles, Antonio Terceiro Kanashiro, L., Ribeiro, A., Silva, D., Meirelles, P., & Terceiro, A. (2017, June). A study on low complexity models to predict flaws in the Linux source code. In Information Systems and Technologies (CISTI), 2017 12th Iberian Conference on (pp. 1-6). IEEE. Abstract  pdf  Proceedings

2016

• “SATE V Ockham Sound Analysis Criteria” Paul E. Black and Athos Ribeiro. March 2016, NIST Internal Report (IR) 8113. DOI 10.6028/NIST.IR.8113 or http://nvlpubs.nist.gov/nistpubs/ir/2016/NIST.IR.8113.pdf. The data and programs to reproduce these results are available at DOI 10.18434/T4WC7V or https://s3.amazonaws.com/nist-ockham-criteria-sate-v-data/ockhamCriteriaSATEVdata.tar.xz (9.3 Megabytes download, 390 Megabytes uncompressed). A README file is available at https://s3.amazonaws.com/nist-ockham-criteria-sate-v-data/README Abstract  pdf

2015

• “Password policy languages: usable translation from the informal to the formal.” Michelle Steves, Mary Theofanos, Celia Paulsen, Athos Ribeiro. In Human Aspects of Information Security, Privacy and Trust: 3rd International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, pp. 119-130. Springer International Publishing, 2015. Abstract  Proceedings