Back to Results
First PageMeta Content
Hardware description languages / Electronic design / Field-programmable gate array / VHDL / Application-specific integrated circuit / Integrated circuit design / Electronic engineering / Electronics / Integrated circuits


Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol Levent Erkök, Magnus Carlsson, Adam Wick November 18th, 2009 FMCAD’09, Austin TX
Add to Reading List

Document Date: 2010-02-08 09:22:27

Open Document

File Size: 3,00 MB

Share Result on Facebook

Company

Software Co / Galois Inc. / Xilinx / Refine / /

Facility

Lee Pike / /

IndustryTerm

tool chain / cryptographic applications / purpose processor / commodity hardware / crypto-algorithms / verification applications / stream processing / /

NaturalFeature

Highly-parallel stream / /

Organization

Cryptol Project Mission / VHDL / /

Person

Sally Browning / Magnus Carlsson / John Launchbury / Levent Erkök / Andy Gill / John Matthews / Adam Wick / Thomas Nordin / Philip Weaver / Jim Teisher / Frank Seaton Taylor / Fergus Henderson / Mark Shields / Joel Stanley / Equivalence Checker / Equivalence Checker Equivalence Evidence / /

Position

designer / Uses Domain-specific design capture Assured implementation Validate Design Cryptol interpreter / /

ProgrammingLanguage

Haskell / C / /

Technology

Encryption / Functional programming / FPGA / Cryptography / purpose processor / VHDL / /

URL

http /

SocialTag