Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings > Verifying Cryptographic Software Correctness with Respect to Reference Implementations
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings |
María Alpuente; Byron Cook; Christophe Joubert
Springer Berlin Heidelberg
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Verifying Cryptographic Software Correctness with Respect to Reference Implementations
Authors

José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira

ARI Id

1664704473413_2817276

Access

Not Available Free

Pages

37-52

DOI

10.1007/978-3-642-04570-7_5

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-04570-7_5

Table of Contents of Book
Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Attacking Large Industrial Code with Bi-abductive Inference
Dino Distefano
1-8
On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco de Nicola; Diego Latella; Michele Loreti; Mieke Massink
9-25
Applying a Formal Method in Industry: A 15-Year Trajectory
Thierry Lecomte
26-34
What’s in Common between Test, Model Checking, and Decision Procedures?
Ken L. McMillan
35-36
Verifying Cryptographic Software Correctness with Respect to Reference Implementations
José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira
37-52
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
David Delmas; Eric Goubault; Sylvie Putot; Jean Souyris; Karim Tekkal; Franck Védrine
53-69
Dynamic State Space Partitioning for External Memory Model Checking
Sami Evangelista; Lars Michael Kristensen
70-85
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
Alwyn E. Goodloe; César A. Muñoz
86-101
Modeling Concurrent Systems with Shared Resources
Ángel Herranz; Julio Mariño; Manuel Carro; Juan José Moreno Navarro
102-116
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
Pavel Parizek; Tomas Kalibera
117-132
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Matthias Raffelsieper; MohammadReza Mousavi; Jan-Willem Roorda; Chris Strolenberg; Hans Zantema
133-148
Preemption Abstraction
Erik Schierboom; Alejandro Tamalet; Hendrik Tews; Marko van Eekelen; Sjaak Smetsers
149-164
A Rigorous Methodology for Composing Services
Kenneth J. Turner; Koon Leai Larry Tan
165-180
A Certified Implementation on Top of the Java Virtual Machine
Javier de Dios; Ricardo Peña
181-196
Formal Development for Railway Signaling Using Commercial Tools
Alessio Ferrari; Alessandro Fantechi; Stefano Bacherini; Niccoló Zingoni
197-198
Integrated Formal Approach for Qualified Critical Embedded Code Generator
Nassima Izerrouken; Marc Pantel; Xavier Thirioux; Olivier Ssi Yan Kai
199-201
Visualising Event-B Models with B-Motion Studio
Lukas Ladenberger; Jens Bendisposto; Michael Leuschel
202-204
Behavioural Analysis of an I2C Linux Driver
Dragan Bošnački; Aad Mathijssen; Yaroslav S. Usenko
205-206
Model-Based Testing of Electronic Passports
Wojciech Mostowski; Erik Poll; Julien Schmaltz; Jan Tretmans; Ronny Wichers Schreur
207-209
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings