Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 30 related to Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ....    

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis ...

Gilles Barthe, Cédric Fournet - Computers - 2008 - 400 pages
This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis,France ...
Limited preview - About this book

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 ...

Gilles Barthe, Frank S. de Boer - Computers - 2008 - 259 pages
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held ...
Limited preview - About this book

Foundations of Security Analysis and Design V: FOSAD 2008/2009 ..., Volume 5

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri - Business & Economics - 2009 - 339 pages
This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic ...
Limited preview - About this book

Verification, Model Checking, and Abstract Interpretation: 11th ...

Gilles Barthe, Manuel Hermenegildo - Computers - 2010 - 397 pages
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain ...
Limited preview - About this book

Programming Languages and Systems: 20th European Symposium on Programming ...

Gilles Barthe - Computers - 2011 - 501 pages
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS ...
Limited preview - About this book

Software Engineering and Formal Methods: 9th International Conference, SEFM ...

Gilles Barthe, Alberto Pardo, Gerardo Schneider - Computers - 2011 - 504 pages
This volume constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in ...
Limited preview - About this book

Engineering Secure Software and Systems: 4th International Symposium, ESSoS ...

Gilles Barthe, Ben Livshits, Riccardo Scandariato - Computers - 2012 - 151 pages
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in ...
Limited preview - About this book

Java on Smart Cards: Programming and Security: First International ..., Volume 1

Isabelle Attali, Thomas Jensen - Business & Economics - 2001 - 162 pages
Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search