Work

Formal Verification of ASCON Cipher using JasperGold

Year: 2024

Type: conference-paper

DOI: 10.1109/isense63713.2024.10871962

Authors: Saravanan P, Parthasarathy R, Sona B, Nihar Ahmed Fathima A

Institution: PSG College of Technology

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407639483

FWCI: 0.587

Cites: 14

Cited by: 2

Related to: 10