Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Advanced Lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Quantitative Aspects of Programming Languages
SFM, 2010.

@proceedings{SFM-2010,
	address       = "Bertinoro, Italy",
	doi           = "10.1007/978-3-642-13678-8",
	editor        = "Alessandro Aldini and Marco Bernardo and Alessandra Di Pierro and Herbert Wiklicky",
	isbn          = "978-3-642-13677-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Quantitative Aspects of Programming Languages}",
	volume        = 6154,
	year          = 2010,
}

Event page: http://www.sti.uniurb.it/events/sfm10qapl/

Contents (4 items)

2 ×#security

SFM-2010-PierroHW #probability #program analysis #semantics

Probabilistic Semantics and Program Analysis (ADP, CH, HW), pp. 1–42.

SFM-2010-BroadbentFK #quantum

Measurement-Based and Universal Blind Quantum Computation (AB, JF, EK), pp. 43–86.

SFM-2010-MalacariaH #data flow #security

Information Theory and Security: Quantitative Information Flow (PM, JH), pp. 87–134.

SFM-2010-WolterR #performance #security #trade-off

Performance and Security Tradeoff (KW, PR), pp. 135–167.