Verifying Cryptographic Software Correctness with Respect to Reference Implementations

AuthID
 P-003-Q4B
4
Author(s)
3
Editor(s)
Alpuente, M; Cook, B; Joubert, C
Document Type
Proceedings Paper
Year published
2009
Published
in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5825, Pages: 37-52 (16)
Conference
14Th International Workshop on Formal Methods for Industrial Critical Systems, Date: NOV 02-03, 2009, Location: Eindhoven, NETHERLANDS, Sponsors: Univ Politecn Valencia, ERCIM, FEM, Microsoft Res, UPV, Dept Informat Sistemas & Comput, Tech Univ Eindhoven, EASST
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/121995
Crossref®2
Google Scholar®
Publication Identifiers
DBLP: conf/fmics/AlmeidaBPV09
SCOPUS: 2-s2.0-70549106955
Wos: WOS:000278580300005
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service