( en | de | ru )

 

Disambiguation of "Bavera, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Type-based information flow analysis for bytecode languages with variable object field policies.

, and . SAC, page 347-351. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francisco Gaona

Francisco Castellanos

Francisco Cardiel

Francisco Garcés

Francisco Carabelli

 

Other publications of authors with the same name

An user configurable clang static analyzer taint checker., , and . SCCC, page 1-12. IEEE, (2016)Type-based information flow analysis for bytecode languages with variable object field policies., and . SAC, page 347-351. ACM, (2008)Justification logic and audited computation., and . J. Log. Comput., 28 (5): 909-934 (2018)Justification Logic and History Based Computation., and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 337-351. Springer, (2010)Computational Thinking Skills in Primary Teachers: Evaluation Using Bebras., , , and . CACIC, volume 1184 of Communications in Computer and Information Science, page 405-415. Springer, (2019)A Framework for Execution of Secure Mobile Code based on Static Analysis., , , , and . SCCC, page 59-66. IEEE Computer Society, (2004)