Writing Archive

Work In Progress



  • “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


  • “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


  • “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


Athos Ribeiro, Software Engineer and Graduate Student in the Institute of Mathematics and Statistics at University of São Paulo, persuing a master degree under the advisory of Fabio Kon



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader.