Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Barthe, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 7.


Barthe, G. and Datta, A. and Etalle, S., ed. (2011) Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers. Lecture Notes in Computer Science 7140. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-29419-8
Soleimanifard, S. and Gurov, D. and Huisman, M. (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay. pp. 366-381. Lecture Notes in Computer Science 7041. Springer Verlag. ISBN 978-3-642-24690-6


Katoen, J.P. (2010) Advances in Probabilistic Model Checking. (Invited) In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain. pp. 25-25. Lecture Notes in Computer Science 5944. Springer Verlag. ISBN 978-3-642-11318-5


Jacobs, B.P.F. and Pieters, W. (2009) Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. In: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705. Springer Verlag, Berlin, pp. 121-144. ISSN 0302-9743 ISBN 978-3-642-03828-0


Corin, R.J. and Denielou, P-M. (2007) A Protocol Compiler for Secure Sessions in ML. In: 3rd Symposium on Trustworthy Global Computing (TGC) Revised Selected Papers, 5-6 Nov 2007, Sophia Antipolis, France. pp. 276-293. Lecture Notes in Computer Science 4912. Springer Verlag. ISBN 978-3-540-78662-7


Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. (Invited) In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France. pp. 172-191. Lecture Notes in Computer Science 3362. Springer-Verlag. ISBN 3-540-24287-2


Gras, F. and Le Dantec, B. and Trébucq, O. and Cucinelli, B. and Leduc, M. and Simplot, D. and Bueker, U. and Barthe, G. and Michaud, B. and Hartel, P.H. and Thevenot, B. and Moedl, A. and Quisquater, J.-J. and Thomasson, J.-P. and Canto, E., ed. (2003) RESET Roadmap for European research on Smartcard rElated Technologies. Report Type UNSPECIFIED Number UNSPECIFIED

This list was generated on Sun May 28 22:21:59 CEST 2017.