Publications - Proof-carrying code (Security)


2010

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Confidentiality Certification of source Java code in JavaPCC.
    In proceedings of 10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010).
  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Approximating Non-interference and Erasure in Rewriting Logic.
    In proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010).
    © IEEE Press
  • M. Alba-Castro, M. Alpuente, S. Escobar.
    Abstract Certification of Global Non-Interference in Rewriting Logic (Invited paper)
    In proceedings of Software Technologies Concertation on Formal Methods for Components and Objects (FMCO'09),
    Lecture Notes in Computer Science, Volume 6286/2010, pages 105-124, 2010.
    © Springer-Verlag
    Available: DOI PDF CoRR with proofs
  • 2008

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automated Certification of Non-Interference in Rewriting Logic
    In proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008),
    LNCS 5596, pages 182-198, 2008.
    © Springer-Verlag
    Available: DOI PDF
  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda and Daniel Romero
    A Tool for Automated Certification of Java Source Code in Maude
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    Electronic Notes in Theoretical Computer Science, volume 248, pages 19-29, 2008.
    © Elsevier
    Available: DOI link PDF
  • 2007

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automatic Certification of Java Source Code in Rewriting Logic
    In proceedings of 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007),
    LNCS 4916, pages 200-217, 2008.
    © Springer-Verlag
    Available: DOI

  • Last modified: Tue Apr 9 10:41:42 CEST 2013