Publication Overview

Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei

Logical Foundations of Secure Resource Management in Protocol Implementations

Published in: POST
Year: 2013
Pages: 105-125