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