A Framework for Execution of Secure Mobile Code based on Static Analysis. - Martín Nordio; Ricardo H. Medel; Francisco Bavera; Jorge Aguirre; Gabriel Baum (SCCC, 2004)

Type-based information flow analysis for bytecode languages with variable object field policies. - Francisco Bavera; Eduardo Bonelli (SAC, 2008)

Justification Logic and History Based Computation. - Francisco Bavera; Eduardo Bonelli (ICTAC, 2010)

An user configurable clang static analyzer taint checker. - Marcelo Arroyo; Francisco Chiotta; Francisco Bavera (SCCC, 2016)

Justification logic and audited computation. - Francisco Bavera; Eduardo Bonelli (J. Log. Comput., 2018)

Computational Thinking Skills in Primary Teachers: Evaluation Using Bebras. - Francisco Bavera; Teresa Quintero; Marcela Daniele; Flavia Buffarini (CACIC, 2019)