2014

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Co

FORTE (Conference) (34th : 2014 : Berlin, Germany)

Cham : Springer, [2014]

 

2014

Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday

PrakashFest (Conference) (2014 : Oxford, England)

Cham : Springer, 2014

 

2020

The science of quantitative information flow

Alvim, Mário S., 1982- author.

Cham, Switzerland : Springer, [2020]

 

2012

Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)



 

2013

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers

TGC (Symposium) (7th : 2012 : Newcastle upon Tyne, England)

Heidelberg : Springer, [2013]