Publication Overview

Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei

Affine Refinement Types for Secure Distributed Programming

Published in: IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016
Year: 2015
Volume: 37
Pages: 11:1-11:66