Opening book details…
Can I read An Abstract Model of Certificate Translation on EtoBox?
An Abstract Model of Certificate Translation by Gilles Barthe; César Kunz is a Computer Science article available to read on EtoBox.
What is An Abstract Model of Certificate Translation about?
A certificate is a mathematical object that can be used to establish that a piece of mobile code satisfies some security policy. In general, certificates cannot be generated automatically. There is thus an interest in developing methods to reuse certificates generated for source code to provide strong guarantees of the compiled code correctness. Certificate translation is a method to transform certificates of program correctness along semantically justified program transformations. These methods have been developed in previous work, but they were strongly dependent on particular programming and verification settings. This article provides a more general development in the setting of abstract interpretation, showing the scalability of certificate translation.
Who reads An Abstract Model of Certificate Translation?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Gilles Barthe; César Kunz
- Publisher
- ACM
- Published
- 2011
- Language
- EN
- Field
- Computer Science (Physical Sciences)