Verifying Cryptographic Software Correctness with Respect to Reference Implementations

AuthID
 P-003-Q4B
4
Author(s)
3
Editor(es)
Alpuente, M; Cook, B; Joubert, C
Tipo de Documento
Proceedings Paper
Year published
2009
Publicado
in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5825, Páginas: 37-52 (16)
Conference
14Th International Workshop on Formal Methods for Industrial Critical Systems, Date: NOV 02-03, 2009, Location: Eindhoven, NETHERLANDS, Patrocinadores: Univ Politecn Valencia, ERCIM, FEM, Microsoft Res, UPV, Dept Informat Sistemas & Comput, Tech Univ Eindhoven, EASST
Indexing
Wos®
Scopus®
Dblp®/pt/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
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service