Functional Correctness Proofs of Encryption Algorithms

DOI10.1007/11591191_36zbMath1143.68391OpenAlexW1786644971MaRDI QIDQ5387863

Scott Owens, Konrad Slind, Jianjun Duan, Joe Hurd, Junxing Zhang, Guodong Li

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_36

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Every bit counts: The binary representation of typed data and programs, Proof producing synthesis of arithmetic and cryptographic hardware

Uses Software

• AVISPA