Secure Resource Management in Protocol Implementations

Below you can find the long version of the paper "Logical Foundations of Secure Resource Management in Protocol Implementations" by Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei.

Downloads

Updates

  • new We fixed some minor bugs and typos. Furthermore, we adopted a more elegant and intuitive formulation of the rewriting relation, which now incorporates all the rules of the logic as opposed to only the left rules.